0.086 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.545 * * * [progress]: [2/2] Setting up program. 0.548 * [progress]: [Phase 2 of 3] Improving. 0.550 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.551 * * [simplify]: Extracting # 0 : cost 0 0.551 * * [simplify]: Extracting # 1 : cost 0 0.551 * * [simplify]: Extracting # 2 : cost 0 0.551 * * [simplify]: Extracting # 3 : cost 0 0.551 * * [simplify]: Extracting # 4 : cost 0 0.551 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.555 * * [simplify]: Extracting # 0 : cost 0 0.555 * * [simplify]: Extracting # 1 : cost 0 0.555 * * [simplify]: Extracting # 2 : cost 0 0.555 * * [simplify]: Extracting # 3 : cost 0 0.555 * * [simplify]: Extracting # 4 : cost 0 0.555 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.557 * * [simplify]: Extracting # 0 : cost 0 0.557 * * [simplify]: Extracting # 1 : cost 0 0.557 * * [simplify]: Extracting # 2 : cost 0 0.557 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.559 * * [simplify]: Extracting # 0 : cost 0 0.559 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.561 * * [simplify]: Extracting # 0 : cost 0 0.561 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.561 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.606 * * [progress]: iteration 1 / 4 0.606 * * * [progress]: picking best candidate 0.610 * * * * [pick]: Picked # 0.610 * * * [progress]: localizing error 0.631 * * * [progress]: generating rewritten candidates 0.632 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.635 * * * [progress]: generating series expansions 0.636 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.640 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.642 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.646 * [taylor]: Taking taylor expansion of 0 in a 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [taylor]: Taking taylor expansion of 0 in a 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [taylor]: Taking taylor expansion of 0 in a 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.648 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.649 * [taylor]: Taking taylor expansion of 0 in a 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [taylor]: Taking taylor expansion of 0 in a 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [taylor]: Taking taylor expansion of 0 in a 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.650 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.650 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.651 * [taylor]: Taking taylor expansion of 0 in a 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [taylor]: Taking taylor expansion of 0 in a 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [taylor]: Taking taylor expansion of 0 in a 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.651 * * * [progress]: simplifying candidates 0.652 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.652 * * [simplify]: Extracting # 0 : cost 0 0.652 * * [simplify]: Extracting # 1 : cost 0 0.652 * * [simplify]: Extracting # 2 : cost 0 0.652 * * [simplify]: Extracting # 3 : cost 0 0.652 * * [simplify]: Extracting # 4 : cost 0 0.652 * * [simplify]: Extracting # 5 : cost 0 0.652 * * [simplify]: Extracting # 6 : cost 0 0.652 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 0.654 * * [simplify]: Extracting # 0 : cost 0 0.654 * * [simplify]: Extracting # 1 : cost 0 0.654 * * [simplify]: Extracting # 2 : cost 0 0.654 * * [simplify]: Extracting # 3 : cost 0 0.654 * * [simplify]: Extracting # 4 : cost 0 0.654 * * [simplify]: Extracting # 5 : cost 0 0.654 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 0.657 * * [simplify]: Extracting # 0 : cost 0 0.657 * * [simplify]: Extracting # 1 : cost 0 0.657 * * [simplify]: Extracting # 2 : cost 0 0.657 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 0.661 * * [simplify]: Extracting # 0 : cost 0 0.661 * * [simplify]: Extracting # 1 : cost 0 0.662 * * [simplify]: Extracting # 2 : cost 0 0.662 * * [simplify]: Extracting # 3 : cost 0 0.662 * * [simplify]: Extracting # 4 : cost 0 0.662 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 0.667 * * [simplify]: Extracting # 0 : cost 0 0.667 * * [simplify]: Extracting # 1 : cost 0 0.667 * * [simplify]: Extracting # 2 : cost 0 0.667 * * [simplify]: Extracting # 3 : cost 0 0.667 * * [simplify]: Extracting # 4 : cost 0 0.667 * * [simplify]: iteration 4 : 40 enodes (cost 77 ) 0.678 * * [simplify]: Extracting # 0 : cost 0 0.678 * * [simplify]: Extracting # 1 : cost 0 0.678 * * [simplify]: Extracting # 2 : cost 0 0.678 * * [simplify]: Extracting # 3 : cost 0 0.679 * * [simplify]: iteration 5 : 74 enodes (cost 77 ) 0.711 * * [simplify]: Extracting # 0 : cost 0 0.711 * * [simplify]: Extracting # 1 : cost 0 0.711 * * [simplify]: Extracting # 2 : cost 0 0.712 * * [simplify]: Extracting # 3 : cost 0 0.712 * * [simplify]: iteration 6 : 154 enodes (cost 77 ) 0.754 * * [simplify]: Extracting # 0 : cost 0 0.754 * * [simplify]: Extracting # 1 : cost 0 0.754 * * [simplify]: Extracting # 2 : cost 0 0.754 * * [simplify]: Extracting # 3 : cost 0 0.755 * * [simplify]: Extracting # 4 : cost 0 0.755 * * [simplify]: iteration 7 : 324 enodes (cost 77 ) 0.901 * * [simplify]: Extracting # 0 : cost 0 0.902 * * [simplify]: Extracting # 1 : cost 0 0.903 * * [simplify]: Extracting # 2 : cost 0 0.904 * * [simplify]: Extracting # 3 : cost 0 0.905 * * [simplify]: iteration 8 : 1030 enodes (cost 77 ) 2.170 * * [simplify]: Extracting # 0 : cost 0 2.190 * * [simplify]: Extracting # 1 : cost 0 2.198 * * [simplify]: Extracting # 2 : cost 0 2.206 * * [simplify]: Extracting # 3 : cost 0 2.213 * * [simplify]: Extracting # 4 : cost 0 2.221 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 2.222 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 2.222 * * * [progress]: adding candidates to table 2.290 * * [progress]: iteration 2 / 4 2.290 * * * [progress]: picking best candidate 2.303 * * * * [pick]: Picked # 2.303 * * * [progress]: localizing error 2.315 * * * [progress]: generating rewritten candidates 2.315 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 2.315 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.322 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 2.326 * * * [progress]: generating series expansions 2.326 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 2.326 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.326 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.326 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.326 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.326 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.326 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.326 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.326 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.327 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.327 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.327 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.327 * [taylor]: Taking taylor expansion of 0 in a 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [taylor]: Taking taylor expansion of 0 in a 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [taylor]: Taking taylor expansion of 0 in a 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.327 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.327 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.328 * [taylor]: Taking taylor expansion of 0 in a 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [taylor]: Taking taylor expansion of 0 in a 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [taylor]: Taking taylor expansion of 0 in a 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.328 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.329 * [taylor]: Taking taylor expansion of 0 in a 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [taylor]: Taking taylor expansion of 0 in a 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [taylor]: Taking taylor expansion of 0 in a 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.329 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.329 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 2.329 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [taylor]: Taking taylor expansion of 0 in a 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [taylor]: Taking taylor expansion of 0 in a 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [taylor]: Taking taylor expansion of 0 in a 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.330 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.330 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.330 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.331 * [taylor]: Taking taylor expansion of 0 in a 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [taylor]: Taking taylor expansion of 0 in a 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [taylor]: Taking taylor expansion of 0 in a 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.331 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.331 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.332 * [taylor]: Taking taylor expansion of 0 in a 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [taylor]: Taking taylor expansion of 0 in a 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [taylor]: Taking taylor expansion of 0 in a 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.332 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.333 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 2.333 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.333 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.333 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.333 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.333 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.333 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.333 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.335 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.335 * [taylor]: Taking taylor expansion of 0 in a 2.335 * [backup-simplify]: Simplify 0 into 0 2.335 * [backup-simplify]: Simplify 0 into 0 2.335 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.335 * [backup-simplify]: Simplify 0 into 0 2.337 * [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 2.337 * [taylor]: Taking taylor expansion of 0 in a 2.337 * [backup-simplify]: Simplify 0 into 0 2.337 * [backup-simplify]: Simplify 0 into 0 2.337 * [backup-simplify]: Simplify 0 into 0 2.338 * [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 2.338 * [backup-simplify]: Simplify 0 into 0 2.340 * [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 2.340 * [taylor]: Taking taylor expansion of 0 in a 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.341 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 2.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.342 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.342 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.342 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.342 * [taylor]: Taking taylor expansion of 0 in a 2.342 * [backup-simplify]: Simplify 0 into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.343 * [backup-simplify]: Simplify 0 into 0 2.344 * [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 2.344 * [taylor]: Taking taylor expansion of 0 in a 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.352 * [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 2.353 * [backup-simplify]: Simplify 0 into 0 2.356 * [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 2.356 * [taylor]: Taking taylor expansion of 0 in a 2.356 * [backup-simplify]: Simplify 0 into 0 2.356 * [backup-simplify]: Simplify 0 into 0 2.356 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 2.356 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.356 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 2.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.358 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.358 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.358 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.359 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.360 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.360 * [taylor]: Taking taylor expansion of 0 in a 2.360 * [backup-simplify]: Simplify 0 into 0 2.360 * [backup-simplify]: Simplify 0 into 0 2.361 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.361 * [backup-simplify]: Simplify 0 into 0 2.363 * [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 2.363 * [taylor]: Taking taylor expansion of 0 in a 2.363 * [backup-simplify]: Simplify 0 into 0 2.363 * [backup-simplify]: Simplify 0 into 0 2.363 * [backup-simplify]: Simplify 0 into 0 2.366 * [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 2.366 * [backup-simplify]: Simplify 0 into 0 2.369 * [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 2.370 * [taylor]: Taking taylor expansion of 0 in a 2.370 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 2.370 * * * [progress]: simplifying candidates 2.371 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (exp (log (fmod (cosh c) (log1p a))))) (log1p (exp (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 2.373 * * [simplify]: Extracting # 0 : cost 0 2.373 * * [simplify]: Extracting # 1 : cost 0 2.373 * * [simplify]: Extracting # 2 : cost 0 2.373 * * [simplify]: Extracting # 3 : cost 0 2.373 * * [simplify]: Extracting # 4 : cost 0 2.373 * * [simplify]: Extracting # 5 : cost 0 2.373 * * [simplify]: Extracting # 6 : cost 0 2.373 * * [simplify]: Extracting # 7 : cost 0 2.374 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 2.388 * * [simplify]: Extracting # 0 : cost 0 2.388 * * [simplify]: Extracting # 1 : cost 0 2.388 * * [simplify]: Extracting # 2 : cost 0 2.389 * * [simplify]: Extracting # 3 : cost 0 2.389 * * [simplify]: Extracting # 4 : cost 0 2.389 * * [simplify]: Extracting # 5 : cost 0 2.389 * * [simplify]: iteration 1 : 69 enodes (cost 385 ) 2.405 * * [simplify]: Extracting # 0 : cost 0 2.405 * * [simplify]: Extracting # 1 : cost 0 2.405 * * [simplify]: Extracting # 2 : cost 0 2.405 * * [simplify]: Extracting # 3 : cost 0 2.405 * * [simplify]: Extracting # 4 : cost 0 2.406 * * [simplify]: iteration 2 : 113 enodes (cost 339 ) 2.435 * * [simplify]: Extracting # 0 : cost 0 2.435 * * [simplify]: Extracting # 1 : cost 0 2.436 * * [simplify]: Extracting # 2 : cost 0 2.436 * * [simplify]: Extracting # 3 : cost 0 2.436 * * [simplify]: iteration 3 : 177 enodes (cost 339 ) 2.464 * * [simplify]: Extracting # 0 : cost 0 2.464 * * [simplify]: Extracting # 1 : cost 0 2.464 * * [simplify]: Extracting # 2 : cost 0 2.464 * * [simplify]: Extracting # 3 : cost 0 2.465 * * [simplify]: Extracting # 4 : cost 0 2.465 * * [simplify]: iteration 4 : 304 enodes (cost 333 ) 2.525 * * [simplify]: Extracting # 0 : cost 0 2.525 * * [simplify]: Extracting # 1 : cost 0 2.526 * * [simplify]: Extracting # 2 : cost 0 2.526 * * [simplify]: Extracting # 3 : cost 0 2.526 * * [simplify]: Extracting # 4 : cost 0 2.526 * * [simplify]: Extracting # 5 : cost 0 2.527 * * [simplify]: iteration 5 : 476 enodes (cost 333 ) 2.693 * * [simplify]: Extracting # 0 : cost 0 2.695 * * [simplify]: Extracting # 1 : cost 0 2.696 * * [simplify]: Extracting # 2 : cost 0 2.697 * * [simplify]: Extracting # 3 : cost 0 2.698 * * [simplify]: Extracting # 4 : cost 0 2.699 * * [simplify]: iteration 6 : 1093 enodes (cost 333 ) 3.963 * * [simplify]: Extracting # 0 : cost 0 3.971 * * [simplify]: Extracting # 1 : cost 0 3.976 * * [simplify]: Extracting # 2 : cost 0 3.980 * * [simplify]: Extracting # 3 : cost 0 3.985 * * [simplify]: Extracting # 4 : cost 0 3.990 * * [simplify]: iteration 7 : 4066 enodes (cost 333 ) 5.176 * * [simplify]: Extracting # 0 : cost 0 5.182 * * [simplify]: Extracting # 1 : cost 0 5.185 * * [simplify]: Extracting # 2 : cost 0 5.190 * * [simplify]: Extracting # 3 : cost 0 5.195 * * [simplify]: iteration done: 5000 enodes (cost 333 ) 5.196 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (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)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (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)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 5.196 * * * [progress]: adding candidates to table 5.372 * * [progress]: iteration 3 / 4 5.373 * * * [progress]: picking best candidate 5.413 * * * * [pick]: Picked # 5.413 * * * [progress]: localizing error 5.436 * * * [progress]: generating rewritten candidates 5.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 5.437 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 5.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 5.437 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.452 * * * [progress]: generating series expansions 5.452 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 5.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.452 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.453 * [taylor]: Taking taylor expansion of 0 in a 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [taylor]: Taking taylor expansion of 0 in a 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [taylor]: Taking taylor expansion of 0 in a 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify 0 into 0 5.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.453 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.454 * [taylor]: Taking taylor expansion of 0 in a 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [taylor]: Taking taylor expansion of 0 in a 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [taylor]: Taking taylor expansion of 0 in a 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.455 * [taylor]: Taking taylor expansion of 0 in a 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [taylor]: Taking taylor expansion of 0 in a 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [backup-simplify]: Simplify 0 into 0 5.455 * [taylor]: Taking taylor expansion of 0 in a 5.456 * [backup-simplify]: Simplify 0 into 0 5.456 * [backup-simplify]: Simplify 0 into 0 5.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.456 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.456 * [taylor]: Taking taylor expansion of 0 in a 5.456 * [backup-simplify]: Simplify 0 into 0 5.456 * [backup-simplify]: Simplify 0 into 0 5.456 * [backup-simplify]: Simplify 0 into 0 5.456 * [taylor]: Taking taylor expansion of 0 in a 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [taylor]: Taking taylor expansion of 0 in a 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify 0 into 0 5.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.457 * [taylor]: Taking taylor expansion of 0 in a 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [taylor]: Taking taylor expansion of 0 in a 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [taylor]: Taking taylor expansion of 0 in a 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify 0 into 0 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.458 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.458 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.459 * [taylor]: Taking taylor expansion of 0 in a 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [taylor]: Taking taylor expansion of 0 in a 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [taylor]: Taking taylor expansion of 0 in a 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify 0 into 0 5.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.459 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.459 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.460 * [taylor]: Taking taylor expansion of 0 in a 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [taylor]: Taking taylor expansion of 0 in a 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [taylor]: Taking taylor expansion of 0 in a 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify 0 into 0 5.460 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.460 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.461 * [taylor]: Taking taylor expansion of 0 in a 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [taylor]: Taking taylor expansion of 0 in a 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [taylor]: Taking taylor expansion of 0 in a 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.461 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.462 * [taylor]: Taking taylor expansion of 0 in a 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [taylor]: Taking taylor expansion of 0 in a 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [taylor]: Taking taylor expansion of 0 in a 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify 0 into 0 5.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.462 * * * * [progress]: [ 4 / 4 ] generating series at (2) 5.463 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a)) 5.463 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.463 * [taylor]: Taking taylor expansion of 0 in a 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [taylor]: Taking taylor expansion of 0 in a 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [taylor]: Taking taylor expansion of 0 in a 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.464 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.464 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.465 * [taylor]: Taking taylor expansion of 0 in a 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [taylor]: Taking taylor expansion of 0 in a 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [taylor]: Taking taylor expansion of 0 in a 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify 0 into 0 5.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.465 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.465 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.466 * [taylor]: Taking taylor expansion of 0 in a 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [taylor]: Taking taylor expansion of 0 in a 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [taylor]: Taking taylor expansion of 0 in a 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify 0 into 0 5.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.466 * * * [progress]: simplifying candidates 5.467 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (log1p (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (* (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (* (* (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 5.468 * * [simplify]: Extracting # 0 : cost 0 5.468 * * [simplify]: Extracting # 1 : cost 0 5.468 * * [simplify]: Extracting # 2 : cost 0 5.468 * * [simplify]: Extracting # 3 : cost 0 5.468 * * [simplify]: Extracting # 4 : cost 0 5.468 * * [simplify]: Extracting # 5 : cost 0 5.468 * * [simplify]: Extracting # 6 : cost 0 5.468 * * [simplify]: Extracting # 7 : cost 0 5.468 * * [simplify]: Extracting # 8 : cost 0 5.468 * * [simplify]: iteration 0 : 28 enodes (cost 592 ) 5.472 * * [simplify]: Extracting # 0 : cost 0 5.472 * * [simplify]: Extracting # 1 : cost 0 5.472 * * [simplify]: Extracting # 2 : cost 0 5.473 * * [simplify]: Extracting # 3 : cost 0 5.473 * * [simplify]: Extracting # 4 : cost 0 5.473 * * [simplify]: Extracting # 5 : cost 0 5.473 * * [simplify]: Extracting # 6 : cost 0 5.473 * * [simplify]: iteration 1 : 42 enodes (cost 589 ) 5.480 * * [simplify]: Extracting # 0 : cost 0 5.480 * * [simplify]: Extracting # 1 : cost 0 5.480 * * [simplify]: Extracting # 2 : cost 0 5.480 * * [simplify]: Extracting # 3 : cost 0 5.480 * * [simplify]: Extracting # 4 : cost 0 5.481 * * [simplify]: iteration 2 : 76 enodes (cost 372 ) 5.497 * * [simplify]: Extracting # 0 : cost 0 5.498 * * [simplify]: Extracting # 1 : cost 0 5.498 * * [simplify]: Extracting # 2 : cost 0 5.498 * * [simplify]: Extracting # 3 : cost 0 5.498 * * [simplify]: Extracting # 4 : cost 0 5.499 * * [simplify]: iteration 3 : 222 enodes (cost 342 ) 5.621 * * [simplify]: Extracting # 0 : cost 0 5.626 * * [simplify]: Extracting # 1 : cost 0 5.628 * * [simplify]: Extracting # 2 : cost 0 5.630 * * [simplify]: Extracting # 3 : cost 0 5.632 * * [simplify]: Extracting # 4 : cost 0 5.635 * * [simplify]: iteration 4 : 1097 enodes (cost 324 ) 7.237 * * [simplify]: Extracting # 0 : cost 0 7.291 * * [simplify]: Extracting # 1 : cost 0 7.309 * * [simplify]: Extracting # 2 : cost 0 7.320 * * [simplify]: Extracting # 3 : cost 0 7.326 * * [simplify]: Extracting # 4 : cost 0 7.333 * * [simplify]: iteration done: 5000 enodes (cost 324 ) 7.333 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 7.333 * * * [progress]: adding candidates to table 7.564 * * [progress]: iteration 4 / 4 7.564 * * * [progress]: picking best candidate 7.595 * * * * [pick]: Picked # 7.595 * * * [progress]: localizing error 7.635 * * * [progress]: generating rewritten candidates 7.635 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 7.636 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 7.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 7.637 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 7.657 * * * [progress]: generating series expansions 7.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 7.657 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.657 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.657 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.657 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.657 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.657 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.657 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.658 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.658 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.658 * [taylor]: Taking taylor expansion of 0 in a 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [taylor]: Taking taylor expansion of 0 in a 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify 0 into 0 7.658 * [taylor]: Taking taylor expansion of 0 in a 7.658 * [backup-simplify]: Simplify 0 into 0 7.659 * [backup-simplify]: Simplify 0 into 0 7.659 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.659 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.660 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.660 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.660 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.660 * [taylor]: Taking taylor expansion of 0 in a 7.660 * [backup-simplify]: Simplify 0 into 0 7.660 * [backup-simplify]: Simplify 0 into 0 7.660 * [backup-simplify]: Simplify 0 into 0 7.660 * [taylor]: Taking taylor expansion of 0 in a 7.660 * [backup-simplify]: Simplify 0 into 0 7.661 * [backup-simplify]: Simplify 0 into 0 7.661 * [backup-simplify]: Simplify 0 into 0 7.661 * [backup-simplify]: Simplify 0 into 0 7.661 * [taylor]: Taking taylor expansion of 0 in a 7.661 * [backup-simplify]: Simplify 0 into 0 7.661 * [backup-simplify]: Simplify 0 into 0 7.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.661 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.661 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.662 * [taylor]: Taking taylor expansion of 0 in a 7.662 * [backup-simplify]: Simplify 0 into 0 7.662 * [backup-simplify]: Simplify 0 into 0 7.662 * [backup-simplify]: Simplify 0 into 0 7.662 * [taylor]: Taking taylor expansion of 0 in a 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [taylor]: Taking taylor expansion of 0 in a 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify 0 into 0 7.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.663 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 7.663 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.663 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.663 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.663 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.663 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.664 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.664 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.664 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.664 * [taylor]: Taking taylor expansion of 0 in a 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [taylor]: Taking taylor expansion of 0 in a 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [taylor]: Taking taylor expansion of 0 in a 7.664 * [backup-simplify]: Simplify 0 into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.665 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.665 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.666 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.666 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.666 * [taylor]: Taking taylor expansion of 0 in a 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [taylor]: Taking taylor expansion of 0 in a 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [taylor]: Taking taylor expansion of 0 in a 7.666 * [backup-simplify]: Simplify 0 into 0 7.666 * [backup-simplify]: Simplify 0 into 0 7.667 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.667 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.667 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.667 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.667 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.667 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.667 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.667 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.667 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.668 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.668 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.668 * [taylor]: Taking taylor expansion of 0 in a 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [taylor]: Taking taylor expansion of 0 in a 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [taylor]: Taking taylor expansion of 0 in a 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 0 into 0 7.669 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.669 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 7.669 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.669 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.669 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.669 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.669 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.669 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.669 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.669 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.669 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.670 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.670 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.670 * [taylor]: Taking taylor expansion of 0 in a 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [taylor]: Taking taylor expansion of 0 in a 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [taylor]: Taking taylor expansion of 0 in a 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify 0 into 0 7.670 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.670 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.671 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.671 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.671 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.671 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.671 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.672 * [taylor]: Taking taylor expansion of 0 in a 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [taylor]: Taking taylor expansion of 0 in a 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [taylor]: Taking taylor expansion of 0 in a 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.673 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.674 * [taylor]: Taking taylor expansion of 0 in a 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [taylor]: Taking taylor expansion of 0 in a 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [taylor]: Taking taylor expansion of 0 in a 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.674 * * * * [progress]: [ 4 / 4 ] generating series at (2) 7.675 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) into (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) 7.675 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in (c a) around 0 7.676 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in a 7.676 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in a 7.676 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in a 7.676 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in a 7.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in a 7.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in a 7.676 * [taylor]: Taking taylor expansion of 1/3 in a 7.676 * [backup-simplify]: Simplify 1/3 into 1/3 7.676 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in a 7.676 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.676 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.676 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.676 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a)))) 7.677 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a))))) 7.677 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3) 7.677 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in a 7.677 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in a 7.677 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in a 7.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in a 7.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in a 7.677 * [taylor]: Taking taylor expansion of 1/3 in a 7.677 * [backup-simplify]: Simplify 1/3 into 1/3 7.677 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in a 7.677 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in a 7.677 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.677 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.678 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.678 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2) 7.679 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2)) 7.679 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) 7.679 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.680 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 7.680 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.681 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a))) 7.681 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.681 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in c 7.681 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in c 7.681 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in c 7.681 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c 7.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c 7.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c 7.681 * [taylor]: Taking taylor expansion of 1/3 in c 7.681 * [backup-simplify]: Simplify 1/3 into 1/3 7.681 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c 7.681 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.681 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.681 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.681 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.682 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a)))) 7.682 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a))))) 7.682 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3) 7.682 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c 7.682 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c 7.682 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c 7.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c 7.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c 7.682 * [taylor]: Taking taylor expansion of 1/3 in c 7.682 * [backup-simplify]: Simplify 1/3 into 1/3 7.682 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c 7.682 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c 7.682 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.682 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.683 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.683 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.683 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2) 7.683 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2)) 7.684 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) 7.684 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.684 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 7.685 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.685 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a))) 7.685 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.685 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in c 7.685 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in c 7.685 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in c 7.685 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c 7.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c 7.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c 7.686 * [taylor]: Taking taylor expansion of 1/3 in c 7.686 * [backup-simplify]: Simplify 1/3 into 1/3 7.686 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c 7.686 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.686 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.686 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.686 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.686 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a)))) 7.686 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a))))) 7.687 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3) 7.687 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c 7.687 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c 7.687 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c 7.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c 7.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c 7.687 * [taylor]: Taking taylor expansion of 1/3 in c 7.687 * [backup-simplify]: Simplify 1/3 into 1/3 7.687 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c 7.687 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c 7.687 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.687 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.687 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.687 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.688 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2) 7.688 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2)) 7.688 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) 7.688 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.689 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 7.689 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) 7.690 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a))) 7.690 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.690 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.692 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 7.693 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 1) into 0 7.694 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0 7.696 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 7.697 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0 7.698 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 1) into 0 7.699 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.700 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 1) into 0 7.700 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))) into 0 7.701 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.702 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into 0 7.703 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 7.703 * [taylor]: Taking taylor expansion of 0 in a 7.703 * [backup-simplify]: Simplify 0 into 0 7.703 * [backup-simplify]: Simplify 0 into 0 7.703 * [backup-simplify]: Simplify 0 into 0 7.705 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.705 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 7.707 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 2) into 0 7.708 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0 7.710 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.712 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.714 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 2) into 0 7.716 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.730 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 2) into 0 7.731 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a))))))) into 0 7.732 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.734 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) into 0 7.736 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.736 * [taylor]: Taking taylor expansion of 0 in a 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify 0 into 0 7.740 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.741 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 7.744 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 6) into 0 7.746 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))))) into 0 7.748 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.750 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.753 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 6) into 0 7.757 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.760 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 6) into 0 7.761 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))))) into 0 7.763 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.765 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) into 0 7.767 * [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 7.767 * [taylor]: Taking taylor expansion of 0 in a 7.767 * [backup-simplify]: Simplify 0 into 0 7.767 * [backup-simplify]: Simplify 0 into 0 7.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.768 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) 7.768 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in (c a) around 0 7.768 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in a 7.768 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in a 7.768 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in a 7.768 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in a 7.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in a 7.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 7.768 * [taylor]: Taking taylor expansion of 1/3 in a 7.768 * [backup-simplify]: Simplify 1/3 into 1/3 7.768 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.768 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.769 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.769 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.769 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) 7.769 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 7.769 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in a 7.770 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in a 7.770 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in a 7.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in a 7.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in a 7.770 * [taylor]: Taking taylor expansion of 1/3 in a 7.770 * [backup-simplify]: Simplify 1/3 into 1/3 7.770 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in a 7.770 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in a 7.770 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.770 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.771 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 7.771 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) 7.771 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) 7.772 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.772 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 7.773 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.773 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.773 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.774 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in c 7.774 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in c 7.774 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in c 7.774 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c 7.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c 7.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.774 * [taylor]: Taking taylor expansion of 1/3 in c 7.774 * [backup-simplify]: Simplify 1/3 into 1/3 7.774 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.774 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.774 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.774 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.775 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) 7.775 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 7.775 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c 7.775 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c 7.775 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c 7.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c 7.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c 7.775 * [taylor]: Taking taylor expansion of 1/3 in c 7.775 * [backup-simplify]: Simplify 1/3 into 1/3 7.775 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c 7.775 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c 7.775 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.776 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.776 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 7.777 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) 7.777 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) 7.777 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.778 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 7.778 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.779 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.779 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.779 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in c 7.779 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in c 7.779 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in c 7.779 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c 7.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c 7.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.780 * [taylor]: Taking taylor expansion of 1/3 in c 7.780 * [backup-simplify]: Simplify 1/3 into 1/3 7.780 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.780 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.780 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.780 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.780 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.780 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.781 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) 7.781 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 7.781 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c 7.781 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c 7.781 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c 7.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c 7.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c 7.781 * [taylor]: Taking taylor expansion of 1/3 in c 7.781 * [backup-simplify]: Simplify 1/3 into 1/3 7.781 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c 7.781 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c 7.781 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.781 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.781 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.782 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.782 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 7.782 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) 7.783 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) 7.783 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.784 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 7.784 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) 7.785 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.785 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.787 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.788 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 7.789 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 1) into 0 7.790 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0 7.791 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 7.792 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0 7.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 1) into 0 7.795 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.796 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0 7.797 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.798 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.799 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into 0 7.800 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.800 * [taylor]: Taking taylor expansion of 0 in a 7.800 * [backup-simplify]: Simplify 0 into 0 7.800 * [backup-simplify]: Simplify 0 into 0 7.800 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.803 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.806 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 2) into 0 7.807 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0 7.808 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.810 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.813 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 2) into 0 7.814 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.816 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0 7.816 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 7.817 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.818 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) into 0 7.819 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.819 * [taylor]: Taking taylor expansion of 0 in a 7.819 * [backup-simplify]: Simplify 0 into 0 7.819 * [backup-simplify]: Simplify 0 into 0 7.819 * [backup-simplify]: Simplify 0 into 0 7.819 * [backup-simplify]: Simplify 0 into 0 7.821 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.821 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 7.823 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 6) into 0 7.824 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))))) into 0 7.825 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.826 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.829 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 6) into 0 7.831 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.833 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 6) into 0 7.833 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))))) into 0 7.834 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.835 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) into 0 7.836 * [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 7.836 * [taylor]: Taking taylor expansion of 0 in a 7.836 * [backup-simplify]: Simplify 0 into 0 7.836 * [backup-simplify]: Simplify 0 into 0 7.837 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.837 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) 7.837 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in (c a) around 0 7.837 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in a 7.837 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in a 7.837 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in a 7.837 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in a 7.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in a 7.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 7.837 * [taylor]: Taking taylor expansion of 1/3 in a 7.837 * [backup-simplify]: Simplify 1/3 into 1/3 7.837 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.837 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.837 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.837 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.838 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.838 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.838 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) 7.838 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 7.838 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in a 7.838 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in a 7.838 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in a 7.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in a 7.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in a 7.838 * [taylor]: Taking taylor expansion of 1/3 in a 7.838 * [backup-simplify]: Simplify 1/3 into 1/3 7.838 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in a 7.838 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in a 7.838 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.838 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.838 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.838 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.839 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 7.839 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) 7.839 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) 7.839 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.839 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 7.840 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.840 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.840 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.840 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in c 7.840 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in c 7.840 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in c 7.840 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c 7.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c 7.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.840 * [taylor]: Taking taylor expansion of 1/3 in c 7.840 * [backup-simplify]: Simplify 1/3 into 1/3 7.840 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.840 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.840 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.840 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.841 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.841 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.841 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) 7.841 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 7.841 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c 7.841 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c 7.841 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c 7.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c 7.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c 7.841 * [taylor]: Taking taylor expansion of 1/3 in c 7.841 * [backup-simplify]: Simplify 1/3 into 1/3 7.841 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c 7.841 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c 7.841 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.841 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.841 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.842 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 7.842 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) 7.842 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) 7.842 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.842 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 7.843 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.843 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.843 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.843 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in c 7.843 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in c 7.843 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in c 7.843 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c 7.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c 7.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.843 * [taylor]: Taking taylor expansion of 1/3 in c 7.843 * [backup-simplify]: Simplify 1/3 into 1/3 7.843 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.843 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.843 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.843 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.844 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.844 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) 7.844 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 7.844 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c 7.844 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c 7.844 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c 7.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c 7.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c 7.844 * [taylor]: Taking taylor expansion of 1/3 in c 7.844 * [backup-simplify]: Simplify 1/3 into 1/3 7.844 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c 7.844 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c 7.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.844 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.844 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.844 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 7.845 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) 7.845 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) 7.845 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.845 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 7.845 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) 7.846 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.846 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.846 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.846 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.846 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.848 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.848 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 7.849 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 1) into 0 7.850 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0 7.851 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 7.852 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0 7.854 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 1) into 0 7.855 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0 7.856 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.858 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.858 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into 0 7.859 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.859 * [taylor]: Taking taylor expansion of 0 in a 7.859 * [backup-simplify]: Simplify 0 into 0 7.859 * [backup-simplify]: Simplify 0 into 0 7.860 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.863 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.865 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 2) into 0 7.866 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0 7.868 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.869 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.872 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 2) into 0 7.874 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.880 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0 7.882 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 7.884 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.885 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) into 0 7.887 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.887 * [taylor]: Taking taylor expansion of 0 in a 7.887 * [backup-simplify]: Simplify 0 into 0 7.887 * [backup-simplify]: Simplify 0 into 0 7.887 * [backup-simplify]: Simplify 0 into 0 7.887 * [backup-simplify]: Simplify 0 into 0 7.891 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.892 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 7.896 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 6) into 0 7.898 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))))) into 0 7.900 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.902 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.905 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 6) into 0 7.909 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.912 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 6) into 0 7.914 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))))) into 0 7.916 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.917 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) into 0 7.919 * [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 7.919 * [taylor]: Taking taylor expansion of 0 in a 7.919 * [backup-simplify]: Simplify 0 into 0 7.919 * [backup-simplify]: Simplify 0 into 0 7.920 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.920 * * * [progress]: simplifying candidates 7.921 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log1p (pow (exp (* (cbrt (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (* (log (exp (* (cbrt (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (* 1 (cbrt (log (fmod (cosh c) (log1p a))))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt 1)) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt 1)) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1) (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow 1 (cbrt (log (fmod (cosh c) (log1p a))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (log (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (* (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2)) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 7.924 * * [simplify]: Extracting # 0 : cost 0 7.924 * * [simplify]: Extracting # 1 : cost 0 7.925 * * [simplify]: Extracting # 2 : cost 0 7.925 * * [simplify]: Extracting # 3 : cost 0 7.925 * * [simplify]: Extracting # 4 : cost 0 7.925 * * [simplify]: Extracting # 5 : cost 0 7.925 * * [simplify]: Extracting # 6 : cost 0 7.925 * * [simplify]: Extracting # 7 : cost 0 7.925 * * [simplify]: Extracting # 8 : cost 0 7.926 * * [simplify]: iteration 0 : 55 enodes (cost 1039 ) 7.940 * * [simplify]: Extracting # 0 : cost 0 7.940 * * [simplify]: Extracting # 1 : cost 0 7.941 * * [simplify]: Extracting # 2 : cost 0 7.941 * * [simplify]: Extracting # 3 : cost 0 7.941 * * [simplify]: Extracting # 4 : cost 0 7.941 * * [simplify]: Extracting # 5 : cost 0 7.941 * * [simplify]: iteration 1 : 130 enodes (cost 994 ) 7.999 * * [simplify]: Extracting # 0 : cost 0 8.000 * * [simplify]: Extracting # 1 : cost 0 8.001 * * [simplify]: Extracting # 2 : cost 0 8.001 * * [simplify]: Extracting # 3 : cost 0 8.002 * * [simplify]: Extracting # 4 : cost 0 8.003 * * [simplify]: iteration 2 : 463 enodes (cost 897 ) 9.032 * * [simplify]: Extracting # 0 : cost 0 9.046 * * [simplify]: Extracting # 1 : cost 0 9.055 * * [simplify]: Extracting # 2 : cost 0 9.059 * * [simplify]: Extracting # 3 : cost 0 9.062 * * [simplify]: Extracting # 4 : cost 0 9.065 * * [simplify]: iteration 3 : 3350 enodes (cost 888 ) 13.960 * * [simplify]: Extracting # 0 : cost 0 14.071 * * [simplify]: Extracting # 1 : cost 0 14.074 * * [simplify]: Extracting # 2 : cost 0 14.076 * * [simplify]: iteration done: 5002 enodes (cost 888 ) 14.077 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (log1p (pow (exp (* (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))) (* (cbrt (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)))) (cbrt (log (fmod (cosh c) (log1p a))))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (log (fmod (cosh c) (log1p a)))))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) 1 (pow (exp (* (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))) (exp (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* 1/2 (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* 1/2 (cbrt (log (fmod (cosh c) (log1p a)))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 14.077 * * * [progress]: adding candidates to table 14.431 * [progress]: [Phase 3 of 3] Extracting. 14.432 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 14.444 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 14.445 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # #) 14.581 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # #) 14.684 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # #) 14.797 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # #) 14.892 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 15.008 * * * [regime]: Found split indices: #