0.360 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.794 * * * [progress]: [2/2] Setting up program.
0.805 * [progress]: [Phase 2 of 3] Improving.
0.807 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.808 * * [simplify]: iteration 0: 5 enodes
0.814 * * [simplify]: iteration 1: 11 enodes
0.816 * * [simplify]: iteration 2: 14 enodes
0.820 * * [simplify]: iteration 3: 16 enodes
0.823 * * [simplify]: iteration complete: 16 enodes
0.824 * * [simplify]: Extracting #0: cost 1 inf + 0
0.824 * * [simplify]: Extracting #1: cost 3 inf + 0
0.824 * * [simplify]: Extracting #2: cost 7 inf + 0
0.825 * * [simplify]: Extracting #3: cost 5 inf + 94
0.825 * * [simplify]: Extracting #4: cost 4 inf + 438
0.825 * * [simplify]: Extracting #5: cost 0 inf + 812
0.825 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.828 * * [progress]: iteration 1 / 4
0.828 * * * [progress]: picking best candidate
0.836 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.836 * * * [progress]: localizing error
0.896 * * * [progress]: generating rewritten candidates
0.896 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.900 * * * [progress]: generating series expansions
0.900 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.908 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.908 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.909 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.912 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.912 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.912 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.912 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.913 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.916 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.916 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.916 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.916 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.917 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.917 * [taylor]: Taking taylor expansion of 0 in a
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [taylor]: Taking taylor expansion of 0 in a
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [taylor]: Taking taylor expansion of 0 in a
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.918 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.919 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.920 * * * [progress]: simplifying candidates
0.923 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.923 * * [simplify]: iteration 0: 14 enodes
0.927 * * [simplify]: iteration 1: 21 enodes
0.932 * * [simplify]: iteration 2: 26 enodes
0.939 * * [simplify]: iteration 3: 32 enodes
0.947 * * [simplify]: iteration 4: 40 enodes
0.963 * * [simplify]: iteration 5: 74 enodes
0.993 * * [simplify]: iteration 6: 159 enodes
1.055 * * [simplify]: iteration 7: 336 enodes
1.199 * * [simplify]: iteration 8: 1065 enodes
2.436 * * [simplify]: iteration complete: 5000 enodes
2.436 * * [simplify]: Extracting #0: cost 9 inf + 0
2.437 * * [simplify]: Extracting #1: cost 326 inf + 0
2.443 * * [simplify]: Extracting #2: cost 1181 inf + 2
2.451 * * [simplify]: Extracting #3: cost 1249 inf + 705
2.465 * * [simplify]: Extracting #4: cost 984 inf + 100949
2.533 * * [simplify]: Extracting #5: cost 316 inf + 722116
2.662 * * [simplify]: Extracting #6: cost 10 inf + 1029677
2.840 * * [simplify]: Extracting #7: cost 0 inf + 1035884
2.953 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
2.954 * * * [progress]: adding candidates to table
3.027 * * [progress]: iteration 2 / 4
3.027 * * * [progress]: picking best candidate
3.060 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
3.060 * * * [progress]: localizing error
3.086 * * * [progress]: generating rewritten candidates
3.086 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.087 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.091 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.092 * * * [progress]: generating series expansions
3.092 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.093 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.093 * [taylor]: Taking taylor expansion of 0 in a
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [taylor]: Taking taylor expansion of 0 in a
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.094 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.095 * [taylor]: Taking taylor expansion of 0 in a
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [taylor]: Taking taylor expansion of 0 in a
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [taylor]: Taking taylor expansion of 0 in a
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.096 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.096 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
3.096 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.096 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.096 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.096 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.096 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.096 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.096 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.096 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.096 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.096 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.096 * [taylor]: Taking taylor expansion of 0 in a
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [taylor]: Taking taylor expansion of 0 in a
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [taylor]: Taking taylor expansion of 0 in a
3.096 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.097 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.098 * [taylor]: Taking taylor expansion of 0 in a
3.098 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.098 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.098 * [taylor]: Taking taylor expansion of 0 in a
3.098 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify 0 into 0
3.098 * [taylor]: Taking taylor expansion of 0 in a
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [taylor]: Taking taylor expansion of 0 in a
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify 0 into 0
3.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.099 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.099 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.099 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
3.099 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
3.099 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.099 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.099 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.099 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.099 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.099 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.099 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.099 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.099 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.099 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.099 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.100 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
3.100 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.100 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.100 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.100 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
3.101 * [taylor]: Taking taylor expansion of 0 in a
3.101 * [backup-simplify]: Simplify 0 into 0
3.101 * [backup-simplify]: Simplify 0 into 0
3.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
3.102 * [backup-simplify]: Simplify 0 into 0
3.103 * [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
3.103 * [taylor]: Taking taylor expansion of 0 in a
3.103 * [backup-simplify]: Simplify 0 into 0
3.103 * [backup-simplify]: Simplify 0 into 0
3.103 * [backup-simplify]: Simplify 0 into 0
3.105 * [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
3.105 * [backup-simplify]: Simplify 0 into 0
3.107 * [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
3.107 * [taylor]: Taking taylor expansion of 0 in a
3.107 * [backup-simplify]: Simplify 0 into 0
3.107 * [backup-simplify]: Simplify 0 into 0
3.107 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.107 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.107 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
3.107 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.107 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.107 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.107 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.107 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.107 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.107 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.108 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.108 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.108 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.108 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.108 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.108 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.109 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
3.109 * [taylor]: Taking taylor expansion of 0 in a
3.110 * [backup-simplify]: Simplify 0 into 0
3.110 * [backup-simplify]: Simplify 0 into 0
3.110 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
3.110 * [backup-simplify]: Simplify 0 into 0
3.112 * [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
3.112 * [taylor]: Taking taylor expansion of 0 in a
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.115 * [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
3.115 * [backup-simplify]: Simplify 0 into 0
3.118 * [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
3.118 * [taylor]: Taking taylor expansion of 0 in a
3.118 * [backup-simplify]: Simplify 0 into 0
3.118 * [backup-simplify]: Simplify 0 into 0
3.118 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
3.118 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.118 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
3.118 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.118 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.119 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.119 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.119 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.119 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.119 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.119 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.119 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.119 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.119 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.120 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.120 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.120 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.120 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.120 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.120 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.121 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
3.121 * [taylor]: Taking taylor expansion of 0 in a
3.121 * [backup-simplify]: Simplify 0 into 0
3.121 * [backup-simplify]: Simplify 0 into 0
3.122 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
3.122 * [backup-simplify]: Simplify 0 into 0
3.124 * [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
3.125 * [taylor]: Taking taylor expansion of 0 in a
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 0 into 0
3.127 * [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
3.127 * [backup-simplify]: Simplify 0 into 0
3.130 * [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
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
3.130 * * * [progress]: simplifying candidates
3.132 * [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)))
3.133 * * [simplify]: iteration 0: 44 enodes
3.146 * * [simplify]: iteration 1: 69 enodes
3.159 * * [simplify]: iteration 2: 115 enodes
3.183 * * [simplify]: iteration 3: 186 enodes
3.225 * * [simplify]: iteration 4: 315 enodes
3.287 * * [simplify]: iteration 5: 486 enodes
3.420 * * [simplify]: iteration 6: 1051 enodes
4.498 * * [simplify]: iteration 7: 4052 enodes
5.723 * * [simplify]: iteration complete: 5001 enodes
5.723 * * [simplify]: Extracting #0: cost 24 inf + 0
5.724 * * [simplify]: Extracting #1: cost 351 inf + 3
5.729 * * [simplify]: Extracting #2: cost 859 inf + 692
5.737 * * [simplify]: Extracting #3: cost 890 inf + 2830
5.751 * * [simplify]: Extracting #4: cost 741 inf + 66043
5.796 * * [simplify]: Extracting #5: cost 290 inf + 374412
5.892 * * [simplify]: Extracting #6: cost 49 inf + 617041
6.031 * * [simplify]: Extracting #7: cost 0 inf + 674092
6.169 * * [simplify]: Extracting #8: cost 0 inf + 673852
6.331 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (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)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (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))))
  (* (* (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)))
6.334 * * * [progress]: adding candidates to table
6.610 * * [progress]: iteration 3 / 4
6.610 * * * [progress]: picking best candidate
6.719 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
6.719 * * * [progress]: localizing error
6.762 * * * [progress]: generating rewritten candidates
6.762 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
6.762 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
6.762 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
6.763 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
6.772 * * * [progress]: generating series expansions
6.772 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
6.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.772 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.773 * [taylor]: Taking taylor expansion of 0 in a
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [taylor]: Taking taylor expansion of 0 in a
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [taylor]: Taking taylor expansion of 0 in a
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.773 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.774 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.774 * [taylor]: Taking taylor expansion of 0 in a
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [taylor]: Taking taylor expansion of 0 in a
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 0 into 0
6.775 * [taylor]: Taking taylor expansion of 0 in a
6.775 * [backup-simplify]: Simplify 0 into 0
6.775 * [backup-simplify]: Simplify 0 into 0
6.775 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.775 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.775 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.775 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.776 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.776 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.776 * [taylor]: Taking taylor expansion of 0 in a
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [taylor]: Taking taylor expansion of 0 in a
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [taylor]: Taking taylor expansion of 0 in a
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.776 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.777 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.777 * [taylor]: Taking taylor expansion of 0 in a
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [taylor]: Taking taylor expansion of 0 in a
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [taylor]: Taking taylor expansion of 0 in a
6.778 * [backup-simplify]: Simplify 0 into 0
6.778 * [backup-simplify]: Simplify 0 into 0
6.778 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.778 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.779 * [taylor]: Taking taylor expansion of 0 in a
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [taylor]: Taking taylor expansion of 0 in a
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [taylor]: Taking taylor expansion of 0 in a
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.779 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.779 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.779 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.780 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.780 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.780 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.780 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.780 * [taylor]: Taking taylor expansion of 0 in a
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [taylor]: Taking taylor expansion of 0 in a
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 0 into 0
6.781 * [taylor]: Taking taylor expansion of 0 in a
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.781 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
6.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.781 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.781 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.781 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.781 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.781 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.782 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.782 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.782 * [taylor]: Taking taylor expansion of 0 in a
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [taylor]: Taking taylor expansion of 0 in a
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [taylor]: Taking taylor expansion of 0 in a
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.782 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.782 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.783 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.783 * [taylor]: Taking taylor expansion of 0 in a
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [taylor]: Taking taylor expansion of 0 in a
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [taylor]: Taking taylor expansion of 0 in a
6.783 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.784 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.784 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.785 * [taylor]: Taking taylor expansion of 0 in a
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [taylor]: Taking taylor expansion of 0 in a
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [taylor]: Taking taylor expansion of 0 in a
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.785 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.786 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) into (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3))
6.786 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in (c a) around 0
6.786 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in a
6.786 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in a
6.786 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in a
6.786 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in a
6.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in a
6.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in a
6.786 * [taylor]: Taking taylor expansion of 1/3 in a
6.786 * [backup-simplify]: Simplify 1/3 into 1/3
6.786 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in a
6.786 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.786 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.786 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.786 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.787 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
6.787 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
6.787 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
6.787 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in a
6.787 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in a
6.787 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in a
6.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in a
6.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in a
6.787 * [taylor]: Taking taylor expansion of 1/3 in a
6.787 * [backup-simplify]: Simplify 1/3 into 1/3
6.788 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in a
6.788 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in a
6.788 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.788 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.788 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.788 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.788 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
6.789 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
6.789 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))
6.789 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.789 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))
6.790 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.790 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a)))
6.790 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.790 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in c
6.790 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in c
6.790 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in c
6.790 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c
6.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c
6.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c
6.791 * [taylor]: Taking taylor expansion of 1/3 in c
6.791 * [backup-simplify]: Simplify 1/3 into 1/3
6.791 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c
6.791 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.791 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.791 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.791 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.791 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
6.791 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
6.791 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
6.791 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c
6.791 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c
6.791 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c
6.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c
6.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c
6.792 * [taylor]: Taking taylor expansion of 1/3 in c
6.792 * [backup-simplify]: Simplify 1/3 into 1/3
6.792 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c
6.792 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c
6.792 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.792 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.792 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
6.792 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
6.792 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))
6.793 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.793 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))
6.793 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.793 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a)))
6.793 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.793 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (pow (log (fmod (cosh c) (log1p a))) 1/3)) in c
6.793 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) in c
6.793 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) in c
6.793 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c
6.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c
6.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c
6.793 * [taylor]: Taking taylor expansion of 1/3 in c
6.793 * [backup-simplify]: Simplify 1/3 into 1/3
6.793 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c
6.794 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.794 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.794 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.794 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.794 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
6.794 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
6.794 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
6.794 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c
6.794 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c
6.794 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c
6.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c
6.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c
6.794 * [taylor]: Taking taylor expansion of 1/3 in c
6.794 * [backup-simplify]: Simplify 1/3 into 1/3
6.794 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c
6.794 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c
6.794 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.794 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.794 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.794 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.794 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
6.795 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
6.795 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) into (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))
6.795 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.795 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))
6.795 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)
6.796 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh c) (log1p a))) 1/3) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) into (log (fmod (cosh c) (log1p a)))
6.796 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
6.796 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.796 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.796 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.797 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.797 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
6.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 1) into 0
6.798 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
6.799 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.800 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
6.801 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 1) into 0
6.801 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.802 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 1) into 0
6.802 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))) into 0
6.803 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.803 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) into 0
6.804 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.804 * [taylor]: Taking taylor expansion of 0 in a
6.804 * [backup-simplify]: Simplify 0 into 0
6.804 * [backup-simplify]: Simplify 0 into 0
6.804 * [backup-simplify]: Simplify 0 into 0
6.805 * [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.806 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
6.807 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 2) into 0
6.807 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0
6.808 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.809 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.811 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 2) into 0
6.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
6.813 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 2) into 0
6.814 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a))))))) into 0
6.815 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.815 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)))) into 0
6.816 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.816 * [taylor]: Taking taylor expansion of 0 in a
6.816 * [backup-simplify]: Simplify 0 into 0
6.816 * [backup-simplify]: Simplify 0 into 0
6.816 * [backup-simplify]: Simplify 0 into 0
6.816 * [backup-simplify]: Simplify 0 into 0
6.818 * [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.819 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
6.821 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 6) into 0
6.822 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))))) into 0
6.828 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.831 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.835 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) 1)))) 6) into 0
6.838 * [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.841 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 6) into 0
6.843 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))))) into 0
6.845 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.846 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh c) (log1p a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))))) into 0
6.848 * [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.848 * [taylor]: Taking taylor expansion of 0 in a
6.848 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.849 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3))
6.849 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in (c a) around 0
6.849 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in a
6.849 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in a
6.849 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in a
6.850 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in a
6.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in a
6.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
6.850 * [taylor]: Taking taylor expansion of 1/3 in a
6.850 * [backup-simplify]: Simplify 1/3 into 1/3
6.850 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
6.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.850 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.851 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.851 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.851 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)
6.851 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in a
6.851 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in a
6.851 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in a
6.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in a
6.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in a
6.851 * [taylor]: Taking taylor expansion of 1/3 in a
6.851 * [backup-simplify]: Simplify 1/3 into 1/3
6.851 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in a
6.851 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in a
6.851 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.852 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.852 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.852 * [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)
6.853 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))
6.853 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))
6.853 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.854 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))
6.854 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.855 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.855 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.855 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in c
6.855 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in c
6.855 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in c
6.855 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c
6.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
6.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
6.856 * [taylor]: Taking taylor expansion of 1/3 in c
6.856 * [backup-simplify]: Simplify 1/3 into 1/3
6.856 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.856 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.856 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.856 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.857 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.857 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)
6.857 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c
6.857 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c
6.857 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c
6.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c
6.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c
6.857 * [taylor]: Taking taylor expansion of 1/3 in c
6.857 * [backup-simplify]: Simplify 1/3 into 1/3
6.857 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c
6.857 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c
6.857 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.857 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.857 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.858 * [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)
6.858 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))
6.859 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))
6.859 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.859 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))
6.860 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.861 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.861 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.861 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)) in c
6.861 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) in c
6.861 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) in c
6.861 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c
6.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
6.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
6.861 * [taylor]: Taking taylor expansion of 1/3 in c
6.861 * [backup-simplify]: Simplify 1/3 into 1/3
6.861 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.861 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.862 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.862 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.862 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.862 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3)
6.862 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c
6.863 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c
6.863 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c
6.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c
6.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c
6.863 * [taylor]: Taking taylor expansion of 1/3 in c
6.863 * [backup-simplify]: Simplify 1/3 into 1/3
6.863 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c
6.863 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c
6.863 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.863 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.864 * [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)
6.864 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))
6.865 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))
6.865 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.865 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))
6.866 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)
6.866 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.867 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.867 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.868 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.869 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.870 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 1) into 0
6.871 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
6.872 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.873 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
6.875 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 1) into 0
6.876 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.877 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
6.878 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
6.879 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.879 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) into 0
6.880 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.881 * [taylor]: Taking taylor expansion of 0 in a
6.881 * [backup-simplify]: Simplify 0 into 0
6.881 * [backup-simplify]: Simplify 0 into 0
6.881 * [backup-simplify]: Simplify 0 into 0
6.883 * [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.884 * [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
6.886 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 2) into 0
6.887 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0
6.890 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.892 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.895 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 2) into 0
6.898 * [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.901 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
6.903 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
6.905 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.906 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)))) into 0
6.908 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) 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.913 * [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.914 * [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
6.918 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 6) into 0
6.919 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))))) into 0
6.921 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.923 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.927 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) 1)))) 6) into 0
6.931 * [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.934 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 6) into 0
6.936 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))))) into 0
6.937 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))))) into 0
6.939 * [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.939 * [taylor]: Taking taylor expansion of 0 in a
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.939 * [backup-simplify]: Simplify (pow (exp (* (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3))
6.940 * [approximate]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in (c a) around 0
6.940 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in a
6.940 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in a
6.940 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in a
6.940 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in a
6.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in a
6.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
6.940 * [taylor]: Taking taylor expansion of 1/3 in a
6.940 * [backup-simplify]: Simplify 1/3 into 1/3
6.940 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
6.940 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
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 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.940 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.940 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)
6.940 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in a
6.940 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in a
6.940 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in a
6.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in a
6.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in a
6.940 * [taylor]: Taking taylor expansion of 1/3 in a
6.940 * [backup-simplify]: Simplify 1/3 into 1/3
6.940 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in a
6.940 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in a
6.940 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.940 * [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 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.941 * [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)
6.941 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))
6.941 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))
6.941 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.942 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))
6.942 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.942 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.942 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.942 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in c
6.942 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in c
6.942 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in c
6.942 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c
6.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
6.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
6.942 * [taylor]: Taking taylor expansion of 1/3 in c
6.943 * [backup-simplify]: Simplify 1/3 into 1/3
6.943 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.943 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.943 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.943 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.943 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.943 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.943 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.943 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)
6.943 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c
6.943 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c
6.943 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c
6.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c
6.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c
6.943 * [taylor]: Taking taylor expansion of 1/3 in c
6.943 * [backup-simplify]: Simplify 1/3 into 1/3
6.943 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c
6.943 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c
6.943 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.943 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.943 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.943 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.944 * [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)
6.944 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))
6.944 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))
6.944 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.944 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))
6.945 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.945 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.945 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.945 * [taylor]: Taking taylor expansion of (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)) in c
6.945 * [taylor]: Taking taylor expansion of (exp (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) in c
6.945 * [taylor]: Taking taylor expansion of (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) in c
6.945 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c
6.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
6.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
6.945 * [taylor]: Taking taylor expansion of 1/3 in c
6.945 * [backup-simplify]: Simplify 1/3 into 1/3
6.945 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.945 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.945 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.946 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.946 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.946 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.946 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.946 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3)
6.946 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c
6.946 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c
6.946 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c
6.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c
6.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c
6.946 * [taylor]: Taking taylor expansion of 1/3 in c
6.946 * [backup-simplify]: Simplify 1/3 into 1/3
6.946 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c
6.946 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c
6.946 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.946 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.946 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.946 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.947 * [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)
6.947 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))
6.947 * [backup-simplify]: Simplify (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))
6.947 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.947 * [backup-simplify]: Simplify (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))
6.948 * [backup-simplify]: Simplify (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)
6.948 * [backup-simplify]: Simplify (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.948 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.948 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.948 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.948 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.949 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.949 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.950 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 1) into 0
6.951 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
6.951 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.952 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
6.953 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 1) into 0
6.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
6.955 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
6.955 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.956 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) into 0
6.956 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.956 * [taylor]: Taking taylor expansion of 0 in a
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 0 into 0
6.958 * [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.958 * [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
6.960 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 2) into 0
6.960 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0
6.961 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.962 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.964 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 2) into 0
6.965 * [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.966 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
6.967 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
6.968 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.968 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)))) into 0
6.969 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.969 * [taylor]: Taking taylor expansion of 0 in a
6.969 * [backup-simplify]: Simplify 0 into 0
6.969 * [backup-simplify]: Simplify 0 into 0
6.969 * [backup-simplify]: Simplify 0 into 0
6.969 * [backup-simplify]: Simplify 0 into 0
6.971 * [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.972 * [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
6.974 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 6) into 0
6.975 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))))) into 0
6.976 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.978 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.980 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) 1)))) 6) into 0
6.986 * [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 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 6) into 0
6.992 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))))) into 0
6.993 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.995 * [backup-simplify]: Simplify (+ (* (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))))) into 0
6.997 * [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.997 * [taylor]: Taking taylor expansion of 0 in a
6.997 * [backup-simplify]: Simplify 0 into 0
6.997 * [backup-simplify]: Simplify 0 into 0
6.997 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.997 * * * [progress]: simplifying candidates
6.999 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (log1p (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (* (log (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (* 1 (cbrt (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt 1))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt 1))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1)
  (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow 1 (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (log (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (* (* (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.000 * * [simplify]: iteration 0: 55 enodes
7.019 * * [simplify]: iteration 1: 130 enodes
7.095 * * [simplify]: iteration 2: 462 enodes
8.166 * * [simplify]: iteration 3: 3309 enodes
11.517 * * [simplify]: iteration complete: 5001 enodes
11.517 * * [simplify]: Extracting #0: cost 29 inf + 0
11.518 * * [simplify]: Extracting #1: cost 789 inf + 1
11.523 * * [simplify]: Extracting #2: cost 702 inf + 30710
11.528 * * [simplify]: Extracting #3: cost 646 inf + 39197
11.533 * * [simplify]: Extracting #4: cost 633 inf + 42649
11.546 * * [simplify]: Extracting #5: cost 402 inf + 138177
11.587 * * [simplify]: Extracting #6: cost 202 inf + 273871
11.643 * * [simplify]: Extracting #7: cost 22 inf + 428510
11.720 * * [simplify]: Extracting #8: cost 0 inf + 435579
11.773 * * [simplify]: Extracting #9: cost 0 inf + 432336
11.838 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (log1p (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (log (fmod (cosh c) (log1p a))))))
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  1
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (log (fmod (cosh c) (log1p a)))
  (exp (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (* (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (* (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2))
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (/ (cbrt (log (fmod (cosh c) (log1p a)))) 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
11.842 * * * [progress]: adding candidates to table
12.191 * * [progress]: iteration 4 / 4
12.191 * * * [progress]: picking best candidate
12.362 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
12.363 * * * [progress]: localizing error
12.533 * * * [progress]: generating rewritten candidates
12.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
12.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1 1)
12.534 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 1)
12.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
12.535 * * * [progress]: generating series expansions
12.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
12.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.536 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.537 * [taylor]: Taking taylor expansion of 0 in a
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [taylor]: Taking taylor expansion of 0 in a
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [taylor]: Taking taylor expansion of 0 in a
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify 0 into 0
12.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.537 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [taylor]: Taking taylor expansion of 0 in a
12.538 * [backup-simplify]: Simplify 0 into 0
12.538 * [backup-simplify]: Simplify 0 into 0
12.538 * [backup-simplify]: Simplify 0 into 0
12.539 * [taylor]: Taking taylor expansion of 0 in a
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [taylor]: Taking taylor expansion of 0 in a
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [backup-simplify]: Simplify 0 into 0
12.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.539 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.540 * [taylor]: Taking taylor expansion of 0 in a
12.540 * [backup-simplify]: Simplify 0 into 0
12.540 * [backup-simplify]: Simplify 0 into 0
12.540 * [backup-simplify]: Simplify 0 into 0
12.540 * [taylor]: Taking taylor expansion of 0 in a
12.540 * [backup-simplify]: Simplify 0 into 0
12.540 * [backup-simplify]: Simplify 0 into 0
12.540 * [backup-simplify]: Simplify 0 into 0
12.541 * [backup-simplify]: Simplify 0 into 0
12.541 * [taylor]: Taking taylor expansion of 0 in a
12.541 * [backup-simplify]: Simplify 0 into 0
12.541 * [backup-simplify]: Simplify 0 into 0
12.541 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.541 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2 1 1)
12.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.541 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.541 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.542 * [taylor]: Taking taylor expansion of 0 in a
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [taylor]: Taking taylor expansion of 0 in a
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [taylor]: Taking taylor expansion of 0 in a
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify 0 into 0
12.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.543 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.544 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.544 * [taylor]: Taking taylor expansion of 0 in a
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [taylor]: Taking taylor expansion of 0 in a
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [taylor]: Taking taylor expansion of 0 in a
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify 0 into 0
12.544 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.544 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.544 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.544 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.545 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.545 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.545 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.545 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.545 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.545 * [taylor]: Taking taylor expansion of 0 in a
12.545 * [backup-simplify]: Simplify 0 into 0
12.545 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [taylor]: Taking taylor expansion of 0 in a
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [taylor]: Taking taylor expansion of 0 in a
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify 0 into 0
12.546 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.546 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 1)
12.546 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.546 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.546 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.546 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.546 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.547 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.547 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.547 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.547 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.547 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.547 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.547 * [taylor]: Taking taylor expansion of 0 in a
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [taylor]: Taking taylor expansion of 0 in a
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [taylor]: Taking taylor expansion of 0 in a
12.547 * [backup-simplify]: Simplify 0 into 0
12.547 * [backup-simplify]: Simplify 0 into 0
12.548 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.548 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.548 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.548 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.548 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.548 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.549 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.549 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.549 * [taylor]: Taking taylor expansion of 0 in a
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [taylor]: Taking taylor expansion of 0 in a
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [taylor]: Taking taylor expansion of 0 in a
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify 0 into 0
12.549 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.550 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.551 * [taylor]: Taking taylor expansion of 0 in a
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [taylor]: Taking taylor expansion of 0 in a
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [taylor]: Taking taylor expansion of 0 in a
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify 0 into 0
12.551 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
12.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.551 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.552 * [taylor]: Taking taylor expansion of 0 in a
12.552 * [backup-simplify]: Simplify 0 into 0
12.552 * [backup-simplify]: Simplify 0 into 0
12.552 * [backup-simplify]: Simplify 0 into 0
12.552 * [taylor]: Taking taylor expansion of 0 in a
12.552 * [backup-simplify]: Simplify 0 into 0
12.552 * [backup-simplify]: Simplify 0 into 0
12.552 * [backup-simplify]: Simplify 0 into 0
12.553 * [backup-simplify]: Simplify 0 into 0
12.553 * [taylor]: Taking taylor expansion of 0 in a
12.553 * [backup-simplify]: Simplify 0 into 0
12.553 * [backup-simplify]: Simplify 0 into 0
12.553 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.553 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.554 * [taylor]: Taking taylor expansion of 0 in a
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [taylor]: Taking taylor expansion of 0 in a
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [taylor]: Taking taylor expansion of 0 in a
12.554 * [backup-simplify]: Simplify 0 into 0
12.554 * [backup-simplify]: Simplify 0 into 0
12.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.555 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.556 * [taylor]: Taking taylor expansion of 0 in a
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [taylor]: Taking taylor expansion of 0 in a
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [taylor]: Taking taylor expansion of 0 in a
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify 0 into 0
12.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.557 * * * [progress]: simplifying candidates
12.559 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.560 * * [simplify]: iteration 0: 14 enodes
12.563 * * [simplify]: iteration 1: 21 enodes
12.568 * * [simplify]: iteration 2: 26 enodes
12.576 * * [simplify]: iteration 3: 32 enodes
12.584 * * [simplify]: iteration 4: 40 enodes
12.600 * * [simplify]: iteration 5: 74 enodes
12.629 * * [simplify]: iteration 6: 159 enodes
12.672 * * [simplify]: iteration 7: 336 enodes
12.806 * * [simplify]: iteration 8: 1065 enodes
14.292 * * [simplify]: iteration complete: 5000 enodes
14.292 * * [simplify]: Extracting #0: cost 9 inf + 0
14.293 * * [simplify]: Extracting #1: cost 326 inf + 0
14.296 * * [simplify]: Extracting #2: cost 1181 inf + 2
14.304 * * [simplify]: Extracting #3: cost 1249 inf + 705
14.321 * * [simplify]: Extracting #4: cost 984 inf + 100949
14.401 * * [simplify]: Extracting #5: cost 316 inf + 722116
14.555 * * [simplify]: Extracting #6: cost 10 inf + 1029677
14.743 * * [simplify]: Extracting #7: cost 0 inf + 1035884
14.893 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
14.899 * * * [progress]: adding candidates to table
15.363 * [progress]: [Phase 3 of 3] Extracting.
15.364 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
15.369 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
15.370 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
15.590 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
15.797 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
15.993 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
16.175 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (sqrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (sqrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (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) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
16.340 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
16.341 * [simplify]: Simplifying:
  (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))
16.341 * * [simplify]: iteration 0: 14 enodes
16.344 * * [simplify]: iteration 1: 15 enodes
16.345 * * [simplify]: iteration complete: 15 enodes
16.345 * * [simplify]: Extracting #0: cost 1 inf + 0
16.345 * * [simplify]: Extracting #1: cost 3 inf + 0
16.345 * * [simplify]: Extracting #2: cost 6 inf + 0
16.345 * * [simplify]: Extracting #3: cost 8 inf + 0
16.345 * * [simplify]: Extracting #4: cost 10 inf + 0
16.345 * * [simplify]: Extracting #5: cost 12 inf + 0
16.346 * * [simplify]: Extracting #6: cost 14 inf + 0
16.346 * * [simplify]: Extracting #7: cost 11 inf + 93
16.346 * * [simplify]: Extracting #8: cost 10 inf + 149
16.346 * * [simplify]: Extracting #9: cost 8 inf + 653
16.346 * * [simplify]: Extracting #10: cost 6 inf + 1427
16.346 * * [simplify]: Extracting #11: cost 4 inf + 2461
16.347 * * [simplify]: Extracting #12: cost 0 inf + 5689
16.348 * [simplify]: Simplified to:
  (* (pow (* (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))) (pow (cbrt (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))
39.451 * [regime-testing]: Baseline error score: 33.91147996722196
39.467 * [regime-testing]: Oracle error score: 33.867918007517936
39.485 * [regime-testing]: End program error score: 33.91147996722196