0.052 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.494 * * * [progress]: [2/2] Setting up program.
0.500 * [progress]: [Phase 2 of 3] Improving.
0.503 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
11.747 * * [progress]: iteration 1 / 4
11.747 * * * [progress]: picking best candidate
11.751 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.751 * * * [progress]: localizing error
11.760 * * * [progress]: generating rewritten candidates
11.761 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.763 * * * [progress]: generating series expansions
11.763 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.800 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.800 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.801 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.808 * [taylor]: Taking taylor expansion of 0 in a
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [taylor]: Taking taylor expansion of 0 in a
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [taylor]: Taking taylor expansion of 0 in a
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.811 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.812 * [taylor]: Taking taylor expansion of 0 in a
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [taylor]: Taking taylor expansion of 0 in a
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [taylor]: Taking taylor expansion of 0 in a
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.813 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.813 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.814 * [taylor]: Taking taylor expansion of 0 in a
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [taylor]: Taking taylor expansion of 0 in a
11.814 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [taylor]: Taking taylor expansion of 0 in a
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.815 * * * [progress]: simplifying candidates
11.816 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
14.152 * * * [progress]: adding candidates to table
14.182 * * [progress]: iteration 2 / 4
14.182 * * * [progress]: picking best candidate
14.205 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
14.205 * * * [progress]: localizing error
14.226 * * * [progress]: generating rewritten candidates
14.226 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
14.227 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
14.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
14.240 * * * [progress]: generating series expansions
14.240 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
14.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.240 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
14.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.241 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.241 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.241 * [taylor]: Taking taylor expansion of 0 in a
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [taylor]: Taking taylor expansion of 0 in a
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [backup-simplify]: Simplify 0 into 0
14.241 * [taylor]: Taking taylor expansion of 0 in a
14.241 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify 0 into 0
14.242 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.242 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
14.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.242 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.243 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.243 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.243 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.243 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.243 * [taylor]: Taking taylor expansion of 0 in a
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [taylor]: Taking taylor expansion of 0 in a
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [taylor]: Taking taylor expansion of 0 in a
14.243 * [backup-simplify]: Simplify 0 into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.244 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
14.244 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.244 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
14.244 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.244 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.244 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.244 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.244 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.245 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.245 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.245 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.245 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.245 * [taylor]: Taking taylor expansion of 0 in a
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [taylor]: Taking taylor expansion of 0 in a
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [backup-simplify]: Simplify 0 into 0
14.245 * [taylor]: Taking taylor expansion of 0 in a
14.245 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify 0 into 0
14.246 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
14.246 * * * * [progress]: [ 2 / 3 ] generating series at (2)
14.246 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
14.246 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
14.246 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.246 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.246 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.247 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.247 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.247 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.247 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.247 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.247 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.247 * [taylor]: Taking taylor expansion of 0 in a
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [taylor]: Taking taylor expansion of 0 in a
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [taylor]: Taking taylor expansion of 0 in a
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify 0 into 0
14.247 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.248 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.248 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
14.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.249 * [taylor]: Taking taylor expansion of 0 in a
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [taylor]: Taking taylor expansion of 0 in a
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [taylor]: Taking taylor expansion of 0 in a
14.249 * [backup-simplify]: Simplify 0 into 0
14.249 * [backup-simplify]: Simplify 0 into 0
14.250 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
14.250 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.250 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
14.250 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.250 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.250 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.251 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.251 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.251 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.251 * [taylor]: Taking taylor expansion of 0 in a
14.251 * [backup-simplify]: Simplify 0 into 0
14.251 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [taylor]: Taking taylor expansion of 0 in a
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [taylor]: Taking taylor expansion of 0 in a
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify 0 into 0
14.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
14.252 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
14.252 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.252 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
14.252 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
14.252 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.253 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.253 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.253 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
14.253 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.253 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.253 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.253 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
14.253 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.253 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.253 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.254 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
14.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.254 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.254 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.254 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.270 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
14.270 * [taylor]: Taking taylor expansion of 0 in a
14.270 * [backup-simplify]: Simplify 0 into 0
14.270 * [backup-simplify]: Simplify 0 into 0
14.272 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
14.272 * [backup-simplify]: Simplify 0 into 0
14.275 * [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
14.275 * [taylor]: Taking taylor expansion of 0 in a
14.275 * [backup-simplify]: Simplify 0 into 0
14.275 * [backup-simplify]: Simplify 0 into 0
14.275 * [backup-simplify]: Simplify 0 into 0
14.277 * [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
14.277 * [backup-simplify]: Simplify 0 into 0
14.281 * [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
14.281 * [taylor]: Taking taylor expansion of 0 in a
14.281 * [backup-simplify]: Simplify 0 into 0
14.281 * [backup-simplify]: Simplify 0 into 0
14.281 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
14.281 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.281 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
14.281 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.282 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.282 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.282 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.283 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.283 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.283 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.283 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.283 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.285 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
14.285 * [taylor]: Taking taylor expansion of 0 in a
14.285 * [backup-simplify]: Simplify 0 into 0
14.285 * [backup-simplify]: Simplify 0 into 0
14.286 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
14.286 * [backup-simplify]: Simplify 0 into 0
14.288 * [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
14.288 * [taylor]: Taking taylor expansion of 0 in a
14.288 * [backup-simplify]: Simplify 0 into 0
14.288 * [backup-simplify]: Simplify 0 into 0
14.288 * [backup-simplify]: Simplify 0 into 0
14.290 * [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
14.290 * [backup-simplify]: Simplify 0 into 0
14.293 * [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
14.294 * [taylor]: Taking taylor expansion of 0 in a
14.294 * [backup-simplify]: Simplify 0 into 0
14.294 * [backup-simplify]: Simplify 0 into 0
14.294 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
14.294 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.294 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
14.294 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.295 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.295 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.295 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.296 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.296 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.296 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.296 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
14.297 * [taylor]: Taking taylor expansion of 0 in a
14.298 * [backup-simplify]: Simplify 0 into 0
14.298 * [backup-simplify]: Simplify 0 into 0
14.299 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
14.299 * [backup-simplify]: Simplify 0 into 0
14.301 * [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
14.301 * [taylor]: Taking taylor expansion of 0 in a
14.301 * [backup-simplify]: Simplify 0 into 0
14.301 * [backup-simplify]: Simplify 0 into 0
14.301 * [backup-simplify]: Simplify 0 into 0
14.303 * [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
14.303 * [backup-simplify]: Simplify 0 into 0
14.307 * [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
14.307 * [taylor]: Taking taylor expansion of 0 in a
14.307 * [backup-simplify]: Simplify 0 into 0
14.307 * [backup-simplify]: Simplify 0 into 0
14.307 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
14.307 * * * [progress]: simplifying candidates
14.308 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))))
  (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)))
15.183 * * * [progress]: adding candidates to table
15.284 * * [progress]: iteration 3 / 4
15.284 * * * [progress]: picking best candidate
15.333 * * * * [pick]: Picked  #<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)))))))>
15.333 * * * [progress]: localizing error
15.361 * * * [progress]: generating rewritten candidates
15.361 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
15.362 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
15.362 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
15.363 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
15.386 * * * [progress]: generating series expansions
15.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
15.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.386 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.386 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.386 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.387 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.387 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.387 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.387 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.387 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.387 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.387 * [taylor]: Taking taylor expansion of 0 in a
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [taylor]: Taking taylor expansion of 0 in a
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [taylor]: Taking taylor expansion of 0 in a
15.387 * [backup-simplify]: Simplify 0 into 0
15.387 * [backup-simplify]: Simplify 0 into 0
15.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.388 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.389 * [taylor]: Taking taylor expansion of 0 in a
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [taylor]: Taking taylor expansion of 0 in a
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [taylor]: Taking taylor expansion of 0 in a
15.389 * [backup-simplify]: Simplify 0 into 0
15.389 * [backup-simplify]: Simplify 0 into 0
15.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.390 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.391 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.391 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.391 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.391 * [taylor]: Taking taylor expansion of 0 in a
15.391 * [backup-simplify]: Simplify 0 into 0
15.391 * [backup-simplify]: Simplify 0 into 0
15.391 * [backup-simplify]: Simplify 0 into 0
15.391 * [taylor]: Taking taylor expansion of 0 in a
15.391 * [backup-simplify]: Simplify 0 into 0
15.391 * [backup-simplify]: Simplify 0 into 0
15.392 * [backup-simplify]: Simplify 0 into 0
15.392 * [backup-simplify]: Simplify 0 into 0
15.392 * [taylor]: Taking taylor expansion of 0 in a
15.392 * [backup-simplify]: Simplify 0 into 0
15.392 * [backup-simplify]: Simplify 0 into 0
15.392 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
15.392 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.392 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.392 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.392 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.392 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.392 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.392 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.393 * [taylor]: Taking taylor expansion of 0 in a
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [taylor]: Taking taylor expansion of 0 in a
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [taylor]: Taking taylor expansion of 0 in a
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.394 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.395 * [taylor]: Taking taylor expansion of 0 in a
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [taylor]: Taking taylor expansion of 0 in a
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [taylor]: Taking taylor expansion of 0 in a
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.396 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.397 * [taylor]: Taking taylor expansion of 0 in a
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [taylor]: Taking taylor expansion of 0 in a
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [taylor]: Taking taylor expansion of 0 in a
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.397 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.398 * [taylor]: Taking taylor expansion of 0 in a
15.398 * [backup-simplify]: Simplify 0 into 0
15.398 * [backup-simplify]: Simplify 0 into 0
15.398 * [backup-simplify]: Simplify 0 into 0
15.398 * [taylor]: Taking taylor expansion of 0 in a
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [taylor]: Taking taylor expansion of 0 in a
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.399 * [taylor]: Taking taylor expansion of 0 in a
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify 0 into 0
15.399 * [taylor]: Taking taylor expansion of 0 in a
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [taylor]: Taking taylor expansion of 0 in a
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify 0 into 0
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.400 * [taylor]: Taking taylor expansion of 0 in a
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [taylor]: Taking taylor expansion of 0 in a
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [taylor]: Taking taylor expansion of 0 in a
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.401 * * * * [progress]: [ 4 / 4 ] generating series at (2)
15.401 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a))
15.401 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.401 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.401 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.402 * [taylor]: Taking taylor expansion of 0 in a
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [taylor]: Taking taylor expansion of 0 in a
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [taylor]: Taking taylor expansion of 0 in a
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.403 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (cbrt (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.403 * [taylor]: Taking taylor expansion of 0 in a
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [taylor]: Taking taylor expansion of 0 in a
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [taylor]: Taking taylor expansion of 0 in a
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.404 * [backup-simplify]: Simplify (exp (* (* (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) (cbrt (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.404 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.404 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.404 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.404 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.405 * [taylor]: Taking taylor expansion of 0 in a
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [taylor]: Taking taylor expansion of 0 in a
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [taylor]: Taking taylor expansion of 0 in a
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.405 * * * [progress]: simplifying candidates
15.406 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (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)))
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (log (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (exp (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (* (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
  (cbrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (* (* (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (sqrt (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
16.232 * * * [progress]: adding candidates to table
16.424 * * [progress]: iteration 4 / 4
16.424 * * * [progress]: picking best candidate
16.466 * * * * [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))))))>
16.466 * * * [progress]: localizing error
16.507 * * * [progress]: generating rewritten candidates
16.507 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
16.508 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
16.508 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
16.509 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
16.526 * * * [progress]: generating series expansions
16.527 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
16.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.527 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.527 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.527 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.527 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.527 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.527 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.528 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.528 * [taylor]: Taking taylor expansion of 0 in a
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [taylor]: Taking taylor expansion of 0 in a
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [taylor]: Taking taylor expansion of 0 in a
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.528 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.529 * [taylor]: Taking taylor expansion of 0 in a
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [taylor]: Taking taylor expansion of 0 in a
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 0 into 0
16.530 * [backup-simplify]: Simplify 0 into 0
16.530 * [taylor]: Taking taylor expansion of 0 in a
16.530 * [backup-simplify]: Simplify 0 into 0
16.530 * [backup-simplify]: Simplify 0 into 0
16.530 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.530 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.530 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.530 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.530 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.530 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.531 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.531 * [taylor]: Taking taylor expansion of 0 in a
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [taylor]: Taking taylor expansion of 0 in a
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [taylor]: Taking taylor expansion of 0 in a
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.532 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.532 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.532 * [taylor]: Taking taylor expansion of 0 in a
16.532 * [backup-simplify]: Simplify 0 into 0
16.532 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [taylor]: Taking taylor expansion of 0 in a
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [taylor]: Taking taylor expansion of 0 in a
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.533 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.534 * [taylor]: Taking taylor expansion of 0 in a
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [taylor]: Taking taylor expansion of 0 in a
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [taylor]: Taking taylor expansion of 0 in a
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.535 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.535 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.536 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.536 * [taylor]: Taking taylor expansion of 0 in a
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [taylor]: Taking taylor expansion of 0 in a
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [taylor]: Taking taylor expansion of 0 in a
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.536 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.536 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
16.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.536 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.536 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.536 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.537 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.537 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.537 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.537 * [taylor]: Taking taylor expansion of 0 in a
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [taylor]: Taking taylor expansion of 0 in a
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [taylor]: Taking taylor expansion of 0 in a
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.538 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.539 * [taylor]: Taking taylor expansion of 0 in a
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [taylor]: Taking taylor expansion of 0 in a
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [taylor]: Taking taylor expansion of 0 in a
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.539 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.539 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.540 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.540 * [taylor]: Taking taylor expansion of 0 in a
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [taylor]: Taking taylor expansion of 0 in a
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.541 * [taylor]: Taking taylor expansion of 0 in a
16.541 * [backup-simplify]: Simplify 0 into 0
16.541 * [backup-simplify]: Simplify 0 into 0
16.541 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.541 * * * * [progress]: [ 4 / 4 ] generating series at (2)
16.541 * [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))
16.542 * [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
16.542 * [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
16.542 * [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
16.542 * [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
16.542 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in a
16.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in a
16.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in a
16.542 * [taylor]: Taking taylor expansion of 1/3 in a
16.542 * [backup-simplify]: Simplify 1/3 into 1/3
16.542 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in a
16.542 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
16.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.542 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.542 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
16.543 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
16.543 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
16.543 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in a
16.543 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in a
16.543 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in a
16.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in a
16.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in a
16.543 * [taylor]: Taking taylor expansion of 1/3 in a
16.543 * [backup-simplify]: Simplify 1/3 into 1/3
16.543 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in a
16.543 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in a
16.543 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
16.543 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.543 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.543 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.544 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
16.544 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
16.545 * [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)))
16.545 * [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)
16.545 * [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))
16.545 * [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)
16.546 * [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)))
16.546 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.546 * [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
16.546 * [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
16.546 * [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
16.546 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c
16.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c
16.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c
16.546 * [taylor]: Taking taylor expansion of 1/3 in c
16.546 * [backup-simplify]: Simplify 1/3 into 1/3
16.546 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c
16.546 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.546 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.547 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.547 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.547 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
16.547 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
16.547 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
16.547 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c
16.547 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c
16.547 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c
16.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c
16.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c
16.547 * [taylor]: Taking taylor expansion of 1/3 in c
16.547 * [backup-simplify]: Simplify 1/3 into 1/3
16.547 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c
16.547 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c
16.547 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.547 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.548 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.548 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.548 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
16.548 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
16.548 * [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)))
16.549 * [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)
16.549 * [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))
16.549 * [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)
16.550 * [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)))
16.550 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.550 * [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
16.550 * [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
16.550 * [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
16.550 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 1/3) in c
16.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) in c
16.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh c) (log1p a))))) in c
16.550 * [taylor]: Taking taylor expansion of 1/3 in c
16.550 * [backup-simplify]: Simplify 1/3 into 1/3
16.550 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh c) (log1p a)))) in c
16.550 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.550 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.550 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.551 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.551 * [backup-simplify]: Simplify (log (log (fmod (cosh c) (log1p a)))) into (log (log (fmod (cosh c) (log1p a))))
16.551 * [backup-simplify]: Simplify (* 1/3 (log (log (fmod (cosh c) (log1p a))))) into (* 1/3 (log (log (fmod (cosh c) (log1p a)))))
16.551 * [backup-simplify]: Simplify (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) into (pow (log (fmod (cosh c) (log1p a))) 1/3)
16.551 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3))) in c
16.551 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) in c
16.551 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3) in c
16.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) in c
16.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2))) in c
16.552 * [taylor]: Taking taylor expansion of 1/3 in c
16.552 * [backup-simplify]: Simplify 1/3 into 1/3
16.552 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh c) (log1p a))) 2)) in c
16.552 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 2) in c
16.552 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.552 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.552 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.552 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
16.552 * [backup-simplify]: Simplify (log (pow (log (fmod (cosh c) (log1p a))) 2)) into (log (pow (log (fmod (cosh c) (log1p a))) 2))
16.553 * [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)))
16.553 * [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)
16.553 * [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))
16.554 * [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)
16.554 * [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)))
16.554 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.554 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.555 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.556 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
16.557 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
16.558 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1)))) 1) into 0
16.558 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
16.560 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh c) (log1p a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
16.561 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh c) (log1p a))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
16.562 * [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
16.563 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
16.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh c) (log1p a))) 1)))) 1) into 0
16.564 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))) into 0
16.565 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.566 * [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
16.567 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
16.567 * [taylor]: Taking taylor expansion of 0 in a
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify 0 into 0
16.569 * [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
16.570 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
16.572 * [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
16.573 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0
16.575 * [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
16.577 * [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
16.579 * [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
16.581 * [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
16.583 * [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
16.584 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a))))))) into 0
16.586 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.587 * [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
16.588 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.588 * [taylor]: Taking taylor expansion of 0 in a
16.588 * [backup-simplify]: Simplify 0 into 0
16.589 * [backup-simplify]: Simplify 0 into 0
16.589 * [backup-simplify]: Simplify 0 into 0
16.589 * [backup-simplify]: Simplify 0 into 0
16.592 * [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
16.593 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
16.597 * [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
16.598 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh c) (log1p a))) 2)))))) into 0
16.600 * [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
16.602 * [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
16.606 * [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
16.609 * [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
16.612 * [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
16.613 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh c) (log1p a)))))))) into 0
16.615 * [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
16.616 * [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
16.618 * [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
16.618 * [taylor]: Taking taylor expansion of 0 in a
16.618 * [backup-simplify]: Simplify 0 into 0
16.618 * [backup-simplify]: Simplify 0 into 0
16.618 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.619 * [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))
16.619 * [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
16.619 * [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
16.619 * [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
16.619 * [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
16.619 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in a
16.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in a
16.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
16.620 * [taylor]: Taking taylor expansion of 1/3 in a
16.620 * [backup-simplify]: Simplify 1/3 into 1/3
16.620 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
16.620 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
16.620 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.620 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.620 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.620 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
16.620 * [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))))))
16.621 * [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)
16.621 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in a
16.621 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in a
16.621 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in a
16.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in a
16.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in a
16.621 * [taylor]: Taking taylor expansion of 1/3 in a
16.621 * [backup-simplify]: Simplify 1/3 into 1/3
16.621 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in a
16.621 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in a
16.621 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
16.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.621 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.621 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.622 * [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)
16.622 * [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))
16.622 * [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)))
16.623 * [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)
16.623 * [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))
16.623 * [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)
16.624 * [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))))
16.624 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.624 * [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
16.624 * [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
16.624 * [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
16.624 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c
16.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
16.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
16.625 * [taylor]: Taking taylor expansion of 1/3 in c
16.625 * [backup-simplify]: Simplify 1/3 into 1/3
16.625 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
16.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.625 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
16.625 * [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))))))
16.626 * [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)
16.626 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c
16.626 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c
16.626 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c
16.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c
16.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c
16.626 * [taylor]: Taking taylor expansion of 1/3 in c
16.626 * [backup-simplify]: Simplify 1/3 into 1/3
16.626 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c
16.626 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c
16.626 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.626 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.626 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.627 * [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)
16.627 * [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))
16.627 * [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)))
16.628 * [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)
16.628 * [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))
16.628 * [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)
16.629 * [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))))
16.629 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.629 * [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
16.629 * [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
16.629 * [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
16.629 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1/3) in c
16.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
16.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
16.630 * [taylor]: Taking taylor expansion of 1/3 in c
16.630 * [backup-simplify]: Simplify 1/3 into 1/3
16.630 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
16.630 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.630 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.630 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
16.630 * [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))))))
16.631 * [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)
16.631 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3))) in c
16.631 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) in c
16.631 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3) in c
16.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) in c
16.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) in c
16.631 * [taylor]: Taking taylor expansion of 1/3 in c
16.631 * [backup-simplify]: Simplify 1/3 into 1/3
16.631 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) in c
16.631 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) in c
16.631 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.631 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.631 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.632 * [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)
16.632 * [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))
16.632 * [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)))
16.633 * [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)
16.633 * [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))
16.633 * [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)
16.634 * [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))))
16.634 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.634 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.635 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.635 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.636 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
16.636 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
16.637 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1)))) 1) into 0
16.638 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
16.639 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
16.640 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
16.641 * [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
16.642 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
16.643 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
16.644 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
16.645 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.646 * [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
16.655 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.655 * [taylor]: Taking taylor expansion of 0 in a
16.655 * [backup-simplify]: Simplify 0 into 0
16.655 * [backup-simplify]: Simplify 0 into 0
16.655 * [backup-simplify]: Simplify 0 into 0
16.659 * [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
16.660 * [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
16.663 * [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
16.664 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0
16.666 * [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
16.668 * [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
16.670 * [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
16.672 * [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
16.673 * [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
16.674 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
16.674 * [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
16.675 * [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
16.676 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.676 * [taylor]: Taking taylor expansion of 0 in a
16.676 * [backup-simplify]: Simplify 0 into 0
16.676 * [backup-simplify]: Simplify 0 into 0
16.676 * [backup-simplify]: Simplify 0 into 0
16.676 * [backup-simplify]: Simplify 0 into 0
16.678 * [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
16.679 * [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
16.681 * [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
16.682 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))))) into 0
16.683 * [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
16.684 * [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
16.686 * [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
16.688 * [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
16.690 * [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
16.691 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))))) into 0
16.692 * [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
16.693 * [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
16.694 * [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
16.694 * [taylor]: Taking taylor expansion of 0 in a
16.694 * [backup-simplify]: Simplify 0 into 0
16.694 * [backup-simplify]: Simplify 0 into 0
16.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.695 * [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))
16.695 * [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
16.695 * [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
16.695 * [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
16.695 * [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
16.695 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in a
16.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in a
16.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
16.695 * [taylor]: Taking taylor expansion of 1/3 in a
16.695 * [backup-simplify]: Simplify 1/3 into 1/3
16.695 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
16.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
16.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.695 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.695 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
16.696 * [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))))))
16.696 * [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)
16.696 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in a
16.696 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in a
16.696 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in a
16.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in a
16.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in a
16.696 * [taylor]: Taking taylor expansion of 1/3 in a
16.696 * [backup-simplify]: Simplify 1/3 into 1/3
16.696 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in a
16.696 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in a
16.696 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
16.696 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.696 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.696 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.696 * [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)
16.696 * [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))
16.697 * [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)))
16.697 * [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)
16.697 * [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))
16.697 * [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)
16.698 * [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))))
16.698 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.698 * [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
16.698 * [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
16.698 * [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
16.698 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c
16.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
16.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
16.698 * [taylor]: Taking taylor expansion of 1/3 in c
16.698 * [backup-simplify]: Simplify 1/3 into 1/3
16.698 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
16.698 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.698 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.698 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.698 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
16.699 * [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))))))
16.699 * [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)
16.699 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c
16.699 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c
16.699 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c
16.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c
16.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c
16.699 * [taylor]: Taking taylor expansion of 1/3 in c
16.699 * [backup-simplify]: Simplify 1/3 into 1/3
16.699 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c
16.699 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c
16.699 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.699 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.700 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.700 * [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)
16.700 * [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))
16.701 * [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)))
16.701 * [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)
16.702 * [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))
16.702 * [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)
16.703 * [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))))
16.703 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.703 * [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
16.703 * [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
16.703 * [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
16.703 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1/3) in c
16.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
16.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
16.703 * [taylor]: Taking taylor expansion of 1/3 in c
16.703 * [backup-simplify]: Simplify 1/3 into 1/3
16.703 * [taylor]: Taking taylor expansion of (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
16.703 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.704 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.704 * [backup-simplify]: Simplify (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
16.704 * [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))))))
16.705 * [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)
16.705 * [taylor]: Taking taylor expansion of (log (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3))) in c
16.705 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) in c
16.705 * [taylor]: Taking taylor expansion of (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3) in c
16.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) in c
16.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) in c
16.705 * [taylor]: Taking taylor expansion of 1/3 in c
16.705 * [backup-simplify]: Simplify 1/3 into 1/3
16.705 * [taylor]: Taking taylor expansion of (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) in c
16.705 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) in c
16.705 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.705 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.706 * [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)
16.706 * [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))
16.707 * [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)))
16.707 * [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)
16.707 * [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))
16.708 * [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)
16.708 * [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))))
16.709 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.709 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.710 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
16.711 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
16.712 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1)))) 1) into 0
16.713 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
16.714 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
16.716 * [backup-simplify]: Simplify (* (exp (pow (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1/3)) (+ (* (/ (pow 0 1) 1)))) into 0
16.717 * [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
16.718 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
16.719 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
16.720 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
16.721 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.722 * [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
16.723 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.723 * [taylor]: Taking taylor expansion of 0 in a
16.723 * [backup-simplify]: Simplify 0 into 0
16.723 * [backup-simplify]: Simplify 0 into 0
16.723 * [backup-simplify]: Simplify 0 into 0
16.725 * [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
16.726 * [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
16.728 * [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
16.730 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0
16.731 * [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
16.733 * [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
16.736 * [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
16.738 * [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
16.741 * [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
16.742 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
16.743 * [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
16.744 * [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
16.744 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.745 * [taylor]: Taking taylor expansion of 0 in a
16.745 * [backup-simplify]: Simplify 0 into 0
16.745 * [backup-simplify]: Simplify 0 into 0
16.745 * [backup-simplify]: Simplify 0 into 0
16.745 * [backup-simplify]: Simplify 0 into 0
16.747 * [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
16.747 * [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
16.749 * [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
16.750 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))))) into 0
16.751 * [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
16.753 * [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
16.755 * [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
16.757 * [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
16.759 * [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
16.760 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))))) into 0
16.761 * [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
16.762 * [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
16.763 * [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
16.763 * [taylor]: Taking taylor expansion of 0 in a
16.763 * [backup-simplify]: Simplify 0 into 0
16.763 * [backup-simplify]: Simplify 0 into 0
16.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.763 * * * [progress]: simplifying candidates
16.764 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (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)))
  (* (* (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))
17.945 * * * [progress]: adding candidates to table
18.213 * [progress]: [Phase 3 of 3] Extracting.
18.213 * * [regime]: Finding splitpoints for: (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.219 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
18.219 * * * * [regimes]: Trying to branch on (log1p a) from (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.327 * * * * [regimes]: Trying to branch on (cosh c) from (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.437 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.549 * * * * [regimes]: Trying to branch on c from (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.654 * * * * [regimes]: Trying to branch on a from (#<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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (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 (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) (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 (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 (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (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 (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>)
18.772 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
18.773 * [simplify]: Simplifying:
  (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
39.887 * [regime-testing]: Baseline error score: 34.179372208443944
39.891 * [regime-testing]: Oracle error score: 34.148339536646695
39.896 * [regime-testing]: End program error score: 34.179372208443944