0.137 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.727 * * * [progress]: [2/2] Setting up program.
0.732 * [progress]: [Phase 2 of 3] Improving.
0.734 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.734 * * [simplify]: iteration 0: 5 enodes
0.738 * * [simplify]: iteration 1: 11 enodes
0.740 * * [simplify]: iteration 2: 14 enodes
0.742 * * [simplify]: iteration 3: 16 enodes
0.744 * * [simplify]: iteration complete: 16 enodes
0.744 * * [simplify]: Extracting #0: cost 1 inf + 0
0.744 * * [simplify]: Extracting #1: cost 3 inf + 0
0.744 * * [simplify]: Extracting #2: cost 7 inf + 0
0.744 * * [simplify]: Extracting #3: cost 5 inf + 94
0.744 * * [simplify]: Extracting #4: cost 4 inf + 438
0.745 * * [simplify]: Extracting #5: cost 0 inf + 812
0.745 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.746 * * [progress]: iteration 1 / 4
0.746 * * * [progress]: picking best candidate
0.750 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.751 * * * [progress]: localizing error
0.761 * * * [progress]: generating rewritten candidates
0.762 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.764 * * * [progress]: generating series expansions
0.764 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.767 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.768 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.770 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.770 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.770 * [taylor]: Taking taylor expansion of 0 in a
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [taylor]: Taking taylor expansion of 0 in a
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [taylor]: Taking taylor expansion of 0 in a
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.772 * [taylor]: Taking taylor expansion of 0 in a
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [taylor]: Taking taylor expansion of 0 in a
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [taylor]: Taking taylor expansion of 0 in a
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.773 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.773 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.773 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.774 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.774 * * * [progress]: simplifying candidates
0.775 * [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))
0.775 * * [simplify]: iteration 0: 12 enodes
0.777 * * [simplify]: iteration 1: 19 enodes
0.780 * * [simplify]: iteration 2: 24 enodes
0.783 * * [simplify]: iteration 3: 30 enodes
0.805 * * [simplify]: iteration 4: 38 enodes
0.812 * * [simplify]: iteration 5: 57 enodes
0.822 * * [simplify]: iteration 6: 91 enodes
0.843 * * [simplify]: iteration 7: 172 enodes
0.934 * * [simplify]: iteration 8: 416 enodes
1.348 * * [simplify]: iteration 9: 1269 enodes
3.244 * * [simplify]: iteration complete: 5000 enodes
3.244 * * [simplify]: Extracting #0: cost 7 inf + 0
3.245 * * [simplify]: Extracting #1: cost 256 inf + 0
3.253 * * [simplify]: Extracting #2: cost 1274 inf + 3
3.263 * * [simplify]: Extracting #3: cost 1328 inf + 288
3.282 * * [simplify]: Extracting #4: cost 1278 inf + 73637
3.373 * * [simplify]: Extracting #5: cost 476 inf + 848997
3.539 * * [simplify]: Extracting #6: cost 14 inf + 1368014
3.711 * * [simplify]: Extracting #7: cost 0 inf + 1375318
3.881 * * [simplify]: Extracting #8: cost 0 inf + 1374874
4.087 * [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))
4.088 * * * [progress]: adding candidates to table
4.154 * * [progress]: iteration 2 / 4
4.154 * * * [progress]: picking best candidate
4.185 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
4.185 * * * [progress]: localizing error
4.204 * * * [progress]: generating rewritten candidates
4.204 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.204 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.208 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.211 * * * [progress]: generating series expansions
4.211 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
4.211 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.211 * [taylor]: Taking taylor expansion of 0 in a
4.211 * [backup-simplify]: Simplify 0 into 0
4.211 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [taylor]: Taking taylor expansion of 0 in a
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [taylor]: Taking taylor expansion of 0 in a
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
4.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.212 * [taylor]: Taking taylor expansion of 0 in a
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.213 * [taylor]: Taking taylor expansion of 0 in a
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [taylor]: Taking taylor expansion of 0 in a
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
4.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.213 * [taylor]: Taking taylor expansion of 0 in a
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [taylor]: Taking taylor expansion of 0 in a
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [taylor]: Taking taylor expansion of 0 in a
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify 0 into 0
4.214 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
4.214 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.214 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.214 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
4.214 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
4.214 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.214 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.214 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.214 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
4.214 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.214 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.214 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.214 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
4.214 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.214 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.215 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.215 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
4.215 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.215 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.215 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.215 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.216 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
4.216 * [taylor]: Taking taylor expansion of 0 in a
4.216 * [backup-simplify]: Simplify 0 into 0
4.216 * [backup-simplify]: Simplify 0 into 0
4.217 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
4.217 * [backup-simplify]: Simplify 0 into 0
4.219 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
4.219 * [taylor]: Taking taylor expansion of 0 in a
4.219 * [backup-simplify]: Simplify 0 into 0
4.219 * [backup-simplify]: Simplify 0 into 0
4.219 * [backup-simplify]: Simplify 0 into 0
4.220 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
4.220 * [backup-simplify]: Simplify 0 into 0
4.222 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
4.222 * [taylor]: Taking taylor expansion of 0 in a
4.222 * [backup-simplify]: Simplify 0 into 0
4.222 * [backup-simplify]: Simplify 0 into 0
4.222 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
4.222 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.222 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
4.222 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
4.222 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
4.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
4.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
4.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.223 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
4.224 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
4.224 * [taylor]: Taking taylor expansion of 0 in a
4.224 * [backup-simplify]: Simplify 0 into 0
4.224 * [backup-simplify]: Simplify 0 into 0
4.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
4.225 * [backup-simplify]: Simplify 0 into 0
4.226 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
4.226 * [taylor]: Taking taylor expansion of 0 in a
4.226 * [backup-simplify]: Simplify 0 into 0
4.226 * [backup-simplify]: Simplify 0 into 0
4.226 * [backup-simplify]: Simplify 0 into 0
4.228 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
4.228 * [backup-simplify]: Simplify 0 into 0
4.229 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
4.230 * [taylor]: Taking taylor expansion of 0 in a
4.230 * [backup-simplify]: Simplify 0 into 0
4.230 * [backup-simplify]: Simplify 0 into 0
4.230 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
4.230 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.230 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
4.230 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
4.230 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.230 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.230 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
4.230 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.230 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.230 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
4.230 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.231 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.231 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
4.231 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.231 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.231 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.231 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
4.232 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
4.232 * [taylor]: Taking taylor expansion of 0 in a
4.232 * [backup-simplify]: Simplify 0 into 0
4.232 * [backup-simplify]: Simplify 0 into 0
4.232 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
4.232 * [backup-simplify]: Simplify 0 into 0
4.233 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
4.233 * [taylor]: Taking taylor expansion of 0 in a
4.233 * [backup-simplify]: Simplify 0 into 0
4.233 * [backup-simplify]: Simplify 0 into 0
4.233 * [backup-simplify]: Simplify 0 into 0
4.235 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
4.235 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
4.238 * [taylor]: Taking taylor expansion of 0 in a
4.238 * [backup-simplify]: Simplify 0 into 0
4.238 * [backup-simplify]: Simplify 0 into 0
4.238 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
4.238 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.238 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
4.238 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
4.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.238 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.239 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
4.239 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.239 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
4.239 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.239 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.239 * [taylor]: Taking taylor expansion of 0 in a
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [taylor]: Taking taylor expansion of 0 in a
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [taylor]: Taking taylor expansion of 0 in a
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
4.240 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.240 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
4.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.240 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.240 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
4.240 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
4.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
4.241 * [taylor]: Taking taylor expansion of 0 in a
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [taylor]: Taking taylor expansion of 0 in a
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [taylor]: Taking taylor expansion of 0 in a
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
4.242 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.242 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
4.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
4.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
4.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
4.243 * [taylor]: Taking taylor expansion of 0 in a
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [taylor]: Taking taylor expansion of 0 in a
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [taylor]: Taking taylor expansion of 0 in a
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
4.243 * * * [progress]: simplifying candidates
4.244 * [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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
4.245 * * [simplify]: iteration 0: 38 enodes
4.257 * * [simplify]: iteration 1: 60 enodes
4.269 * * [simplify]: iteration 2: 84 enodes
4.280 * * [simplify]: iteration 3: 121 enodes
4.306 * * [simplify]: iteration 4: 193 enodes
4.348 * * [simplify]: iteration 5: 356 enodes
4.454 * * [simplify]: iteration 6: 662 enodes
4.693 * * [simplify]: iteration 7: 1494 enodes
6.068 * * [simplify]: iteration 8: 4630 enodes
7.152 * * [simplify]: iteration complete: 5002 enodes
7.152 * * [simplify]: Extracting #0: cost 20 inf + 0
7.154 * * [simplify]: Extracting #1: cost 282 inf + 3
7.170 * * [simplify]: Extracting #2: cost 763 inf + 772
7.175 * * [simplify]: Extracting #3: cost 796 inf + 4364
7.180 * * [simplify]: Extracting #4: cost 729 inf + 28238
7.196 * * [simplify]: Extracting #5: cost 490 inf + 144324
7.256 * * [simplify]: Extracting #6: cost 180 inf + 340878
7.741 * * [simplify]: Extracting #7: cost 23 inf + 499979
7.865 * * [simplify]: Extracting #8: cost 0 inf + 524900
8.026 * * [simplify]: Extracting #9: cost 0 inf + 522286
8.126 * * [simplify]: Extracting #10: cost 0 inf + 521558
8.250 * [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 (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
8.252 * * * [progress]: adding candidates to table
8.484 * * [progress]: iteration 3 / 4
8.484 * * * [progress]: picking best candidate
8.579 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
8.579 * * * [progress]: localizing error
8.639 * * * [progress]: generating rewritten candidates
8.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
8.639 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
8.639 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
8.639 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
8.641 * * * [progress]: generating series expansions
8.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.641 * [taylor]: Taking taylor expansion of 0 in a
8.641 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [taylor]: Taking taylor expansion of 0 in a
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [taylor]: Taking taylor expansion of 0 in a
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.642 * [taylor]: Taking taylor expansion of 0 in a
8.642 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [taylor]: Taking taylor expansion of 0 in a
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [taylor]: Taking taylor expansion of 0 in a
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.643 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.644 * [taylor]: Taking taylor expansion of 0 in a
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [taylor]: Taking taylor expansion of 0 in a
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [taylor]: Taking taylor expansion of 0 in a
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.644 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.644 * [taylor]: Taking taylor expansion of 0 in a
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.645 * [taylor]: Taking taylor expansion of 0 in a
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [taylor]: Taking taylor expansion of 0 in a
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.645 * [taylor]: Taking taylor expansion of 0 in a
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [taylor]: Taking taylor expansion of 0 in a
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [taylor]: Taking taylor expansion of 0 in a
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.646 * [taylor]: Taking taylor expansion of 0 in a
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [taylor]: Taking taylor expansion of 0 in a
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [taylor]: Taking taylor expansion of 0 in a
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.647 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
8.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.647 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.647 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.647 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.647 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.648 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.648 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.648 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.648 * [taylor]: Taking taylor expansion of 0 in a
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [taylor]: Taking taylor expansion of 0 in a
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [taylor]: Taking taylor expansion of 0 in a
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.648 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.649 * [taylor]: Taking taylor expansion of 0 in a
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [taylor]: Taking taylor expansion of 0 in a
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [taylor]: Taking taylor expansion of 0 in a
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.649 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.650 * [taylor]: Taking taylor expansion of 0 in a
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [taylor]: Taking taylor expansion of 0 in a
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [taylor]: Taking taylor expansion of 0 in a
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.650 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
8.650 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.650 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
8.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.650 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.650 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.650 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.651 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.651 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.652 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.652 * [taylor]: Taking taylor expansion of 0 in a
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.654 * [taylor]: Taking taylor expansion of 0 in a
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 0 into 0
8.655 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.655 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
8.657 * [taylor]: Taking taylor expansion of 0 in a
8.657 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.657 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.658 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.658 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.658 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.658 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.658 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.659 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.659 * [taylor]: Taking taylor expansion of 0 in a
8.659 * [backup-simplify]: Simplify 0 into 0
8.659 * [backup-simplify]: Simplify 0 into 0
8.659 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.659 * [backup-simplify]: Simplify 0 into 0
8.661 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.661 * [taylor]: Taking taylor expansion of 0 in a
8.661 * [backup-simplify]: Simplify 0 into 0
8.661 * [backup-simplify]: Simplify 0 into 0
8.662 * [backup-simplify]: Simplify 0 into 0
8.664 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.664 * [backup-simplify]: Simplify 0 into 0
8.668 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
8.668 * [taylor]: Taking taylor expansion of 0 in a
8.668 * [backup-simplify]: Simplify 0 into 0
8.668 * [backup-simplify]: Simplify 0 into 0
8.668 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
8.669 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.669 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.669 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.669 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.669 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.669 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.670 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.670 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.670 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.670 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.671 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.671 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.672 * [taylor]: Taking taylor expansion of 0 in a
8.672 * [backup-simplify]: Simplify 0 into 0
8.672 * [backup-simplify]: Simplify 0 into 0
8.673 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.673 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.675 * [taylor]: Taking taylor expansion of 0 in a
8.676 * [backup-simplify]: Simplify 0 into 0
8.676 * [backup-simplify]: Simplify 0 into 0
8.676 * [backup-simplify]: Simplify 0 into 0
8.678 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.678 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
8.682 * [taylor]: Taking taylor expansion of 0 in a
8.682 * [backup-simplify]: Simplify 0 into 0
8.682 * [backup-simplify]: Simplify 0 into 0
8.682 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
8.682 * * * [progress]: simplifying candidates
8.683 * [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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
8.684 * * [simplify]: iteration 0: 24 enodes
8.692 * * [simplify]: iteration 1: 38 enodes
8.702 * * [simplify]: iteration 2: 48 enodes
8.715 * * [simplify]: iteration 3: 60 enodes
8.732 * * [simplify]: iteration 4: 80 enodes
8.755 * * [simplify]: iteration 5: 117 enodes
8.774 * * [simplify]: iteration 6: 192 enodes
8.821 * * [simplify]: iteration 7: 384 enodes
8.988 * * [simplify]: iteration 8: 926 enodes
9.862 * * [simplify]: iteration 9: 3005 enodes
10.724 * * [simplify]: iteration complete: 5000 enodes
10.724 * * [simplify]: Extracting #0: cost 16 inf + 0
10.725 * * [simplify]: Extracting #1: cost 184 inf + 1
10.728 * * [simplify]: Extracting #2: cost 993 inf + 579
10.733 * * [simplify]: Extracting #3: cost 1161 inf + 6866
10.744 * * [simplify]: Extracting #4: cost 1000 inf + 57187
10.786 * * [simplify]: Extracting #5: cost 550 inf + 410984
10.910 * * [simplify]: Extracting #6: cost 58 inf + 930491
11.070 * * [simplify]: Extracting #7: cost 0 inf + 986876
11.240 * * [simplify]: Extracting #8: cost 0 inf + 982489
11.406 * [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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
11.411 * * * [progress]: adding candidates to table
11.695 * * [progress]: iteration 4 / 4
11.695 * * * [progress]: picking best candidate
11.787 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
11.787 * * * [progress]: localizing error
11.888 * * * [progress]: generating rewritten candidates
11.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
11.888 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1)
11.889 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
11.889 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
11.890 * * * [progress]: generating series expansions
11.890 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.890 * [taylor]: Taking taylor expansion of 0 in a
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [taylor]: Taking taylor expansion of 0 in a
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [taylor]: Taking taylor expansion of 0 in a
11.890 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.891 * [taylor]: Taking taylor expansion of 0 in a
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [taylor]: Taking taylor expansion of 0 in a
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.891 * [taylor]: Taking taylor expansion of 0 in a
11.891 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.892 * [taylor]: Taking taylor expansion of 0 in a
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [taylor]: Taking taylor expansion of 0 in a
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [taylor]: Taking taylor expansion of 0 in a
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.893 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1)
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.893 * [taylor]: Taking taylor expansion of 0 in a
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [taylor]: Taking taylor expansion of 0 in a
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [taylor]: Taking taylor expansion of 0 in a
11.893 * [backup-simplify]: Simplify 0 into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.894 * [taylor]: Taking taylor expansion of 0 in a
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [taylor]: Taking taylor expansion of 0 in a
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [taylor]: Taking taylor expansion of 0 in a
11.894 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.895 * [taylor]: Taking taylor expansion of 0 in a
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [taylor]: Taking taylor expansion of 0 in a
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [taylor]: Taking taylor expansion of 0 in a
11.895 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.896 * [taylor]: Taking taylor expansion of 0 in a
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [taylor]: Taking taylor expansion of 0 in a
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [taylor]: Taking taylor expansion of 0 in a
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.897 * [taylor]: Taking taylor expansion of 0 in a
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [taylor]: Taking taylor expansion of 0 in a
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [taylor]: Taking taylor expansion of 0 in a
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.898 * [taylor]: Taking taylor expansion of 0 in a
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [taylor]: Taking taylor expansion of 0 in a
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [taylor]: Taking taylor expansion of 0 in a
11.898 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.899 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.899 * [taylor]: Taking taylor expansion of 0 in a
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [taylor]: Taking taylor expansion of 0 in a
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [taylor]: Taking taylor expansion of 0 in a
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify 0 into 0
11.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.900 * [taylor]: Taking taylor expansion of 0 in a
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [taylor]: Taking taylor expansion of 0 in a
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [taylor]: Taking taylor expansion of 0 in a
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.901 * [taylor]: Taking taylor expansion of 0 in a
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [taylor]: Taking taylor expansion of 0 in a
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [taylor]: Taking taylor expansion of 0 in a
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.902 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.902 * * * [progress]: simplifying candidates
11.902 * [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))
11.902 * * [simplify]: iteration 0: 12 enodes
11.904 * * [simplify]: iteration 1: 19 enodes
11.907 * * [simplify]: iteration 2: 24 enodes
11.910 * * [simplify]: iteration 3: 30 enodes
11.918 * * [simplify]: iteration 4: 38 enodes
11.929 * * [simplify]: iteration 5: 57 enodes
11.945 * * [simplify]: iteration 6: 91 enodes
11.976 * * [simplify]: iteration 7: 172 enodes
12.018 * * [simplify]: iteration 8: 416 enodes
12.416 * * [simplify]: iteration 9: 1269 enodes
14.184 * * [simplify]: iteration complete: 5000 enodes
14.184 * * [simplify]: Extracting #0: cost 7 inf + 0
14.185 * * [simplify]: Extracting #1: cost 256 inf + 0
14.199 * * [simplify]: Extracting #2: cost 1274 inf + 3
14.209 * * [simplify]: Extracting #3: cost 1328 inf + 288
14.227 * * [simplify]: Extracting #4: cost 1278 inf + 73637
14.292 * * [simplify]: Extracting #5: cost 476 inf + 848997
14.465 * * [simplify]: Extracting #6: cost 14 inf + 1368014
14.619 * * [simplify]: Extracting #7: cost 0 inf + 1375318
14.811 * * [simplify]: Extracting #8: cost 0 inf + 1374874
14.999 * [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))
15.003 * * * [progress]: adding candidates to table
15.268 * [progress]: [Phase 3 of 3] Extracting.
15.268 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.275 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
15.275 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.422 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.597 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.724 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.838 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (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)))))>)
15.953 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
15.954 * [simplify]: Simplifying:
  (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
15.954 * * [simplify]: iteration 0: 13 enodes
15.955 * * [simplify]: iteration 1: 15 enodes
15.955 * * [simplify]: iteration complete: 15 enodes
15.956 * * [simplify]: Extracting #0: cost 1 inf + 0
15.956 * * [simplify]: Extracting #1: cost 2 inf + 0
15.956 * * [simplify]: Extracting #2: cost 3 inf + 0
15.956 * * [simplify]: Extracting #3: cost 5 inf + 0
15.956 * * [simplify]: Extracting #4: cost 8 inf + 0
15.956 * * [simplify]: Extracting #5: cost 9 inf + 0
15.956 * * [simplify]: Extracting #6: cost 11 inf + 0
15.956 * * [simplify]: Extracting #7: cost 13 inf + 0
15.956 * * [simplify]: Extracting #8: cost 10 inf + 93
15.956 * * [simplify]: Extracting #9: cost 9 inf + 149
15.956 * * [simplify]: Extracting #10: cost 6 inf + 1020
15.956 * * [simplify]: Extracting #11: cost 3 inf + 2201
15.957 * * [simplify]: Extracting #12: cost 1 inf + 3335
15.957 * * [simplify]: Extracting #13: cost 0 inf + 4012
15.958 * [simplify]: Simplified to:
  (exp (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
37.494 * [regime-testing]: Baseline error score: 34.42078575328775
37.510 * [regime-testing]: Oracle error score: 34.39255845760323
37.546 * [regime-testing]: End program error score: 34.42078575328775