0.109 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.599 * * * [progress]: [2/2] Setting up program. 0.604 * [progress]: [Phase 2 of 3] Improving. 0.606 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.607 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.607 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.607 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.607 * * [simplify]: Extracting # 3 : cost 2 inf + 93 0.607 * * [simplify]: Extracting # 4 : cost 0 inf + 366 0.607 * * [simplify]: iteration 0 : 5 enodes (cost 217 ) 0.611 * * [simplify]: Extracting # 0 : cost 0 inf + 366 0.611 * * [simplify]: Extracting # 1 : cost 2 inf + 366 0.611 * * [simplify]: Extracting # 2 : cost 3 inf + 367 0.611 * * [simplify]: Extracting # 3 : cost 3 inf + 438 0.611 * * [simplify]: Extracting # 4 : cost 0 inf + 811 0.611 * * [simplify]: iteration 1 : 11 enodes (cost 217 ) 0.613 * * [simplify]: Extracting # 0 : cost 0 inf + 811 0.613 * * [simplify]: Extracting # 1 : cost 1 inf + 811 0.613 * * [simplify]: Extracting # 2 : cost 0 inf + 812 0.613 * * [simplify]: iteration 2 : 14 enodes (cost 217 ) 0.615 * * [simplify]: Extracting # 0 : cost 0 inf + 812 0.615 * * [simplify]: iteration 3 : 16 enodes (cost 217 ) 0.617 * * [simplify]: Extracting # 0 : cost 0 inf + 812 0.617 * * [simplify]: iteration complete: 16 enodes (cost 217 ) 0.617 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.619 * * [progress]: iteration 1 / 4 0.619 * * * [progress]: picking best candidate 0.623 * * * * [pick]: Picked # 0.623 * * * [progress]: localizing error 0.670 * * * [progress]: generating rewritten candidates 0.670 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.673 * * * [progress]: generating series expansions 0.674 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.677 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.677 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.680 * [taylor]: Taking taylor expansion of 0 in a 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [taylor]: Taking taylor expansion of 0 in a 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [taylor]: Taking taylor expansion of 0 in a 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.681 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.681 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.682 * [taylor]: Taking taylor expansion of 0 in a 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [taylor]: Taking taylor expansion of 0 in a 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [taylor]: Taking taylor expansion of 0 in a 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.683 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.684 * [taylor]: Taking taylor expansion of 0 in a 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [taylor]: Taking taylor expansion of 0 in a 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [taylor]: Taking taylor expansion of 0 in a 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.684 * * * [progress]: simplifying candidates 0.684 * [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.685 * * [simplify]: Extracting # 0 : cost 9 inf + 0 0.685 * * [simplify]: Extracting # 1 : cost 12 inf + 0 0.685 * * [simplify]: Extracting # 2 : cost 14 inf + 0 0.685 * * [simplify]: Extracting # 3 : cost 11 inf + 93 0.685 * * [simplify]: Extracting # 4 : cost 10 inf + 149 0.685 * * [simplify]: Extracting # 5 : cost 2 inf + 2345 0.685 * * [simplify]: Extracting # 6 : cost 0 inf + 2979 0.685 * * [simplify]: iteration 0 : 14 enodes (cost 3264 ) 0.687 * * [simplify]: Extracting # 0 : cost 0 inf + 2979 0.688 * * [simplify]: Extracting # 1 : cost 2 inf + 2979 0.688 * * [simplify]: Extracting # 2 : cost 3 inf + 2980 0.688 * * [simplify]: Extracting # 3 : cost 3 inf + 3051 0.688 * * [simplify]: Extracting # 4 : cost 2 inf + 3092 0.688 * * [simplify]: Extracting # 5 : cost 1 inf + 3203 0.688 * * [simplify]: Extracting # 6 : cost 0 inf + 3424 0.689 * * [simplify]: iteration 1 : 21 enodes (cost 3264 ) 0.692 * * [simplify]: Extracting # 0 : cost 0 inf + 3424 0.692 * * [simplify]: Extracting # 1 : cost 2 inf + 3424 0.692 * * [simplify]: Extracting # 2 : cost 0 inf + 3426 0.692 * * [simplify]: iteration 2 : 26 enodes (cost 3264 ) 0.697 * * [simplify]: Extracting # 0 : cost 0 inf + 3426 0.697 * * [simplify]: Extracting # 1 : cost 1 inf + 3426 0.698 * * [simplify]: Extracting # 2 : cost 2 inf + 3426 0.698 * * [simplify]: Extracting # 3 : cost 1 inf + 3427 0.699 * * [simplify]: Extracting # 4 : cost 0 inf + 3855 0.699 * * [simplify]: iteration 3 : 32 enodes (cost 3264 ) 0.709 * * [simplify]: Extracting # 0 : cost 0 inf + 3855 0.710 * * [simplify]: Extracting # 1 : cost 2 inf + 3855 0.711 * * [simplify]: Extracting # 2 : cost 2 inf + 3856 0.711 * * [simplify]: Extracting # 3 : cost 1 inf + 3857 0.712 * * [simplify]: Extracting # 4 : cost 0 inf + 4285 0.712 * * [simplify]: iteration 4 : 40 enodes (cost 3264 ) 0.725 * * [simplify]: Extracting # 0 : cost 0 inf + 4285 0.725 * * [simplify]: Extracting # 1 : cost 4 inf + 4285 0.726 * * [simplify]: Extracting # 2 : cost 2 inf + 5433 0.727 * * [simplify]: Extracting # 3 : cost 0 inf + 5862 0.728 * * [simplify]: iteration 5 : 59 enodes (cost 3264 ) 0.745 * * [simplify]: Extracting # 0 : cost 0 inf + 5862 0.746 * * [simplify]: Extracting # 1 : cost 5 inf + 5782 0.747 * * [simplify]: Extracting # 2 : cost 2 inf + 7820 0.748 * * [simplify]: Extracting # 3 : cost 0 inf + 8249 0.749 * * [simplify]: iteration 6 : 89 enodes (cost 3264 ) 0.777 * * [simplify]: Extracting # 0 : cost 0 inf + 8249 0.779 * * [simplify]: Extracting # 1 : cost 14 inf + 8169 0.781 * * [simplify]: Extracting # 2 : cost 2 inf + 15806 0.783 * * [simplify]: Extracting # 3 : cost 1 inf + 15807 0.785 * * [simplify]: Extracting # 4 : cost 0 inf + 16235 0.787 * * [simplify]: iteration 7 : 158 enodes (cost 3264 ) 0.849 * * [simplify]: Extracting # 0 : cost 0 inf + 16235 0.855 * * [simplify]: Extracting # 1 : cost 41 inf + 16115 0.862 * * [simplify]: Extracting # 2 : cost 2 inf + 48258 0.868 * * [simplify]: Extracting # 3 : cost 1 inf + 48259 0.873 * * [simplify]: Extracting # 4 : cost 0 inf + 48687 0.877 * * [simplify]: iteration 8 : 364 enodes (cost 3264 ) 1.172 * * [simplify]: Extracting # 0 : cost 0 inf + 48687 1.185 * * [simplify]: Extracting # 1 : cost 168 inf + 46319 1.215 * * [simplify]: Extracting # 2 : cost 17 inf + 196455 1.275 * * [simplify]: Extracting # 3 : cost 0 inf + 203645 1.308 * * [simplify]: Extracting # 4 : cost 0 inf + 203355 1.350 * * [simplify]: iteration 9 : 1174 enodes (cost 3264 ) 3.053 * * [simplify]: Extracting # 0 : cost 0 inf + 203355 3.201 * * [simplify]: Extracting # 1 : cost 1173 inf + 187931 3.511 * * [simplify]: Extracting # 2 : cost 73 inf + 1466230 3.882 * * [simplify]: Extracting # 3 : cost 18 inf + 1457258 4.339 * * [simplify]: Extracting # 4 : cost 0 inf + 1456388 4.823 * * [simplify]: Extracting # 5 : cost 0 inf + 1456297 5.230 * * [simplify]: iteration complete: 5002 enodes (cost 3264 ) 5.230 * [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))) (* (* (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.231 * * * [progress]: adding candidates to table 5.279 * * [progress]: iteration 2 / 4 5.279 * * * [progress]: picking best candidate 5.310 * * * * [pick]: Picked # 5.310 * * * [progress]: localizing error 5.325 * * * [progress]: generating rewritten candidates 5.325 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 5.326 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 5.328 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.331 * * * [progress]: generating series expansions 5.331 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 5.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.331 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.332 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.332 * [taylor]: Taking taylor expansion of 0 in a 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [taylor]: Taking taylor expansion of 0 in a 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [taylor]: Taking taylor expansion of 0 in a 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.332 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.333 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.333 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.333 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.333 * [taylor]: Taking taylor expansion of 0 in a 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [taylor]: Taking taylor expansion of 0 in a 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [taylor]: Taking taylor expansion of 0 in a 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.334 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.334 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.334 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.334 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.334 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.335 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.335 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.335 * [taylor]: Taking taylor expansion of 0 in a 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [taylor]: Taking taylor expansion of 0 in a 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [taylor]: Taking taylor expansion of 0 in a 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.336 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 5.336 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.336 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 5.336 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.336 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.336 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.336 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.339 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.339 * [taylor]: Taking taylor expansion of 0 in a 5.339 * [backup-simplify]: Simplify 0 into 0 5.339 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.343 * [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.343 * [taylor]: Taking taylor expansion of 0 in a 5.343 * [backup-simplify]: Simplify 0 into 0 5.343 * [backup-simplify]: Simplify 0 into 0 5.343 * [backup-simplify]: Simplify 0 into 0 5.345 * [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.345 * [backup-simplify]: Simplify 0 into 0 5.349 * [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.349 * [taylor]: Taking taylor expansion of 0 in a 5.349 * [backup-simplify]: Simplify 0 into 0 5.349 * [backup-simplify]: Simplify 0 into 0 5.349 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.349 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.349 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 5.349 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.349 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.349 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.349 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.350 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.350 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.350 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.350 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.350 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.350 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.351 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.351 * [taylor]: Taking taylor expansion of 0 in a 5.351 * [backup-simplify]: Simplify 0 into 0 5.351 * [backup-simplify]: Simplify 0 into 0 5.352 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.352 * [backup-simplify]: Simplify 0 into 0 5.353 * [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.353 * [taylor]: Taking taylor expansion of 0 in a 5.353 * [backup-simplify]: Simplify 0 into 0 5.353 * [backup-simplify]: Simplify 0 into 0 5.353 * [backup-simplify]: Simplify 0 into 0 5.354 * [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.354 * [backup-simplify]: Simplify 0 into 0 5.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 5.356 * [taylor]: Taking taylor expansion of 0 in a 5.356 * [backup-simplify]: Simplify 0 into 0 5.356 * [backup-simplify]: Simplify 0 into 0 5.356 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 5.356 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.356 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 5.356 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.356 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.357 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.357 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.358 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.358 * [taylor]: Taking taylor expansion of 0 in a 5.358 * [backup-simplify]: Simplify 0 into 0 5.358 * [backup-simplify]: Simplify 0 into 0 5.359 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.359 * [backup-simplify]: Simplify 0 into 0 5.360 * [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.360 * [taylor]: Taking taylor expansion of 0 in a 5.360 * [backup-simplify]: Simplify 0 into 0 5.360 * [backup-simplify]: Simplify 0 into 0 5.360 * [backup-simplify]: Simplify 0 into 0 5.361 * [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.361 * [backup-simplify]: Simplify 0 into 0 5.368 * [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.368 * [taylor]: Taking taylor expansion of 0 in a 5.368 * [backup-simplify]: Simplify 0 into 0 5.368 * [backup-simplify]: Simplify 0 into 0 5.368 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 5.368 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.368 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 5.368 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.368 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.368 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.369 * [taylor]: Taking taylor expansion of 0 in a 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [taylor]: Taking taylor expansion of 0 in a 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [taylor]: Taking taylor expansion of 0 in a 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.369 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.369 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.369 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.370 * [taylor]: Taking taylor expansion of 0 in a 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [taylor]: Taking taylor expansion of 0 in a 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [taylor]: Taking taylor expansion of 0 in a 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.370 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.370 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.371 * [taylor]: Taking taylor expansion of 0 in a 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [taylor]: Taking taylor expansion of 0 in a 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [taylor]: Taking taylor expansion of 0 in a 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.371 * * * [progress]: simplifying candidates 5.372 * [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 (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)))) (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))))) (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.372 * * [simplify]: Extracting # 0 : cost 36 inf + 0 5.372 * * [simplify]: Extracting # 1 : cost 42 inf + 0 5.372 * * [simplify]: Extracting # 2 : cost 41 inf + 143 5.372 * * [simplify]: Extracting # 3 : cost 36 inf + 433 5.373 * * [simplify]: Extracting # 4 : cost 31 inf + 1778 5.373 * * [simplify]: Extracting # 5 : cost 18 inf + 6259 5.374 * * [simplify]: Extracting # 6 : cost 3 inf + 12284 5.374 * * [simplify]: Extracting # 7 : cost 0 inf + 13665 5.375 * * [simplify]: iteration 0 : 44 enodes (cost 17187 ) 5.388 * * [simplify]: Extracting # 0 : cost 0 inf + 13665 5.390 * * [simplify]: Extracting # 1 : cost 5 inf + 11985 5.392 * * [simplify]: Extracting # 2 : cost 3 inf + 12657 5.394 * * [simplify]: Extracting # 3 : cost 3 inf + 12728 5.395 * * [simplify]: Extracting # 4 : cost 2 inf + 12769 5.398 * * [simplify]: Extracting # 5 : cost 0 inf + 13101