0.146 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.675 * * * [progress]: [2/2] Setting up program. 0.685 * [progress]: [Phase 2 of 3] Improving. 0.688 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.690 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.690 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.690 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.691 * * [simplify]: Extracting # 3 : cost 2 inf + 93 0.691 * * [simplify]: Extracting # 4 : cost 0 inf + 366 0.691 * * [simplify]: iteration 0 : 5 enodes (cost 217 ) 0.699 * * [simplify]: Extracting # 0 : cost 0 inf + 366 0.699 * * [simplify]: Extracting # 1 : cost 2 inf + 366 0.699 * * [simplify]: Extracting # 2 : cost 3 inf + 367 0.699 * * [simplify]: Extracting # 3 : cost 3 inf + 438 0.700 * * [simplify]: Extracting # 4 : cost 0 inf + 811 0.700 * * [simplify]: iteration 1 : 11 enodes (cost 217 ) 0.703 * * [simplify]: Extracting # 0 : cost 0 inf + 811 0.703 * * [simplify]: Extracting # 1 : cost 1 inf + 811 0.703 * * [simplify]: Extracting # 2 : cost 0 inf + 812 0.704 * * [simplify]: iteration 2 : 14 enodes (cost 217 ) 0.708 * * [simplify]: Extracting # 0 : cost 0 inf + 812 0.708 * * [simplify]: iteration 3 : 16 enodes (cost 217 ) 0.712 * * [simplify]: Extracting # 0 : cost 0 inf + 812 0.712 * * [simplify]: iteration complete: 16 enodes (cost 217 ) 0.712 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.715 * * [progress]: iteration 1 / 4 0.715 * * * [progress]: picking best candidate 0.720 * * * * [pick]: Picked # 0.720 * * * [progress]: localizing error 0.732 * * * [progress]: generating rewritten candidates 0.732 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.734 * * * [progress]: generating series expansions 0.734 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.737 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.737 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.770 * [taylor]: Taking taylor expansion of 0 in a 0.770 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [taylor]: Taking taylor expansion of 0 in a 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [taylor]: Taking taylor expansion of 0 in a 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.774 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.775 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.775 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.775 * [taylor]: Taking taylor expansion of 0 in a 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [taylor]: Taking taylor expansion of 0 in a 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [taylor]: Taking taylor expansion of 0 in a 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.777 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.777 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.777 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.777 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.778 * [taylor]: Taking taylor expansion of 0 in a 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [taylor]: Taking taylor expansion of 0 in a 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [taylor]: Taking taylor expansion of 0 in a 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.779 * * * [progress]: simplifying candidates 0.779 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.780 * * [simplify]: Extracting # 0 : cost 7 inf + 0 0.780 * * [simplify]: Extracting # 1 : cost 10 inf + 0 0.780 * * [simplify]: Extracting # 2 : cost 12 inf + 0 0.780 * * [simplify]: Extracting # 3 : cost 9 inf + 93 0.782 * * [simplify]: Extracting # 4 : cost 0 inf + 2385 0.782 * * [simplify]: iteration 0 : 12 enodes (cost 2670 ) 0.786 * * [simplify]: Extracting # 0 : cost 0 inf + 2385 0.787 * * [simplify]: Extracting # 1 : cost 2 inf + 2385 0.787 * * [simplify]: Extracting # 2 : cost 3 inf + 2386 0.787 * * [simplify]: Extracting # 3 : cost 3 inf + 2457 0.788 * * [simplify]: Extracting # 4 : cost 2 inf + 2498 0.788 * * [simplify]: Extracting # 5 : cost 0 inf + 2830 0.789 * * [simplify]: iteration 1 : 19 enodes (cost 2670 ) 0.795 * * [simplify]: Extracting # 0 : cost 0 inf + 2830 0.795 * * [simplify]: Extracting # 1 : cost 2 inf + 2830 0.796 * * [simplify]: Extracting # 2 : cost 0 inf + 2832 0.796 * * [simplify]: iteration 2 : 24 enodes (cost 2670 ) 0.804 * * [simplify]: Extracting # 0 : cost 0 inf + 2832 0.805 * * [simplify]: Extracting # 1 : cost 1 inf + 2832 0.805 * * [simplify]: Extracting # 2 : cost 2 inf + 2832 0.805 * * [simplify]: Extracting # 3 : cost 1 inf + 2833 0.806 * * [simplify]: Extracting # 4 : cost 0 inf + 3261 0.806 * * [simplify]: iteration 3 : 30 enodes (cost 2670 ) 0.816 * * [simplify]: Extracting # 0 : cost 0 inf + 3261 0.816 * * [simplify]: Extracting # 1 : cost 2 inf + 3261 0.817 * * [simplify]: Extracting # 2 : cost 2 inf + 3262 0.817 * * [simplify]: Extracting # 3 : cost 1 inf + 3263 0.818 * * [simplify]: Extracting # 4 : cost 0 inf + 3691 0.818 * * [simplify]: iteration 4 : 38 enodes (cost 2670 ) 0.831 * * [simplify]: Extracting # 0 : cost 0 inf + 3691 0.832 * * [simplify]: Extracting # 1 : cost 4 inf + 3691 0.832 * * [simplify]: Extracting # 2 : cost 2 inf + 4839 0.832 * * [simplify]: Extracting # 3 : cost 0 inf + 5268 0.833 * * [simplify]: iteration 5 : 57 enodes (cost 2670 ) 0.844 * * [simplify]: Extracting # 0 : cost 0 inf + 5268 0.844 * * [simplify]: Extracting # 1 : cost 5 inf + 5188 0.845 * * [simplify]: Extracting # 2 : cost 2 inf + 7226 0.846 * * [simplify]: Extracting # 3 : cost 1 inf + 7227 0.846 * * [simplify]: Extracting # 4 : cost 0 inf + 7655 0.847 * * [simplify]: iteration 6 : 91 enodes (cost 2670 ) 0.868 * * [simplify]: Extracting # 0 : cost 0 inf + 7655 0.870 * * [simplify]: Extracting # 1 : cost 15 inf + 7575 0.873 * * [simplify]: Extracting # 2 : cost 2 inf + 16102 0.875 * * [simplify]: Extracting # 3 : cost 0 inf + 16531 0.878 * * [simplify]: iteration 7 : 172 enodes (cost 2670 ) 0.955 * * [simplify]: Extracting # 0 : cost 0 inf + 16531 0.958 * * [simplify]: Extracting # 1 : cost 48 inf + 16411 0.963 * * [simplify]: Extracting # 2 : cost 9 inf + 48514 0.974 * * [simplify]: Extracting # 3 : cost 0 inf + 54831 0.985 * * [simplify]: iteration 8 : 416 enodes (cost 2670 ) 1.440 * * [simplify]: Extracting # 0 : cost 0 inf + 54831 1.458 * * [simplify]: Extracting # 1 : cost 163 inf + 52211 1.502 * * [simplify]: Extracting # 2 : cost 4 inf + 208887 1.572 * * [simplify]: Extracting # 3 : cost 1 inf + 208805 1.641 * * [simplify]: Extracting # 4 : cost 0 inf + 209233 1.682 * * [simplify]: iteration 9 : 1269 enodes (cost 2670 ) 3.414 * * [simplify]: Extracting # 0 : cost 0 inf + 209233 3.540 * * [simplify]: Extracting # 1 : cost 1209 inf + 191971 3.901 * * [simplify]: Extracting # 2 : cost 106 inf + 1470232 4.426 * * [simplify]: Extracting # 3 : cost 26 inf + 1462556 5.003 * * [simplify]: Extracting # 4 : cost 0 inf + 1469289 5.504 * * [simplify]: iteration complete: 5000 enodes (cost 2670 ) 5.504 * [simplify]: Simplified to: (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)) 5.504 * * * [progress]: adding candidates to table 5.548 * * [progress]: iteration 2 / 4 5.548 * * * [progress]: picking best candidate 5.582 * * * * [pick]: Picked # 5.583 * * * [progress]: localizing error 5.599 * * * [progress]: generating rewritten candidates 5.599 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 5.599 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 5.602 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.605 * * * [progress]: generating series expansions 5.605 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.605 * [taylor]: Taking taylor expansion of 0 in a 5.605 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify 0 into 0 5.605 * [taylor]: Taking taylor expansion of 0 in a 5.605 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [taylor]: Taking taylor expansion of 0 in a 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.606 * [taylor]: Taking taylor expansion of 0 in a 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [taylor]: Taking taylor expansion of 0 in a 5.606 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [taylor]: Taking taylor expansion of 0 in a 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.607 * [taylor]: Taking taylor expansion of 0 in a 5.607 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [taylor]: Taking taylor expansion of 0 in a 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [taylor]: Taking taylor expansion of 0 in a 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.608 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 5.608 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.608 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 5.608 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.608 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.608 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.608 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.608 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.608 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.608 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.608 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.608 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.608 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.608 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.609 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.609 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.609 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.609 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.609 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.609 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.610 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.610 * [taylor]: Taking taylor expansion of 0 in a 5.610 * [backup-simplify]: Simplify 0 into 0 5.610 * [backup-simplify]: Simplify 0 into 0 5.610 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.611 * [backup-simplify]: Simplify 0 into 0 5.618 * [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 5.618 * [taylor]: Taking taylor expansion of 0 in a 5.618 * [backup-simplify]: Simplify 0 into 0 5.618 * [backup-simplify]: Simplify 0 into 0 5.618 * [backup-simplify]: Simplify 0 into 0 5.619 * [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 5.619 * [backup-simplify]: Simplify 0 into 0 5.621 * [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 5.621 * [taylor]: Taking taylor expansion of 0 in a 5.621 * [backup-simplify]: Simplify 0 into 0 5.621 * [backup-simplify]: Simplify 0 into 0 5.621 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.621 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.621 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 5.621 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.621 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.622 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.622 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.622 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.622 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.622 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.622 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.623 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.623 * [taylor]: Taking taylor expansion of 0 in a 5.623 * [backup-simplify]: Simplify 0 into 0 5.623 * [backup-simplify]: Simplify 0 into 0 5.624 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.624 * [backup-simplify]: Simplify 0 into 0 5.625 * [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 5.625 * [taylor]: Taking taylor expansion of 0 in a 5.625 * [backup-simplify]: Simplify 0 into 0 5.625 * [backup-simplify]: Simplify 0 into 0 5.625 * [backup-simplify]: Simplify 0 into 0 5.626 * [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 5.626 * [backup-simplify]: Simplify 0 into 0 5.628 * [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 5.628 * [taylor]: Taking taylor expansion of 0 in a 5.628 * [backup-simplify]: Simplify 0 into 0 5.628 * [backup-simplify]: Simplify 0 into 0 5.628 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 5.629 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.629 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 5.629 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.629 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.629 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.629 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.629 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.629 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.629 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.630 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.630 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.630 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.630 * [taylor]: Taking taylor expansion of 0 in a 5.630 * [backup-simplify]: Simplify 0 into 0 5.630 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.631 * [backup-simplify]: Simplify 0 into 0 5.632 * [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 5.632 * [taylor]: Taking taylor expansion of 0 in a 5.632 * [backup-simplify]: Simplify 0 into 0 5.632 * [backup-simplify]: Simplify 0 into 0 5.632 * [backup-simplify]: Simplify 0 into 0 5.633 * [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 5.633 * [backup-simplify]: Simplify 0 into 0 5.637 * [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 5.637 * [taylor]: Taking taylor expansion of 0 in a 5.637 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 5.637 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.638 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 5.638 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.638 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.638 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.638 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.638 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.638 * [taylor]: Taking taylor expansion of 0 in a 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [taylor]: Taking taylor expansion of 0 in a 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [taylor]: Taking taylor expansion of 0 in a 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.639 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.639 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.640 * [taylor]: Taking taylor expansion of 0 in a 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [taylor]: Taking taylor expansion of 0 in a 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [taylor]: Taking taylor expansion of 0 in a 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.641 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.641 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.643 * [taylor]: Taking taylor expansion of 0 in a 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [taylor]: Taking taylor expansion of 0 in a 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [taylor]: Taking taylor expansion of 0 in a 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.643 * * * [progress]: simplifying candidates 5.644 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 5.645 * * [simplify]: Extracting # 0 : cost 30 inf + 0 5.645 * * [simplify]: Extracting # 1 : cost 36 inf + 0 5.645 * * [simplify]: Extracting # 2 : cost 35 inf + 143 5.646 * * [simplify]: Extracting # 3 : cost 30 inf + 433 5.646 * * [simplify]: Extracting # 4 : cost 27 inf + 1194 5.647 * * [simplify]: Extracting # 5 : cost 10 inf + 7203 5.648 * * [simplify]: Extracting # 6 : cost 0 inf + 11463 5.649 * * [simplify]: iteration 0 : 38 enodes (cost 14985 ) 5.656 * * [simplify]: Extracting # 0 : cost 0 inf + 11463 5.657 * * [simplify]: Extracting # 1 : cost 5 inf + 10343 5.658 * * [simplify]: Extracting # 2 : cost 3 inf + 10875 5.659 * * [simplify]: Extracting # 3 : cost 3 inf + 10806 5.660 * * [simplify]: Extracting # 4 : cost 2 inf + 10847 5.661 * * [simplify]: Extracting # 5 : cost 0 inf + 11179