0.139 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.145 * * * [progress]: [2/2] Setting up program.
1.151 * [progress]: [Phase 2 of 3] Improving.
1.152 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
1.153 * * [simplify]: iteration 0: 5 enodes
1.156 * * [simplify]: iteration 1: 11 enodes
1.157 * * [simplify]: iteration 2: 14 enodes
1.159 * * [simplify]: iteration 3: 16 enodes
1.161 * * [simplify]: iteration complete: 16 enodes
1.161 * * [simplify]: Extracting #0: cost 1 inf + 0
1.161 * * [simplify]: Extracting #1: cost 3 inf + 0
1.161 * * [simplify]: Extracting #2: cost 7 inf + 0
1.161 * * [simplify]: Extracting #3: cost 5 inf + 94
1.161 * * [simplify]: Extracting #4: cost 4 inf + 438
1.161 * * [simplify]: Extracting #5: cost 0 inf + 812
1.162 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
1.164 * * [progress]: iteration 1 / 4
1.164 * * * [progress]: picking best candidate
1.172 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.172 * * * [progress]: localizing error
1.224 * * * [progress]: generating rewritten candidates
1.224 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.226 * * * [progress]: generating series expansions
1.226 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.229 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.229 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.233 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.233 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.233 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.233 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.233 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.233 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.233 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.233 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.235 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.237 * [taylor]: Taking taylor expansion of 0 in a
1.237 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [taylor]: Taking taylor expansion of 0 in a
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [taylor]: Taking taylor expansion of 0 in a
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.238 * * * [progress]: simplifying candidates
1.238 * [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))
1.238 * * [simplify]: iteration 0: 12 enodes
1.240 * * [simplify]: iteration 1: 19 enodes
1.242 * * [simplify]: iteration 2: 24 enodes
1.245 * * [simplify]: iteration 3: 30 enodes
1.249 * * [simplify]: iteration 4: 38 enodes
1.257 * * [simplify]: iteration 5: 72 enodes
1.283 * * [simplify]: iteration 6: 148 enodes
1.330 * * [simplify]: iteration 7: 334 enodes
1.440 * * [simplify]: iteration 8: 1006 enodes
2.350 * * [simplify]: iteration complete: 5001 enodes
2.351 * * [simplify]: Extracting #0: cost 7 inf + 0
2.352 * * [simplify]: Extracting #1: cost 360 inf + 0
2.358 * * [simplify]: Extracting #2: cost 1340 inf + 2
2.368 * * [simplify]: Extracting #3: cost 1400 inf + 1208
2.378 * * [simplify]: Extracting #4: cost 1154 inf + 76027
2.442 * * [simplify]: Extracting #5: cost 409 inf + 758649
2.594 * * [simplify]: Extracting #6: cost 17 inf + 1154332
2.752 * * [simplify]: Extracting #7: cost 0 inf + 1167564
2.917 * * [simplify]: Extracting #8: cost 0 inf + 1167037
3.037 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
3.038 * * * [progress]: adding candidates to table
3.075 * * [progress]: iteration 2 / 4
3.075 * * * [progress]: picking best candidate
3.104 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
3.104 * * * [progress]: localizing error
3.136 * * * [progress]: generating rewritten candidates
3.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
3.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.159 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.161 * * * [progress]: generating series expansions
3.161 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
3.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.161 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [taylor]: Taking taylor expansion of 0 in a
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [taylor]: Taking taylor expansion of 0 in a
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [taylor]: Taking taylor expansion of 0 in a
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.162 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.163 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.163 * [taylor]: Taking taylor expansion of 0 in a
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [taylor]: Taking taylor expansion of 0 in a
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [taylor]: Taking taylor expansion of 0 in a
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.163 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.164 * [taylor]: Taking taylor expansion of 0 in a
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [taylor]: Taking taylor expansion of 0 in a
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [taylor]: Taking taylor expansion of 0 in a
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.164 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.165 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [taylor]: Taking taylor expansion of 0 in a
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [taylor]: Taking taylor expansion of 0 in a
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [taylor]: Taking taylor expansion of 0 in a
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.165 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.165 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.165 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.166 * [taylor]: Taking taylor expansion of 0 in a
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [taylor]: Taking taylor expansion of 0 in a
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [taylor]: Taking taylor expansion of 0 in a
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.166 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.166 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.166 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.167 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.167 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.167 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.167 * [taylor]: Taking taylor expansion of 0 in a
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [taylor]: Taking taylor expansion of 0 in a
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [taylor]: Taking taylor expansion of 0 in a
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.167 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.168 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
3.168 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [taylor]: Taking taylor expansion of 0 in a
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [taylor]: Taking taylor expansion of 0 in a
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [taylor]: Taking taylor expansion of 0 in a
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.168 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.169 * [taylor]: Taking taylor expansion of 0 in a
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [taylor]: Taking taylor expansion of 0 in a
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [taylor]: Taking taylor expansion of 0 in a
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.170 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.170 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.170 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.170 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.170 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.170 * [taylor]: Taking taylor expansion of 0 in a
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [taylor]: Taking taylor expansion of 0 in a
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [taylor]: Taking taylor expansion of 0 in a
3.170 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify 0 into 0
3.171 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.171 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.171 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.171 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
3.171 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
3.171 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.171 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.171 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.171 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.171 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
3.171 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.171 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.171 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.171 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.171 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
3.171 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.172 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.172 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.172 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
3.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.172 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.172 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.172 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.172 * [taylor]: Taking taylor expansion of 0 in a
3.172 * [backup-simplify]: Simplify 0 into 0
3.172 * [backup-simplify]: Simplify 0 into 0
3.172 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.173 * [taylor]: Taking taylor expansion of 0 in a
3.173 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify 0 into 0
3.174 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.174 * [backup-simplify]: Simplify 0 into 0
3.175 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.175 * [taylor]: Taking taylor expansion of 0 in a
3.175 * [backup-simplify]: Simplify 0 into 0
3.175 * [backup-simplify]: Simplify 0 into 0
3.175 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.175 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.175 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
3.175 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.175 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.175 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.175 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.175 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.176 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.176 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.176 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.176 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.176 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.176 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.176 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.176 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.176 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.176 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.176 * [taylor]: Taking taylor expansion of 0 in a
3.176 * [backup-simplify]: Simplify 0 into 0
3.176 * [backup-simplify]: Simplify 0 into 0
3.176 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.177 * [taylor]: Taking taylor expansion of 0 in a
3.177 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify 0 into 0
3.178 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.178 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.183 * [taylor]: Taking taylor expansion of 0 in a
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a)))
3.184 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.184 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
3.184 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.184 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.184 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.184 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.184 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.184 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.184 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.185 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.185 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.185 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.185 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.185 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.185 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.185 * [taylor]: Taking taylor expansion of 0 in a
3.185 * [backup-simplify]: Simplify 0 into 0
3.185 * [backup-simplify]: Simplify 0 into 0
3.185 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.186 * [taylor]: Taking taylor expansion of 0 in a
3.186 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.187 * [taylor]: Taking taylor expansion of 0 in a
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a)))
3.188 * * * [progress]: simplifying candidates
3.189 * [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)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (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)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
3.190 * * [simplify]: iteration 0: 57 enodes
3.209 * * [simplify]: iteration 1: 117 enodes
3.253 * * [simplify]: iteration 2: 590 enodes
4.099 * * [simplify]: iteration complete: 5001 enodes
4.099 * * [simplify]: Extracting #0: cost 24 inf + 0
4.102 * * [simplify]: Extracting #1: cost 1491 inf + 3
4.108 * * [simplify]: Extracting #2: cost 1679 inf + 256
4.114 * * [simplify]: Extracting #3: cost 1675 inf + 743
4.148 * * [simplify]: Extracting #4: cost 1095 inf + 173285
4.248 * * [simplify]: Extracting #5: cost 269 inf + 443489
4.322 * * [simplify]: Extracting #6: cost 6 inf + 545520
4.418 * * [simplify]: Extracting #7: cost 0 inf + 547943
4.509 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  1
  1
  2
  1
  1
  (* (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)))
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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)))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
4.515 * * * [progress]: adding candidates to table
4.839 * * [progress]: iteration 3 / 4
4.840 * * * [progress]: picking best candidate
4.936 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
4.936 * * * [progress]: localizing error
5.050 * * * [progress]: generating rewritten candidates
5.050 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
5.050 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
5.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1)
5.051 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
5.052 * * * [progress]: generating series expansions
5.052 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
5.052 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.052 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.053 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.053 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.053 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.053 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.053 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.053 * [taylor]: Taking taylor expansion of 0 in a
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.054 * [taylor]: Taking taylor expansion of 0 in a
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [taylor]: Taking taylor expansion of 0 in a
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify 0 into 0
5.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.054 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.055 * [taylor]: Taking taylor expansion of 0 in a
5.055 * [backup-simplify]: Simplify 0 into 0
5.055 * [backup-simplify]: Simplify 0 into 0
5.055 * [backup-simplify]: Simplify 0 into 0
5.055 * [taylor]: Taking taylor expansion of 0 in a
5.055 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [taylor]: Taking taylor expansion of 0 in a
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.056 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.058 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.058 * [taylor]: Taking taylor expansion of 0 in a
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [taylor]: Taking taylor expansion of 0 in a
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [taylor]: Taking taylor expansion of 0 in a
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify 0 into 0
5.058 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.058 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
5.058 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.059 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.059 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.059 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.059 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.059 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.059 * [taylor]: Taking taylor expansion of 0 in a
5.059 * [backup-simplify]: Simplify 0 into 0
5.059 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [taylor]: Taking taylor expansion of 0 in a
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [taylor]: Taking taylor expansion of 0 in a
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.060 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.060 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.060 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.060 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.060 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.061 * [taylor]: Taking taylor expansion of 0 in a
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [taylor]: Taking taylor expansion of 0 in a
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [taylor]: Taking taylor expansion of 0 in a
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.062 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.063 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.063 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.063 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.063 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.064 * [taylor]: Taking taylor expansion of 0 in a
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [taylor]: Taking taylor expansion of 0 in a
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [taylor]: Taking taylor expansion of 0 in a
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1)
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.065 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.065 * [taylor]: Taking taylor expansion of 0 in a
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [taylor]: Taking taylor expansion of 0 in a
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [taylor]: Taking taylor expansion of 0 in a
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.067 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.068 * [taylor]: Taking taylor expansion of 0 in a
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [taylor]: Taking taylor expansion of 0 in a
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [taylor]: Taking taylor expansion of 0 in a
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.069 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.069 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.070 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.070 * [taylor]: Taking taylor expansion of 0 in a
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [taylor]: Taking taylor expansion of 0 in a
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [taylor]: Taking taylor expansion of 0 in a
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.070 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.071 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.071 * [taylor]: Taking taylor expansion of 0 in a
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [taylor]: Taking taylor expansion of 0 in a
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [taylor]: Taking taylor expansion of 0 in a
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.072 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.072 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.072 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.073 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.073 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.073 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.073 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.073 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.073 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.073 * [taylor]: Taking taylor expansion of 0 in a
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [taylor]: Taking taylor expansion of 0 in a
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [taylor]: Taking taylor expansion of 0 in a
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.074 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.074 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.074 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.075 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.075 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.075 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.075 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.075 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.075 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.075 * [taylor]: Taking taylor expansion of 0 in a
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [backup-simplify]: Simplify 0 into 0
5.075 * [taylor]: Taking taylor expansion of 0 in a
5.075 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [taylor]: Taking taylor expansion of 0 in a
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.076 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.076 * * * [progress]: simplifying candidates
5.077 * [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)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
5.077 * * [simplify]: iteration 0: 12 enodes
5.080 * * [simplify]: iteration 1: 19 enodes
5.085 * * [simplify]: iteration 2: 24 enodes
5.091 * * [simplify]: iteration 3: 30 enodes
5.098 * * [simplify]: iteration 4: 38 enodes
5.113 * * [simplify]: iteration 5: 72 enodes
5.143 * * [simplify]: iteration 6: 148 enodes
5.194 * * [simplify]: iteration 7: 334 enodes
5.350 * * [simplify]: iteration 8: 1006 enodes
6.233 * * [simplify]: iteration complete: 5001 enodes
6.234 * * [simplify]: Extracting #0: cost 7 inf + 0
6.235 * * [simplify]: Extracting #1: cost 360 inf + 0
6.242 * * [simplify]: Extracting #2: cost 1340 inf + 2
6.256 * * [simplify]: Extracting #3: cost 1400 inf + 1208
6.266 * * [simplify]: Extracting #4: cost 1154 inf + 76027
6.331 * * [simplify]: Extracting #5: cost 409 inf + 758649
6.492 * * [simplify]: Extracting #6: cost 17 inf + 1154332
6.670 * * [simplify]: Extracting #7: cost 0 inf + 1167564
6.847 * * [simplify]: Extracting #8: cost 0 inf + 1167037
7.025 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.032 * * * [progress]: adding candidates to table
7.312 * * [progress]: iteration 4 / 4
7.312 * * * [progress]: picking best candidate
7.392 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.392 * * * [progress]: localizing error
7.460 * * * [progress]: generating rewritten candidates
7.460 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
7.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
7.461 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
7.461 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
7.461 * * * [progress]: generating series expansions
7.461 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
7.461 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [taylor]: Taking taylor expansion of 0 in a
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [taylor]: Taking taylor expansion of 0 in a
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [taylor]: Taking taylor expansion of 0 in a
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify 0 into 0
7.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.462 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.463 * [taylor]: Taking taylor expansion of 0 in a
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [taylor]: Taking taylor expansion of 0 in a
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [taylor]: Taking taylor expansion of 0 in a
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.463 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.464 * [taylor]: Taking taylor expansion of 0 in a
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [taylor]: Taking taylor expansion of 0 in a
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [taylor]: Taking taylor expansion of 0 in a
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
7.464 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.464 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [taylor]: Taking taylor expansion of 0 in a
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [taylor]: Taking taylor expansion of 0 in a
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [taylor]: Taking taylor expansion of 0 in a
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.465 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.466 * [taylor]: Taking taylor expansion of 0 in a
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [taylor]: Taking taylor expansion of 0 in a
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [taylor]: Taking taylor expansion of 0 in a
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.466 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.467 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.467 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.467 * [taylor]: Taking taylor expansion of 0 in a
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [taylor]: Taking taylor expansion of 0 in a
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [taylor]: Taking taylor expansion of 0 in a
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify 0 into 0
7.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.467 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
7.467 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.467 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.467 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.467 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.467 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.468 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.468 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.468 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.468 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.468 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.468 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.468 * [taylor]: Taking taylor expansion of 0 in a
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [taylor]: Taking taylor expansion of 0 in a
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [taylor]: Taking taylor expansion of 0 in a
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.468 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.468 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.468 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.468 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.468 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.468 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.468 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.468 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.469 * [taylor]: Taking taylor expansion of 0 in a
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [taylor]: Taking taylor expansion of 0 in a
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [taylor]: Taking taylor expansion of 0 in a
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.469 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.469 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.470 * [taylor]: Taking taylor expansion of 0 in a
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [taylor]: Taking taylor expansion of 0 in a
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [taylor]: Taking taylor expansion of 0 in a
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
7.470 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.470 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.470 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.470 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.470 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.470 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.470 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.471 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.471 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.471 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.471 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.471 * [taylor]: Taking taylor expansion of 0 in a
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [taylor]: Taking taylor expansion of 0 in a
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [taylor]: Taking taylor expansion of 0 in a
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.471 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.471 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.471 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.471 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.471 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.472 * [taylor]: Taking taylor expansion of 0 in a
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [taylor]: Taking taylor expansion of 0 in a
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [taylor]: Taking taylor expansion of 0 in a
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.472 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.472 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.473 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.473 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.473 * [taylor]: Taking taylor expansion of 0 in a
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [taylor]: Taking taylor expansion of 0 in a
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [taylor]: Taking taylor expansion of 0 in a
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.473 * * * [progress]: simplifying candidates
7.474 * [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)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.474 * * [simplify]: iteration 0: 12 enodes
7.475 * * [simplify]: iteration 1: 19 enodes
7.477 * * [simplify]: iteration 2: 24 enodes
7.481 * * [simplify]: iteration 3: 30 enodes
7.484 * * [simplify]: iteration 4: 38 enodes
7.492 * * [simplify]: iteration 5: 72 enodes
7.507 * * [simplify]: iteration 6: 148 enodes
7.547 * * [simplify]: iteration 7: 334 enodes
7.728 * * [simplify]: iteration 8: 1006 enodes
8.711 * * [simplify]: iteration complete: 5001 enodes
8.711 * * [simplify]: Extracting #0: cost 7 inf + 0
8.713 * * [simplify]: Extracting #1: cost 360 inf + 0
8.720 * * [simplify]: Extracting #2: cost 1340 inf + 2
8.726 * * [simplify]: Extracting #3: cost 1400 inf + 1208
8.735 * * [simplify]: Extracting #4: cost 1154 inf + 76027
8.807 * * [simplify]: Extracting #5: cost 409 inf + 758649
8.940 * * [simplify]: Extracting #6: cost 17 inf + 1154332
9.067 * * [simplify]: Extracting #7: cost 0 inf + 1167564
9.230 * * [simplify]: Extracting #8: cost 0 inf + 1167037
9.383 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  (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))
9.385 * * * [progress]: adding candidates to table
9.650 * [progress]: [Phase 3 of 3] Extracting.
9.651 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
9.658 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
9.658 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
9.804 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
9.963 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
10.109 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
10.231 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
10.371 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
10.372 * [simplify]: Simplifying:
  (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
10.372 * * [simplify]: iteration 0: 10 enodes
10.373 * * [simplify]: iteration 1: 11 enodes
10.374 * * [simplify]: iteration complete: 11 enodes
10.374 * * [simplify]: Extracting #0: cost 1 inf + 0
10.374 * * [simplify]: Extracting #1: cost 3 inf + 0
10.374 * * [simplify]: Extracting #2: cost 4 inf + 0
10.374 * * [simplify]: Extracting #3: cost 5 inf + 0
10.374 * * [simplify]: Extracting #4: cost 6 inf + 0
10.374 * * [simplify]: Extracting #5: cost 8 inf + 0
10.374 * * [simplify]: Extracting #6: cost 10 inf + 0
10.374 * * [simplify]: Extracting #7: cost 7 inf + 93
10.374 * * [simplify]: Extracting #8: cost 0 inf + 2211
10.375 * [simplify]: Simplified to:
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
31.141 * [regime-testing]: Baseline error score: 33.974914494286544
31.159 * [regime-testing]: Oracle error score: 33.92834522589231
31.188 * [regime-testing]: End program error score: 33.974914494286544