0.110 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.912 * * * [progress]: [2/2] Setting up program.
0.922 * [progress]: [Phase 2 of 3] Improving.
0.925 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.927 * * [simplify]: iteration 0: 5 enodes
0.933 * * [simplify]: iteration 1: 11 enodes
0.935 * * [simplify]: iteration 2: 14 enodes
0.939 * * [simplify]: iteration 3: 16 enodes
0.943 * * [simplify]: iteration complete: 16 enodes
0.943 * * [simplify]: Extracting #0: cost 1 inf + 0
0.943 * * [simplify]: Extracting #1: cost 3 inf + 0
0.943 * * [simplify]: Extracting #2: cost 7 inf + 0
0.944 * * [simplify]: Extracting #3: cost 5 inf + 5
0.944 * * [simplify]: Extracting #4: cost 4 inf + 14
0.944 * * [simplify]: Extracting #5: cost 0 inf + 26
0.944 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.946 * * [progress]: iteration 1 / 4
0.946 * * * [progress]: picking best candidate
0.955 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.955 * * * [progress]: localizing error
1.015 * * * [progress]: generating rewritten candidates
1.015 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.019 * * * [progress]: generating series expansions
1.019 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.022 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.022 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.023 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.024 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.024 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.024 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.025 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.027 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.030 * * * [progress]: simplifying candidates
1.030 * [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))
1.030 * * [simplify]: iteration 0: 14 enodes
1.033 * * [simplify]: iteration 1: 21 enodes
1.035 * * [simplify]: iteration 2: 26 enodes
1.039 * * [simplify]: iteration 3: 32 enodes
1.044 * * [simplify]: iteration 4: 40 enodes
1.053 * * [simplify]: iteration 5: 74 enodes
1.070 * * [simplify]: iteration 6: 159 enodes
1.120 * * [simplify]: iteration 7: 336 enodes
1.273 * * [simplify]: iteration 8: 1065 enodes
2.622 * * [simplify]: iteration complete: 5000 enodes
2.622 * * [simplify]: Extracting #0: cost 9 inf + 0
2.623 * * [simplify]: Extracting #1: cost 326 inf + 0
2.626 * * [simplify]: Extracting #2: cost 1181 inf + 2
2.630 * * [simplify]: Extracting #3: cost 1249 inf + 56
2.637 * * [simplify]: Extracting #4: cost 984 inf + 2922
2.641 * * [simplify]: Extracting #5: cost 316 inf + 17961
2.645 * * [simplify]: Extracting #6: cost 10 inf + 24703
2.649 * * [simplify]: Extracting #7: cost 0 inf + 24921
2.657 * [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.657 * * * [progress]: adding candidates to table
2.719 * * [progress]: iteration 2 / 4
2.719 * * * [progress]: picking best candidate
2.760 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.760 * * * [progress]: localizing error
2.778 * * * [progress]: generating rewritten candidates
2.778 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.778 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.782 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.784 * * * [progress]: generating series expansions
2.784 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.784 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.784 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.784 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.784 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.784 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.785 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.785 * [taylor]: Taking taylor expansion of 0 in a
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [taylor]: Taking taylor expansion of 0 in a
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [taylor]: Taking taylor expansion of 0 in a
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.785 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.786 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.786 * [taylor]: Taking taylor expansion of 0 in a
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [taylor]: Taking taylor expansion of 0 in a
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [taylor]: Taking taylor expansion of 0 in a
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.786 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.786 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.786 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.786 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.787 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.787 * [taylor]: Taking taylor expansion of 0 in a
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [taylor]: Taking taylor expansion of 0 in a
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [taylor]: Taking taylor expansion of 0 in a
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.787 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.787 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.788 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [taylor]: Taking taylor expansion of 0 in a
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [taylor]: Taking taylor expansion of 0 in a
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [taylor]: Taking taylor expansion of 0 in a
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.788 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.788 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.788 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.789 * [taylor]: Taking taylor expansion of 0 in a
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [taylor]: Taking taylor expansion of 0 in a
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [taylor]: Taking taylor expansion of 0 in a
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.790 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.790 * [taylor]: Taking taylor expansion of 0 in a
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [taylor]: Taking taylor expansion of 0 in a
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [taylor]: Taking taylor expansion of 0 in a
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 0 into 0
2.791 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.791 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.791 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.791 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.791 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.791 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.791 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.791 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.791 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.791 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.792 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.792 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.792 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.793 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.793 * [taylor]: Taking taylor expansion of 0 in a
2.793 * [backup-simplify]: Simplify 0 into 0
2.793 * [backup-simplify]: Simplify 0 into 0
2.793 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.793 * [backup-simplify]: Simplify 0 into 0
2.795 * [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.795 * [taylor]: Taking taylor expansion of 0 in a
2.795 * [backup-simplify]: Simplify 0 into 0
2.795 * [backup-simplify]: Simplify 0 into 0
2.795 * [backup-simplify]: Simplify 0 into 0
2.796 * [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.797 * [backup-simplify]: Simplify 0 into 0
2.799 * [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.799 * [taylor]: Taking taylor expansion of 0 in a
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.799 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.799 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.799 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.799 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.799 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.800 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.800 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.800 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.800 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.800 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.800 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.800 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.800 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.800 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.800 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.801 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.801 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.801 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.801 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.802 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [backup-simplify]: Simplify 0 into 0
2.802 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.803 * [backup-simplify]: Simplify 0 into 0
2.805 * [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.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [backup-simplify]: Simplify 0 into 0
2.805 * [backup-simplify]: Simplify 0 into 0
2.806 * [backup-simplify]: Simplify 0 into 0
2.808 * [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.808 * [backup-simplify]: Simplify 0 into 0
2.811 * [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.811 * [taylor]: Taking taylor expansion of 0 in a
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.812 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.812 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.812 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.812 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.812 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.812 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.813 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.813 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.813 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.813 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.813 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.814 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.815 * [taylor]: Taking taylor expansion of 0 in a
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.815 * [backup-simplify]: Simplify 0 into 0
2.817 * [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.817 * [taylor]: Taking taylor expansion of 0 in a
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 0 into 0
2.818 * [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.818 * [backup-simplify]: Simplify 0 into 0
2.820 * [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.820 * [taylor]: Taking taylor expansion of 0 in a
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.820 * * * [progress]: simplifying candidates
2.821 * [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.821 * * [simplify]: iteration 0: 44 enodes
2.828 * * [simplify]: iteration 1: 69 enodes
2.835 * * [simplify]: iteration 2: 115 enodes
2.853 * * [simplify]: iteration 3: 186 enodes
2.895 * * [simplify]: iteration 4: 315 enodes
2.948 * * [simplify]: iteration 5: 486 enodes
3.114 * * [simplify]: iteration 6: 1051 enodes
4.266 * * [simplify]: iteration 7: 4052 enodes
5.365 * * [simplify]: iteration complete: 5001 enodes
5.365 * * [simplify]: Extracting #0: cost 24 inf + 0
5.366 * * [simplify]: Extracting #1: cost 351 inf + 3
5.371 * * [simplify]: Extracting #2: cost 859 inf + 42
5.383 * * [simplify]: Extracting #3: cost 890 inf + 152
5.389 * * [simplify]: Extracting #4: cost 741 inf + 1537
5.396 * * [simplify]: Extracting #5: cost 290 inf + 11523
5.400 * * [simplify]: Extracting #6: cost 49 inf + 21729
5.404 * * [simplify]: Extracting #7: cost 0 inf + 24390
5.407 * [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
  (pow (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))))
  (* (log (cbrt (fmod (cosh c) (log1p a)))) 2)
  (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.407 * * * [progress]: adding candidates to table
5.647 * * [progress]: iteration 3 / 4
5.647 * * * [progress]: picking best candidate
5.744 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
5.744 * * * [progress]: localizing error
5.779 * * * [progress]: generating rewritten candidates
5.780 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
5.780 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
5.786 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
5.790 * * * [progress]: generating series expansions
5.790 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
5.790 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.791 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.792 * [taylor]: Taking taylor expansion of 0 in a
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [taylor]: Taking taylor expansion of 0 in a
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [taylor]: Taking taylor expansion of 0 in a
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.792 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.792 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.793 * [taylor]: Taking taylor expansion of 0 in a
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [taylor]: Taking taylor expansion of 0 in a
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [taylor]: Taking taylor expansion of 0 in a
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.794 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.794 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.796 * [taylor]: Taking taylor expansion of 0 in a
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [taylor]: Taking taylor expansion of 0 in a
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [taylor]: Taking taylor expansion of 0 in a
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.796 * * * * [progress]: [ 2 / 3 ] generating series at (2)
5.797 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
5.797 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
5.797 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
5.797 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
5.797 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
5.797 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.797 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.797 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.797 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.797 * [taylor]: Taking taylor expansion of (log E) in a
5.797 * [taylor]: Taking taylor expansion of E in a
5.797 * [backup-simplify]: Simplify E into E
5.797 * [backup-simplify]: Simplify (log E) into 1
5.798 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
5.798 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
5.798 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
5.798 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
5.798 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
5.798 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.798 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.798 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.798 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.798 * [taylor]: Taking taylor expansion of (log E) in c
5.799 * [taylor]: Taking taylor expansion of E in c
5.799 * [backup-simplify]: Simplify E into E
5.799 * [backup-simplify]: Simplify (log E) into 1
5.799 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
5.799 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
5.799 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
5.799 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
5.799 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
5.799 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.799 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.799 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.799 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.800 * [taylor]: Taking taylor expansion of (log E) in c
5.800 * [taylor]: Taking taylor expansion of E in c
5.800 * [backup-simplify]: Simplify E into E
5.800 * [backup-simplify]: Simplify (log E) into 1
5.800 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
5.800 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
5.800 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.803 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.804 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.804 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
5.806 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.806 * [taylor]: Taking taylor expansion of 0 in a
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.812 * [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.813 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
5.814 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.814 * [taylor]: Taking taylor expansion of 0 in a
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.821 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
5.824 * [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.826 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.828 * [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
5.828 * [taylor]: Taking taylor expansion of 0 in a
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.828 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
5.828 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
5.828 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
5.828 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
5.828 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
5.828 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.829 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.829 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.829 * [taylor]: Taking taylor expansion of (log E) in a
5.829 * [taylor]: Taking taylor expansion of E in a
5.829 * [backup-simplify]: Simplify E into E
5.829 * [backup-simplify]: Simplify (log E) into 1
5.829 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.830 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.830 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
5.830 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
5.830 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
5.830 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.830 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.830 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.830 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.830 * [taylor]: Taking taylor expansion of (log E) in c
5.830 * [taylor]: Taking taylor expansion of E in c
5.830 * [backup-simplify]: Simplify E into E
5.830 * [backup-simplify]: Simplify (log E) into 1
5.831 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.831 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.831 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
5.831 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
5.831 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
5.831 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.831 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.831 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.831 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.831 * [taylor]: Taking taylor expansion of (log E) in c
5.831 * [taylor]: Taking taylor expansion of E in c
5.831 * [backup-simplify]: Simplify E into E
5.831 * [backup-simplify]: Simplify (log E) into 1
5.831 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.831 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.831 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.832 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.832 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.834 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
5.834 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.834 * [taylor]: Taking taylor expansion of 0 in a
5.834 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.844 * [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.844 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
5.845 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.845 * [taylor]: Taking taylor expansion of 0 in a
5.845 * [backup-simplify]: Simplify 0 into 0
5.845 * [backup-simplify]: Simplify 0 into 0
5.845 * [backup-simplify]: Simplify 0 into 0
5.845 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
5.850 * [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.851 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.852 * [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
5.852 * [taylor]: Taking taylor expansion of 0 in a
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.852 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
5.852 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
5.852 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
5.852 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
5.852 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
5.852 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.853 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.853 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.853 * [taylor]: Taking taylor expansion of (log E) in a
5.853 * [taylor]: Taking taylor expansion of E in a
5.853 * [backup-simplify]: Simplify E into E
5.853 * [backup-simplify]: Simplify (log E) into 1
5.853 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.853 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.853 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
5.853 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
5.853 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
5.853 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.853 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.853 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.853 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.853 * [taylor]: Taking taylor expansion of (log E) in c
5.853 * [taylor]: Taking taylor expansion of E in c
5.853 * [backup-simplify]: Simplify E into E
5.853 * [backup-simplify]: Simplify (log E) into 1
5.854 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.854 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.854 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
5.854 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
5.854 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
5.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.854 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.854 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.854 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.854 * [taylor]: Taking taylor expansion of (log E) in c
5.854 * [taylor]: Taking taylor expansion of E in c
5.854 * [backup-simplify]: Simplify E into E
5.854 * [backup-simplify]: Simplify (log E) into 1
5.854 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.854 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.854 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.855 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.855 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.857 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
5.857 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
5.857 * [taylor]: Taking taylor expansion of 0 in a
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.859 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.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
5.863 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
5.864 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.864 * [taylor]: Taking taylor expansion of 0 in a
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
5.874 * [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.875 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.877 * [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
5.878 * [taylor]: Taking taylor expansion of 0 in a
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.878 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
5.878 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.878 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
5.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.878 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.878 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.879 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.879 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.879 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.880 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.880 * [taylor]: Taking taylor expansion of 0 in a
5.880 * [backup-simplify]: Simplify 0 into 0
5.880 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.881 * [backup-simplify]: Simplify 0 into 0
5.882 * [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.882 * [taylor]: Taking taylor expansion of 0 in a
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 0 into 0
5.883 * [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.883 * [backup-simplify]: Simplify 0 into 0
5.885 * [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.885 * [taylor]: Taking taylor expansion of 0 in a
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.885 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.885 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
5.885 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.885 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.885 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.885 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.885 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.885 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.886 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.886 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.886 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.886 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.886 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.886 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.886 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.886 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.886 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.886 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.886 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.887 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.887 * [taylor]: Taking taylor expansion of 0 in a
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 0 into 0
5.888 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.888 * [backup-simplify]: Simplify 0 into 0
5.889 * [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.889 * [taylor]: Taking taylor expansion of 0 in a
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [backup-simplify]: Simplify 0 into 0
5.890 * [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.890 * [backup-simplify]: Simplify 0 into 0
5.892 * [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.892 * [taylor]: Taking taylor expansion of 0 in a
5.892 * [backup-simplify]: Simplify 0 into 0
5.892 * [backup-simplify]: Simplify 0 into 0
5.892 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
5.892 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.893 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
5.893 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.893 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.893 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.893 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.893 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.893 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.893 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.894 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.894 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.894 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.894 * [taylor]: Taking taylor expansion of 0 in a
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.895 * [backup-simplify]: Simplify 0 into 0
5.896 * [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.896 * [taylor]: Taking taylor expansion of 0 in a
5.896 * [backup-simplify]: Simplify 0 into 0
5.896 * [backup-simplify]: Simplify 0 into 0
5.896 * [backup-simplify]: Simplify 0 into 0
5.897 * [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.898 * [backup-simplify]: Simplify 0 into 0
5.899 * [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.899 * [taylor]: Taking taylor expansion of 0 in a
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
5.900 * * * [progress]: simplifying candidates
5.900 * [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 (pow E (log (fmod (cosh c) (log1p a)))))
  (log1p (pow E (log (fmod (cosh c) (log1p a)))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (pow E 1)
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  (pow E 1)
  (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log 1))
  (pow E (log (fmod (cosh c) (log1p a))))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow 1 (log (fmod (cosh c) (log1p a))))
  (pow E (log (fmod (cosh c) (log1p a))))
  (log (pow E (log (fmod (cosh c) (log1p a)))))
  (exp (pow E (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))))
  (cbrt (pow E (log (fmod (cosh c) (log1p a)))))
  (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (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)))
5.901 * * [simplify]: iteration 0: 59 enodes
5.926 * * [simplify]: iteration 1: 141 enodes
6.038 * * [simplify]: iteration 2: 554 enodes
6.309 * * [simplify]: iteration complete: 5000 enodes
6.309 * * [simplify]: Extracting #0: cost 31 inf + 0
6.310 * * [simplify]: Extracting #1: cost 821 inf + 3
6.315 * * [simplify]: Extracting #2: cost 2060 inf + 269
6.325 * * [simplify]: Extracting #3: cost 1946 inf + 1689
6.347 * * [simplify]: Extracting #4: cost 509 inf + 18353
6.361 * * [simplify]: Extracting #5: cost 86 inf + 25485
6.375 * * [simplify]: Extracting #6: cost 25 inf + 26640
6.388 * * [simplify]: Extracting #7: cost 3 inf + 27156
6.401 * * [simplify]: Extracting #8: cost 0 inf + 27231
6.413 * [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)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  1
  (fmod (cosh c) (log1p a))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  1
  (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)))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (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)))
6.414 * * * [progress]: adding candidates to table
6.738 * * [progress]: iteration 4 / 4
6.738 * * * [progress]: picking best candidate
6.861 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
6.862 * * * [progress]: localizing error
6.892 * * * [progress]: generating rewritten candidates
6.892 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
6.892 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
6.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
6.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
6.907 * * * [progress]: generating series expansions
6.907 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.907 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.907 * [taylor]: Taking taylor expansion of 0 in a
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [taylor]: Taking taylor expansion of 0 in a
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [taylor]: Taking taylor expansion of 0 in a
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.908 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.908 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.908 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.908 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.908 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.908 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.909 * [taylor]: Taking taylor expansion of 0 in a
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [taylor]: Taking taylor expansion of 0 in a
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [taylor]: Taking taylor expansion of 0 in a
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.909 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.909 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.909 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.909 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.909 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.909 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.910 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.910 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.910 * [taylor]: Taking taylor expansion of 0 in a
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [taylor]: Taking taylor expansion of 0 in a
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [taylor]: Taking taylor expansion of 0 in a
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.910 * * * * [progress]: [ 2 / 4 ] generating series at (2)
6.910 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (pow E (log (fmod (cosh c) (log1p a))))
6.910 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
6.910 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
6.910 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
6.910 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
6.910 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.910 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.911 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.911 * [taylor]: Taking taylor expansion of (log E) in a
6.911 * [taylor]: Taking taylor expansion of E in a
6.911 * [backup-simplify]: Simplify E into E
6.911 * [backup-simplify]: Simplify (log E) into 1
6.911 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
6.911 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.912 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
6.912 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
6.912 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
6.912 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.912 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.912 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.912 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.912 * [taylor]: Taking taylor expansion of (log E) in c
6.912 * [taylor]: Taking taylor expansion of E in c
6.912 * [backup-simplify]: Simplify E into E
6.912 * [backup-simplify]: Simplify (log E) into 1
6.912 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
6.912 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.912 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
6.912 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
6.912 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
6.913 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.913 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.913 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.913 * [taylor]: Taking taylor expansion of (log E) in c
6.913 * [taylor]: Taking taylor expansion of E in c
6.913 * [backup-simplify]: Simplify E into E
6.913 * [backup-simplify]: Simplify (log E) into 1
6.913 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
6.913 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.914 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.914 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.916 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.917 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.917 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
6.918 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.918 * [taylor]: Taking taylor expansion of 0 in a
6.918 * [backup-simplify]: Simplify 0 into 0
6.918 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.924 * [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
6.925 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
6.926 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.926 * [taylor]: Taking taylor expansion of 0 in a
6.926 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
6.935 * [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
6.936 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.938 * [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
6.938 * [taylor]: Taking taylor expansion of 0 in a
6.938 * [backup-simplify]: Simplify 0 into 0
6.938 * [backup-simplify]: Simplify 0 into 0
6.938 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.938 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.938 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
6.938 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
6.938 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
6.938 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
6.939 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.939 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.939 * [taylor]: Taking taylor expansion of (log E) in a
6.939 * [taylor]: Taking taylor expansion of E in a
6.939 * [backup-simplify]: Simplify E into E
6.939 * [backup-simplify]: Simplify (log E) into 1
6.939 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.939 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.939 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.939 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
6.939 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
6.939 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.939 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.939 * [taylor]: Taking taylor expansion of (log E) in c
6.940 * [taylor]: Taking taylor expansion of E in c
6.940 * [backup-simplify]: Simplify E into E
6.940 * [backup-simplify]: Simplify (log E) into 1
6.940 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.940 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.940 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.940 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
6.940 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
6.940 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.940 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.940 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.940 * [taylor]: Taking taylor expansion of (log E) in c
6.940 * [taylor]: Taking taylor expansion of E in c
6.940 * [backup-simplify]: Simplify E into E
6.940 * [backup-simplify]: Simplify (log E) into 1
6.940 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.941 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.943 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
6.943 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.943 * [taylor]: Taking taylor expansion of 0 in a
6.944 * [backup-simplify]: Simplify 0 into 0
6.944 * [backup-simplify]: Simplify 0 into 0
6.944 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.947 * [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
6.947 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
6.948 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.948 * [taylor]: Taking taylor expansion of 0 in a
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify 0 into 0
6.951 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
6.953 * [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
6.954 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.955 * [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
6.955 * [taylor]: Taking taylor expansion of 0 in a
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.955 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.955 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
6.955 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
6.955 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
6.955 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
6.955 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.956 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.956 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.956 * [taylor]: Taking taylor expansion of (log E) in a
6.956 * [taylor]: Taking taylor expansion of E in a
6.956 * [backup-simplify]: Simplify E into E
6.956 * [backup-simplify]: Simplify (log E) into 1
6.956 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.956 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.956 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.956 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
6.956 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
6.956 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.956 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.956 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.956 * [taylor]: Taking taylor expansion of (log E) in c
6.956 * [taylor]: Taking taylor expansion of E in c
6.956 * [backup-simplify]: Simplify E into E
6.956 * [backup-simplify]: Simplify (log E) into 1
6.957 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.957 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.957 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.957 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
6.957 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
6.957 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.957 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.957 * [taylor]: Taking taylor expansion of (log E) in c
6.957 * [taylor]: Taking taylor expansion of E in c
6.957 * [backup-simplify]: Simplify E into E
6.957 * [backup-simplify]: Simplify (log E) into 1
6.957 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.957 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.958 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.958 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.959 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.960 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.960 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
6.961 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.961 * [taylor]: Taking taylor expansion of 0 in a
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.964 * [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
6.964 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
6.965 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.965 * [taylor]: Taking taylor expansion of 0 in a
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
6.970 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
6.971 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.972 * [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
6.972 * [taylor]: Taking taylor expansion of 0 in a
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.972 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
6.972 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.972 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
6.972 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.974 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.974 * [taylor]: Taking taylor expansion of 0 in a
6.974 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.974 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
6.976 * [taylor]: Taking taylor expansion of 0 in a
6.976 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify 0 into 0
6.977 * [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
6.977 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
6.979 * [taylor]: Taking taylor expansion of 0 in a
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.979 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.979 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
6.979 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.981 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.981 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.982 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.982 * [taylor]: Taking taylor expansion of 0 in a
6.982 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify 0 into 0
6.983 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.983 * [backup-simplify]: Simplify 0 into 0
6.985 * [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
6.985 * [taylor]: Taking taylor expansion of 0 in a
6.985 * [backup-simplify]: Simplify 0 into 0
6.985 * [backup-simplify]: Simplify 0 into 0
6.985 * [backup-simplify]: Simplify 0 into 0
6.987 * [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
6.987 * [backup-simplify]: Simplify 0 into 0
6.990 * [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
6.990 * [taylor]: Taking taylor expansion of 0 in a
6.990 * [backup-simplify]: Simplify 0 into 0
6.990 * [backup-simplify]: Simplify 0 into 0
6.990 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
6.990 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.990 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
6.990 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.992 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.993 * [taylor]: Taking taylor expansion of 0 in a
6.993 * [backup-simplify]: Simplify 0 into 0
6.993 * [backup-simplify]: Simplify 0 into 0
6.994 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.994 * [backup-simplify]: Simplify 0 into 0
6.996 * [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
6.996 * [taylor]: Taking taylor expansion of 0 in a
6.996 * [backup-simplify]: Simplify 0 into 0
6.996 * [backup-simplify]: Simplify 0 into 0
6.996 * [backup-simplify]: Simplify 0 into 0
6.998 * [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
6.998 * [backup-simplify]: Simplify 0 into 0
7.000 * [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.000 * [taylor]: Taking taylor expansion of 0 in a
7.000 * [backup-simplify]: Simplify 0 into 0
7.000 * [backup-simplify]: Simplify 0 into 0
7.000 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
7.000 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.001 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.001 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0
7.001 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
7.001 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.001 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.001 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.001 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.001 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
7.001 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.001 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.001 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.001 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.001 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
7.001 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.001 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.001 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.001 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.002 * [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.002 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.002 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
7.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.002 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.002 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.002 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.002 * [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.003 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.003 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.004 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.004 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
7.004 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
7.004 * [taylor]: Taking taylor expansion of 0 in a
7.004 * [backup-simplify]: Simplify 0 into 0
7.004 * [backup-simplify]: Simplify 0 into 0
7.005 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.005 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
7.005 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
7.005 * [backup-simplify]: Simplify 0 into 0
7.006 * [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.007 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
7.007 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
7.007 * [taylor]: Taking taylor expansion of 0 in a
7.007 * [backup-simplify]: Simplify 0 into 0
7.007 * [backup-simplify]: Simplify 0 into 0
7.007 * [backup-simplify]: Simplify 0 into 0
7.009 * [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.009 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
7.010 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
7.010 * [backup-simplify]: Simplify 0 into 0
7.011 * [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.012 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
7.013 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0
7.013 * [taylor]: Taking taylor expansion of 0 in a
7.013 * [backup-simplify]: Simplify 0 into 0
7.013 * [backup-simplify]: Simplify 0 into 0
7.013 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.013 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
7.013 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0
7.013 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
7.013 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.013 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.014 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
7.014 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.014 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.014 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
7.014 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.014 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.014 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.014 * [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.015 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
7.015 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
7.015 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.015 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.015 * [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.015 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
7.016 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
7.016 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.017 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
7.017 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
7.017 * [taylor]: Taking taylor expansion of 0 in a
7.017 * [backup-simplify]: Simplify 0 into 0
7.017 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.018 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
7.018 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
7.018 * [backup-simplify]: Simplify 0 into 0
7.024 * [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.024 * [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.025 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
7.025 * [taylor]: Taking taylor expansion of 0 in a
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify 0 into 0
7.026 * [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.027 * [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.027 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
7.027 * [backup-simplify]: Simplify 0 into 0
7.029 * [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.030 * [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.031 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0
7.031 * [taylor]: Taking taylor expansion of 0 in a
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.031 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
7.031 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0
7.031 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
7.031 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.032 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.032 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
7.032 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.032 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.032 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
7.032 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.032 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.033 * [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.033 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
7.033 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
7.033 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.033 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.033 * [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.034 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
7.034 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
7.034 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.035 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
7.035 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
7.035 * [taylor]: Taking taylor expansion of 0 in a
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.036 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
7.036 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.038 * [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.038 * [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.039 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
7.039 * [taylor]: Taking taylor expansion of 0 in a
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.041 * [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.041 * [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.042 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.045 * [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.046 * [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.048 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0
7.048 * [taylor]: Taking taylor expansion of 0 in a
7.048 * [backup-simplify]: Simplify 0 into 0
7.048 * [backup-simplify]: Simplify 0 into 0
7.048 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
7.048 * * * [progress]: simplifying candidates
7.050 * [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 (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow E (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E (cbrt 1))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (pow E (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E 1)
  (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (log (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2))
  (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2))
  (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 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (pow (log (fmod (cosh c) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
7.052 * * [simplify]: iteration 0: 100 enodes
7.089 * * [simplify]: iteration 1: 275 enodes
7.322 * * [simplify]: iteration 2: 1444 enodes
8.980 * * [simplify]: iteration complete: 5001 enodes
8.981 * * [simplify]: Extracting #0: cost 43 inf + 0
8.987 * * [simplify]: Extracting #1: cost 1168 inf + 4
8.996 * * [simplify]: Extracting #2: cost 1232 inf + 988
9.003 * * [simplify]: Extracting #3: cost 1461 inf + 1331
9.008 * * [simplify]: Extracting #4: cost 1170 inf + 4126
9.014 * * [simplify]: Extracting #5: cost 298 inf + 17753
9.020 * * [simplify]: Extracting #6: cost 24 inf + 22687
9.025 * * [simplify]: Extracting #7: cost 3 inf + 22842
9.034 * * [simplify]: Extracting #8: cost 0 inf + 22937
9.046 * [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)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  E
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow E (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2)))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  1
  (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)))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (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 (pow (log (fmod (cosh c) (log1p a))) 2))
  (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))))
  (expm1 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  3
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (log (fmod (cosh c) (log1p a)))
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
9.048 * * * [progress]: adding candidates to table
9.523 * [progress]: [Phase 3 of 3] Extracting.
9.524 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
9.529 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
9.530 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
9.736 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
9.964 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
10.218 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
10.466 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow E (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (pow (log (fmod (cosh c) (log1p a))) 2) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (pow (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
10.665 * * * [regime]: Found split indices: #<option (#s(si 16 255))>
10.666 * [simplify]: Simplifying:
  (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)))
10.666 * * [simplify]: iteration 0: 16 enodes
10.667 * * [simplify]: iteration 1: 18 enodes
10.668 * * [simplify]: iteration 2: 20 enodes
10.668 * * [simplify]: iteration complete: 20 enodes
10.668 * * [simplify]: Extracting #0: cost 1 inf + 0
10.668 * * [simplify]: Extracting #1: cost 3 inf + 0
10.668 * * [simplify]: Extracting #2: cost 6 inf + 0
10.668 * * [simplify]: Extracting #3: cost 8 inf + 1
10.668 * * [simplify]: Extracting #4: cost 9 inf + 2
10.668 * * [simplify]: Extracting #5: cost 9 inf + 3
10.668 * * [simplify]: Extracting #6: cost 11 inf + 3
10.668 * * [simplify]: Extracting #7: cost 13 inf + 3
10.668 * * [simplify]: Extracting #8: cost 11 inf + 5
10.669 * * [simplify]: Extracting #9: cost 8 inf + 14
10.669 * * [simplify]: Extracting #10: cost 3 inf + 53
10.669 * * [simplify]: Extracting #11: cost 0 inf + 96
10.669 * [simplify]: Simplified to:
  (pow (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)))
33.408 * [regime-testing]: Baseline error score: 34.032764270697186
33.418 * [regime-testing]: Oracle error score: 33.99452253965043
33.448 * [regime-testing]: End program error score: 34.032764270697186