0.097 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.512 * * * [progress]: [2/2] Setting up program.
0.521 * [progress]: [Phase 2 of 3] Improving.
0.524 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.525 * * [simplify]: Extracting # 0 : cost  0
0.525 * * [simplify]: Extracting # 1 : cost  0
0.525 * * [simplify]: Extracting # 2 : cost  0
0.526 * * [simplify]: Extracting # 3 : cost  0
0.526 * * [simplify]: Extracting # 4 : cost  0
0.526 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.532 * * [simplify]: Extracting # 0 : cost  0
0.532 * * [simplify]: Extracting # 1 : cost  0
0.532 * * [simplify]: Extracting # 2 : cost  0
0.532 * * [simplify]: Extracting # 3 : cost  0
0.532 * * [simplify]: Extracting # 4 : cost  0
0.532 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.535 * * [simplify]: Extracting # 0 : cost  0
0.535 * * [simplify]: Extracting # 1 : cost  0
0.535 * * [simplify]: Extracting # 2 : cost  0
0.536 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.540 * * [simplify]: Extracting # 0 : cost  0
0.540 * * [simplify]: iteration  3 :  16  enodes  (cost  5 )
0.544 * * [simplify]: Extracting # 0 : cost  0
0.544 * * [simplify]: iteration done:  16  enodes  (cost  5 )
0.544 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.546 * * [progress]: iteration 1 / 4
0.546 * * * [progress]: picking best candidate
0.552 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.552 * * * [progress]: localizing error
0.618 * * * [progress]: generating rewritten candidates
0.618 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.621 * * * [progress]: generating series expansions
0.621 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.624 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.624 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.625 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.626 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.626 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.626 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.626 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.626 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.627 * [taylor]: Taking taylor expansion of 0 in a
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [taylor]: Taking taylor expansion of 0 in a
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [taylor]: Taking taylor expansion of 0 in a
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.630 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.631 * * * [progress]: simplifying candidates
0.632 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.632 * * [simplify]: Extracting # 0 : cost  0
0.632 * * [simplify]: Extracting # 1 : cost  0
0.632 * * [simplify]: Extracting # 2 : cost  0
0.632 * * [simplify]: Extracting # 3 : cost  0
0.632 * * [simplify]: Extracting # 4 : cost  0
0.632 * * [simplify]: Extracting # 5 : cost  0
0.632 * * [simplify]: Extracting # 6 : cost  0
0.632 * * [simplify]: iteration  0 :  14  enodes  (cost  87 )
0.634 * * [simplify]: Extracting # 0 : cost  0
0.634 * * [simplify]: Extracting # 1 : cost  0
0.634 * * [simplify]: Extracting # 2 : cost  0
0.635 * * [simplify]: Extracting # 3 : cost  0
0.635 * * [simplify]: Extracting # 4 : cost  0
0.635 * * [simplify]: Extracting # 5 : cost  0
0.635 * * [simplify]: iteration  1 :  21  enodes  (cost  87 )
0.637 * * [simplify]: Extracting # 0 : cost  0
0.638 * * [simplify]: Extracting # 1 : cost  0
0.638 * * [simplify]: Extracting # 2 : cost  0
0.638 * * [simplify]: iteration  2 :  26  enodes  (cost  77 )
0.642 * * [simplify]: Extracting # 0 : cost  0
0.642 * * [simplify]: Extracting # 1 : cost  0
0.642 * * [simplify]: Extracting # 2 : cost  0
0.642 * * [simplify]: Extracting # 3 : cost  0
0.642 * * [simplify]: Extracting # 4 : cost  0
0.642 * * [simplify]: iteration  3 :  32  enodes  (cost  77 )
0.648 * * [simplify]: Extracting # 0 : cost  0
0.648 * * [simplify]: Extracting # 1 : cost  0
0.648 * * [simplify]: Extracting # 2 : cost  0
0.648 * * [simplify]: Extracting # 3 : cost  0
0.648 * * [simplify]: Extracting # 4 : cost  0
0.648 * * [simplify]: iteration  4 :  40  enodes  (cost  77 )
0.657 * * [simplify]: Extracting # 0 : cost  0
0.657 * * [simplify]: Extracting # 1 : cost  0
0.657 * * [simplify]: Extracting # 2 : cost  0
0.657 * * [simplify]: Extracting # 3 : cost  0
0.657 * * [simplify]: iteration  5 :  74  enodes  (cost  77 )
0.681 * * [simplify]: Extracting # 0 : cost  0
0.682 * * [simplify]: Extracting # 1 : cost  0
0.682 * * [simplify]: Extracting # 2 : cost  0
0.682 * * [simplify]: Extracting # 3 : cost  0
0.682 * * [simplify]: iteration  6 :  154  enodes  (cost  77 )
0.747 * * [simplify]: Extracting # 0 : cost  0
0.747 * * [simplify]: Extracting # 1 : cost  0
0.747 * * [simplify]: Extracting # 2 : cost  0
0.748 * * [simplify]: Extracting # 3 : cost  0
0.748 * * [simplify]: Extracting # 4 : cost  0
0.748 * * [simplify]: iteration  7 :  324  enodes  (cost  77 )
0.911 * * [simplify]: Extracting # 0 : cost  0
0.912 * * [simplify]: Extracting # 1 : cost  0
0.913 * * [simplify]: Extracting # 2 : cost  0
0.914 * * [simplify]: Extracting # 3 : cost  0
0.915 * * [simplify]: iteration  8 :  1030  enodes  (cost  77 )
2.179 * * [simplify]: Extracting # 0 : cost  0
2.188 * * [simplify]: Extracting # 1 : cost  0
2.192 * * [simplify]: Extracting # 2 : cost  0
2.196 * * [simplify]: Extracting # 3 : cost  0
2.200 * * [simplify]: Extracting # 4 : cost  0
2.204 * * [simplify]: iteration done:  5000  enodes  (cost  77 )
2.204 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
2.204 * * * [progress]: adding candidates to table
2.282 * * [progress]: iteration 2 / 4
2.282 * * * [progress]: picking best candidate
2.300 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.300 * * * [progress]: localizing error
2.326 * * * [progress]: generating rewritten candidates
2.326 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.327 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.332 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.336 * * * [progress]: generating series expansions
2.336 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.336 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.336 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.337 * [taylor]: Taking taylor expansion of 0 in a
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [taylor]: Taking taylor expansion of 0 in a
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [taylor]: Taking taylor expansion of 0 in a
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.338 * [taylor]: Taking taylor expansion of 0 in a
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [taylor]: Taking taylor expansion of 0 in a
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [taylor]: Taking taylor expansion of 0 in a
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.338 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.339 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.339 * [taylor]: Taking taylor expansion of 0 in a
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [taylor]: Taking taylor expansion of 0 in a
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [taylor]: Taking taylor expansion of 0 in a
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.339 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.339 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.339 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.347 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.347 * [taylor]: Taking taylor expansion of 0 in a
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.350 * [taylor]: Taking taylor expansion of 0 in a
2.350 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.352 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.352 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
2.354 * [taylor]: Taking taylor expansion of 0 in a
2.354 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.354 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.354 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.354 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.354 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.355 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.355 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.355 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.355 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.355 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.355 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.355 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.355 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.355 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.356 * [taylor]: Taking taylor expansion of 0 in a
2.356 * [backup-simplify]: Simplify 0 into 0
2.356 * [backup-simplify]: Simplify 0 into 0
2.357 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.357 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.358 * [taylor]: Taking taylor expansion of 0 in a
2.358 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify 0 into 0
2.359 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.359 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
2.361 * [taylor]: Taking taylor expansion of 0 in a
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.361 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.362 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.362 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.362 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.362 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.362 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.362 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.362 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.363 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.363 * [taylor]: Taking taylor expansion of 0 in a
2.363 * [backup-simplify]: Simplify 0 into 0
2.363 * [backup-simplify]: Simplify 0 into 0
2.364 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.364 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.365 * [taylor]: Taking taylor expansion of 0 in a
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify 0 into 0
2.366 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.366 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
2.368 * [taylor]: Taking taylor expansion of 0 in a
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.369 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.369 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.369 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.369 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.369 * [taylor]: Taking taylor expansion of 0 in a
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [taylor]: Taking taylor expansion of 0 in a
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [taylor]: Taking taylor expansion of 0 in a
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.370 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.370 * [taylor]: Taking taylor expansion of 0 in a
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [taylor]: Taking taylor expansion of 0 in a
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [taylor]: Taking taylor expansion of 0 in a
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.371 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.371 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.372 * * * [progress]: simplifying candidates
2.373 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (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))
2.373 * * [simplify]: Extracting # 0 : cost  0
2.373 * * [simplify]: Extracting # 1 : cost  0
2.374 * * [simplify]: Extracting # 2 : cost  0
2.374 * * [simplify]: Extracting # 3 : cost  0
2.374 * * [simplify]: Extracting # 4 : cost  0
2.374 * * [simplify]: Extracting # 5 : cost  0
2.374 * * [simplify]: Extracting # 6 : cost  0
2.374 * * [simplify]: Extracting # 7 : cost  0
2.374 * * [simplify]: iteration  0 :  44  enodes  (cost  426 )
2.381 * * [simplify]: Extracting # 0 : cost  0
2.381 * * [simplify]: Extracting # 1 : cost  0
2.382 * * [simplify]: Extracting # 2 : cost  0
2.382 * * [simplify]: Extracting # 3 : cost  0
2.382 * * [simplify]: Extracting # 4 : cost  0
2.382 * * [simplify]: Extracting # 5 : cost  0
2.382 * * [simplify]: iteration  1 :  68  enodes  (cost  385 )
2.395 * * [simplify]: Extracting # 0 : cost  0
2.395 * * [simplify]: Extracting # 1 : cost  0
2.396 * * [simplify]: Extracting # 2 : cost  0
2.396 * * [simplify]: Extracting # 3 : cost  0
2.396 * * [simplify]: iteration  2 :  105  enodes  (cost  339 )
2.420 * * [simplify]: Extracting # 0 : cost  0
2.420 * * [simplify]: Extracting # 1 : cost  0
2.420 * * [simplify]: Extracting # 2 : cost  0
2.420 * * [simplify]: Extracting # 3 : cost  0
2.420 * * [simplify]: Extracting # 4 : cost  0
2.420 * * [simplify]: iteration  3 :  161  enodes  (cost  339 )
2.438 * * [simplify]: Extracting # 0 : cost  0
2.438 * * [simplify]: Extracting # 1 : cost  0
2.439 * * [simplify]: Extracting # 2 : cost  0
2.439 * * [simplify]: Extracting # 3 : cost  0
2.439 * * [simplify]: Extracting # 4 : cost  0
2.439 * * [simplify]: iteration  4 :  233  enodes  (cost  333 )
2.509 * * [simplify]: Extracting # 0 : cost  0
2.510 * * [simplify]: Extracting # 1 : cost  0
2.510 * * [simplify]: Extracting # 2 : cost  0
2.510 * * [simplify]: Extracting # 3 : cost  0
2.510 * * [simplify]: Extracting # 4 : cost  0
2.511 * * [simplify]: Extracting # 5 : cost  0
2.511 * * [simplify]: iteration  5 :  401  enodes  (cost  333 )
2.681 * * [simplify]: Extracting # 0 : cost  0
2.683 * * [simplify]: Extracting # 1 : cost  0
2.684 * * [simplify]: Extracting # 2 : cost  0
2.685 * * [simplify]: Extracting # 3 : cost  0
2.687 * * [simplify]: Extracting # 4 : cost  0
2.688 * * [simplify]: iteration  6 :  1023  enodes  (cost  333 )
3.964 * * [simplify]: Extracting # 0 : cost  0
3.974 * * [simplify]: Extracting # 1 : cost  0
3.981 * * [simplify]: Extracting # 2 : cost  0
3.987 * * [simplify]: Extracting # 3 : cost  0
3.994 * * [simplify]: Extracting # 4 : cost  0
4.006 * * [simplify]: iteration  7 :  4620  enodes  (cost  333 )
6.105 * * [simplify]: Extracting # 0 : cost  0
6.112 * * [simplify]: Extracting # 1 : cost  0
6.115 * * [simplify]: Extracting # 2 : cost  0
6.119 * * [simplify]: Extracting # 3 : cost  0
6.125 * * [simplify]: Extracting # 4 : cost  0
6.131 * * [simplify]: iteration done:  5001  enodes  (cost  333 )
6.132 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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))
6.133 * * * [progress]: adding candidates to table
6.331 * * [progress]: iteration 3 / 4
6.331 * * * [progress]: picking best candidate
6.423 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
6.423 * * * [progress]: localizing error
6.448 * * * [progress]: generating rewritten candidates
6.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
6.451 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.475 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.493 * * * [progress]: generating series expansions
6.493 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.493 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.493 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.494 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.494 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.494 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.494 * [taylor]: Taking taylor expansion of 0 in a
6.494 * [backup-simplify]: Simplify 0 into 0
6.494 * [backup-simplify]: Simplify 0 into 0
6.494 * [backup-simplify]: Simplify 0 into 0
6.494 * [taylor]: Taking taylor expansion of 0 in a
6.494 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [taylor]: Taking taylor expansion of 0 in a
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.495 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.496 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.496 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.496 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.496 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.496 * [taylor]: Taking taylor expansion of 0 in a
6.496 * [backup-simplify]: Simplify 0 into 0
6.496 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [taylor]: Taking taylor expansion of 0 in a
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [taylor]: Taking taylor expansion of 0 in a
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.497 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.497 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.497 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.497 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.497 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.498 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.498 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.498 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.498 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.498 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.498 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.498 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.498 * [taylor]: Taking taylor expansion of 0 in a
6.498 * [backup-simplify]: Simplify 0 into 0
6.498 * [backup-simplify]: Simplify 0 into 0
6.498 * [backup-simplify]: Simplify 0 into 0
6.498 * [taylor]: Taking taylor expansion of 0 in a
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [taylor]: Taking taylor expansion of 0 in a
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify 0 into 0
6.499 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.499 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
6.499 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.499 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
6.499 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.499 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.499 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.500 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.500 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.500 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.500 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.500 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.500 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.500 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.500 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.500 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.500 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.500 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.500 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.501 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.501 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.502 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.502 * [taylor]: Taking taylor expansion of 0 in a
6.502 * [backup-simplify]: Simplify 0 into 0
6.502 * [backup-simplify]: Simplify 0 into 0
6.503 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.503 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
6.505 * [taylor]: Taking taylor expansion of 0 in a
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 0 into 0
6.505 * [backup-simplify]: Simplify 0 into 0
6.507 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.510 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
6.511 * [taylor]: Taking taylor expansion of 0 in a
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.511 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.511 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
6.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.511 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.511 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.512 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.512 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.512 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.512 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.512 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.512 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.512 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.512 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.513 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.513 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.513 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.514 * [taylor]: Taking taylor expansion of 0 in a
6.514 * [backup-simplify]: Simplify 0 into 0
6.514 * [backup-simplify]: Simplify 0 into 0
6.515 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.515 * [backup-simplify]: Simplify 0 into 0
6.518 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
6.518 * [taylor]: Taking taylor expansion of 0 in a
6.518 * [backup-simplify]: Simplify 0 into 0
6.518 * [backup-simplify]: Simplify 0 into 0
6.518 * [backup-simplify]: Simplify 0 into 0
6.520 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
6.520 * [backup-simplify]: Simplify 0 into 0
6.524 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
6.524 * [taylor]: Taking taylor expansion of 0 in a
6.524 * [backup-simplify]: Simplify 0 into 0
6.524 * [backup-simplify]: Simplify 0 into 0
6.524 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
6.524 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.524 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
6.524 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.524 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.525 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.525 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.526 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.528 * [taylor]: Taking taylor expansion of 0 in a
6.528 * [backup-simplify]: Simplify 0 into 0
6.528 * [backup-simplify]: Simplify 0 into 0
6.529 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.529 * [backup-simplify]: Simplify 0 into 0
6.531 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
6.531 * [taylor]: Taking taylor expansion of 0 in a
6.531 * [backup-simplify]: Simplify 0 into 0
6.531 * [backup-simplify]: Simplify 0 into 0
6.531 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
6.533 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
6.537 * [taylor]: Taking taylor expansion of 0 in a
6.537 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify 0 into 0
6.538 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
6.538 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.538 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (fmod (cosh c) (log1p a))
6.538 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.538 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.538 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.538 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.538 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.538 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.539 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.539 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.539 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.539 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.539 * [taylor]: Taking taylor expansion of 0 in a
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [taylor]: Taking taylor expansion of 0 in a
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [taylor]: Taking taylor expansion of 0 in a
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 0 into 0
6.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.540 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.540 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.540 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.541 * [taylor]: Taking taylor expansion of 0 in a
6.541 * [backup-simplify]: Simplify 0 into 0
6.541 * [backup-simplify]: Simplify 0 into 0
6.541 * [backup-simplify]: Simplify 0 into 0
6.541 * [taylor]: Taking taylor expansion of 0 in a
6.541 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [taylor]: Taking taylor expansion of 0 in a
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.542 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.542 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.544 * [taylor]: Taking taylor expansion of 0 in a
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [taylor]: Taking taylor expansion of 0 in a
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [taylor]: Taking taylor expansion of 0 in a
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.544 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.545 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.545 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0
6.545 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
6.545 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.545 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.545 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.545 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.546 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
6.546 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.546 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.546 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.546 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.546 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
6.546 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
6.546 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.546 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.547 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.547 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
6.548 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.548 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
6.548 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
6.548 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.548 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.548 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
6.549 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
6.549 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.549 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.551 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
6.551 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
6.551 * [taylor]: Taking taylor expansion of 0 in a
6.551 * [backup-simplify]: Simplify 0 into 0
6.551 * [backup-simplify]: Simplify 0 into 0
6.552 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
6.553 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
6.553 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
6.553 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
6.556 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
6.557 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
6.557 * [taylor]: Taking taylor expansion of 0 in a
6.557 * [backup-simplify]: Simplify 0 into 0
6.557 * [backup-simplify]: Simplify 0 into 0
6.557 * [backup-simplify]: Simplify 0 into 0
6.559 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
6.560 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
6.561 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
6.561 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
6.565 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
6.567 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0
6.567 * [taylor]: Taking taylor expansion of 0 in a
6.567 * [backup-simplify]: Simplify 0 into 0
6.567 * [backup-simplify]: Simplify 0 into 0
6.567 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.567 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
6.567 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0
6.568 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
6.568 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.568 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.568 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
6.568 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.569 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.569 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
6.569 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.569 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.569 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.569 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)
6.570 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
6.570 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
6.570 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.571 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.571 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)
6.571 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
6.572 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
6.573 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.573 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.574 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
6.574 * [taylor]: Taking taylor expansion of 0 in a
6.574 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify 0 into 0
6.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
6.576 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.576 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
6.576 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
6.579 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
6.580 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
6.580 * [taylor]: Taking taylor expansion of 0 in a
6.580 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.583 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
6.584 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
6.585 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
6.585 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
6.589 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
6.591 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0
6.591 * [taylor]: Taking taylor expansion of 0 in a
6.591 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.592 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
6.592 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0
6.592 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
6.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.592 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.592 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
6.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.593 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.593 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.593 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
6.593 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.593 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.593 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.594 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)
6.594 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
6.594 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
6.594 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.595 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.595 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.595 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)
6.596 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
6.596 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
6.598 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.598 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.599 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
6.599 * [taylor]: Taking taylor expansion of 0 in a
6.599 * [backup-simplify]: Simplify 0 into 0
6.599 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
6.600 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.601 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
6.601 * [backup-simplify]: Simplify 0 into 0
6.603 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
6.604 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
6.605 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
6.605 * [taylor]: Taking taylor expansion of 0 in a
6.605 * [backup-simplify]: Simplify 0 into 0
6.605 * [backup-simplify]: Simplify 0 into 0
6.605 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
6.608 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
6.610 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
6.615 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
6.616 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0
6.616 * [taylor]: Taking taylor expansion of 0 in a
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 0 into 0
6.617 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
6.617 * * * [progress]: simplifying candidates
6.619 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (log1p (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (expm1 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (pow (log (fmod (cosh c) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (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))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
6.622 * * [simplify]: Extracting # 0 : cost  0
6.622 * * [simplify]: Extracting # 1 : cost  0
6.622 * * [simplify]: Extracting # 2 : cost  0
6.623 * * [simplify]: Extracting # 3 : cost  0
6.623 * * [simplify]: Extracting # 4 : cost  0
6.623 * * [simplify]: Extracting # 5 : cost  0
6.623 * * [simplify]: Extracting # 6 : cost  0
6.623 * * [simplify]: Extracting # 7 : cost  0
6.624 * * [simplify]: iteration  0 :  87  enodes  (cost  930 )
6.676 * * [simplify]: Extracting # 0 : cost  0
6.677 * * [simplify]: Extracting # 1 : cost  0
6.677 * * [simplify]: Extracting # 2 : cost  0
6.677 * * [simplify]: Extracting # 3 : cost  0
6.677 * * [simplify]: Extracting # 4 : cost  0
6.678 * * [simplify]: Extracting # 5 : cost  0
6.678 * * [simplify]: iteration  1 :  181  enodes  (cost  755 )
6.750 * * [simplify]: Extracting # 0 : cost  0
6.751 * * [simplify]: Extracting # 1 : cost  0
6.752 * * [simplify]: Extracting # 2 : cost  0
6.752 * * [simplify]: Extracting # 3 : cost  0
6.753 * * [simplify]: Extracting # 4 : cost  0
6.756 * * [simplify]: iteration  2 :  723  enodes  (cost  668 )
7.401 * * [simplify]: Extracting # 0 : cost  0
7.414 * * [simplify]: Extracting # 1 : cost  0
7.426 * * [simplify]: Extracting # 2 : cost  0
7.436 * * [simplify]: Extracting # 3 : cost  0
7.452 * * [simplify]: Extracting # 4 : cost  0
7.462 * * [simplify]: iteration done:  5000  enodes  (cost  668 )
7.463 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  3
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (log (fmod (cosh c) (log1p a)))
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (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))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
7.464 * * * [progress]: adding candidates to table
7.962 * * [progress]: iteration 4 / 4
7.962 * * * [progress]: picking best candidate
8.110 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))>
8.110 * * * [progress]: localizing error
8.149 * * * [progress]: generating rewritten candidates
8.149 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1 1)
8.150 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
8.150 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
8.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
8.154 * * * [progress]: generating series expansions
8.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1 1)
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.154 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.154 * [taylor]: Taking taylor expansion of 0 in a
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [taylor]: Taking taylor expansion of 0 in a
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [taylor]: Taking taylor expansion of 0 in a
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.155 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.155 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.155 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.155 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.155 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.155 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.155 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.156 * [taylor]: Taking taylor expansion of 0 in a
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [taylor]: Taking taylor expansion of 0 in a
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [taylor]: Taking taylor expansion of 0 in a
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify 0 into 0
8.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.156 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.157 * [taylor]: Taking taylor expansion of 0 in a
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [taylor]: Taking taylor expansion of 0 in a
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [taylor]: Taking taylor expansion of 0 in a
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.158 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1)
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of 0 in a
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [taylor]: Taking taylor expansion of 0 in a
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [taylor]: Taking taylor expansion of 0 in a
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of 0 in a
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [taylor]: Taking taylor expansion of 0 in a
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [taylor]: Taking taylor expansion of 0 in a
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
8.161 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.161 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
8.161 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.161 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.161 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.161 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.161 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.161 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.161 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.161 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.162 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.162 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.162 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.162 * [taylor]: Taking taylor expansion of 0 in a
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.163 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.163 * [backup-simplify]: Simplify 0 into 0
8.164 * [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.164 * [taylor]: Taking taylor expansion of 0 in a
8.164 * [backup-simplify]: Simplify 0 into 0
8.164 * [backup-simplify]: Simplify 0 into 0
8.165 * [backup-simplify]: Simplify 0 into 0
8.166 * [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.166 * [backup-simplify]: Simplify 0 into 0
8.168 * [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.168 * [taylor]: Taking taylor expansion of 0 in a
8.168 * [backup-simplify]: Simplify 0 into 0
8.168 * [backup-simplify]: Simplify 0 into 0
8.168 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.168 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.168 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.168 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.168 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.169 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.169 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.169 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.169 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.169 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.169 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.169 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.169 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.169 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.170 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.170 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.170 * [taylor]: Taking taylor expansion of 0 in a
8.170 * [backup-simplify]: Simplify 0 into 0
8.171 * [backup-simplify]: Simplify 0 into 0
8.171 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.171 * [backup-simplify]: Simplify 0 into 0
8.173 * [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.173 * [taylor]: Taking taylor expansion of 0 in a
8.173 * [backup-simplify]: Simplify 0 into 0
8.173 * [backup-simplify]: Simplify 0 into 0
8.173 * [backup-simplify]: Simplify 0 into 0
8.175 * [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.176 * [backup-simplify]: Simplify 0 into 0
8.179 * [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.179 * [taylor]: Taking taylor expansion of 0 in a
8.179 * [backup-simplify]: Simplify 0 into 0
8.179 * [backup-simplify]: Simplify 0 into 0
8.179 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
8.180 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.180 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.180 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.180 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.180 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.180 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.180 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.181 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.181 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.181 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.181 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.181 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.181 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.182 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.182 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.183 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.183 * [taylor]: Taking taylor expansion of 0 in a
8.183 * [backup-simplify]: Simplify 0 into 0
8.183 * [backup-simplify]: Simplify 0 into 0
8.184 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.184 * [backup-simplify]: Simplify 0 into 0
8.187 * [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.187 * [taylor]: Taking taylor expansion of 0 in a
8.187 * [backup-simplify]: Simplify 0 into 0
8.187 * [backup-simplify]: Simplify 0 into 0
8.187 * [backup-simplify]: Simplify 0 into 0
8.189 * [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.189 * [backup-simplify]: Simplify 0 into 0
8.193 * [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.193 * [taylor]: Taking taylor expansion of 0 in a
8.193 * [backup-simplify]: Simplify 0 into 0
8.193 * [backup-simplify]: Simplify 0 into 0
8.193 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
8.193 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
8.194 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.194 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
8.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.194 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.194 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.194 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.194 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.194 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.194 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.194 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.195 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.195 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.195 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.195 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.195 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.195 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.195 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.196 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.197 * [taylor]: Taking taylor expansion of 0 in a
8.197 * [backup-simplify]: Simplify 0 into 0
8.197 * [backup-simplify]: Simplify 0 into 0
8.198 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.198 * [backup-simplify]: Simplify 0 into 0
8.200 * [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.200 * [taylor]: Taking taylor expansion of 0 in a
8.200 * [backup-simplify]: Simplify 0 into 0
8.200 * [backup-simplify]: Simplify 0 into 0
8.200 * [backup-simplify]: Simplify 0 into 0
8.202 * [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.202 * [backup-simplify]: Simplify 0 into 0
8.217 * [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.217 * [taylor]: Taking taylor expansion of 0 in a
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.218 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.218 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.218 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.218 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.218 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.219 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.219 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.219 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.219 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.219 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.219 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.220 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.220 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.221 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.221 * [taylor]: Taking taylor expansion of 0 in a
8.221 * [backup-simplify]: Simplify 0 into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.222 * [backup-simplify]: Simplify 0 into 0
8.224 * [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.224 * [taylor]: Taking taylor expansion of 0 in a
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify 0 into 0
8.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
8.227 * [backup-simplify]: Simplify 0 into 0
8.230 * [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.230 * [taylor]: Taking taylor expansion of 0 in a
8.230 * [backup-simplify]: Simplify 0 into 0
8.230 * [backup-simplify]: Simplify 0 into 0
8.230 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
8.231 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.231 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.231 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.231 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.231 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.231 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.231 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.231 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.232 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.232 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.232 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.232 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.232 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.232 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.232 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.233 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.233 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.234 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.234 * [taylor]: Taking taylor expansion of 0 in a
8.234 * [backup-simplify]: Simplify 0 into 0
8.234 * [backup-simplify]: Simplify 0 into 0
8.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.235 * [backup-simplify]: Simplify 0 into 0
8.237 * [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.237 * [taylor]: Taking taylor expansion of 0 in a
8.237 * [backup-simplify]: Simplify 0 into 0
8.237 * [backup-simplify]: Simplify 0 into 0
8.237 * [backup-simplify]: Simplify 0 into 0
8.239 * [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.240 * [backup-simplify]: Simplify 0 into 0
8.243 * [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.243 * [taylor]: Taking taylor expansion of 0 in a
8.243 * [backup-simplify]: Simplify 0 into 0
8.243 * [backup-simplify]: Simplify 0 into 0
8.243 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
8.243 * * * [progress]: simplifying candidates
8.245 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
8.246 * * [simplify]: Extracting # 0 : cost  0
8.246 * * [simplify]: Extracting # 1 : cost  0
8.246 * * [simplify]: Extracting # 2 : cost  0
8.246 * * [simplify]: Extracting # 3 : cost  0
8.246 * * [simplify]: Extracting # 4 : cost  0
8.246 * * [simplify]: Extracting # 5 : cost  0
8.246 * * [simplify]: Extracting # 6 : cost  0
8.247 * * [simplify]: iteration  0 :  28  enodes  (cost  476 )
8.255 * * [simplify]: Extracting # 0 : cost  0
8.255 * * [simplify]: Extracting # 1 : cost  0
8.256 * * [simplify]: Extracting # 2 : cost  0
8.256 * * [simplify]: Extracting # 3 : cost  0
8.256 * * [simplify]: Extracting # 4 : cost  0
8.256 * * [simplify]: Extracting # 5 : cost  0
8.256 * * [simplify]: Extracting # 6 : cost  0
8.256 * * [simplify]: iteration  1 :  42  enodes  (cost  470 )
8.267 * * [simplify]: Extracting # 0 : cost  0
8.268 * * [simplify]: Extracting # 1 : cost  0
8.268 * * [simplify]: Extracting # 2 : cost  0
8.268 * * [simplify]: Extracting # 3 : cost  0
8.268 * * [simplify]: iteration  2 :  59  enodes  (cost  416 )
8.283 * * [simplify]: Extracting # 0 : cost  0
8.283 * * [simplify]: Extracting # 1 : cost  0
8.283 * * [simplify]: Extracting # 2 : cost  0
8.284 * * [simplify]: Extracting # 3 : cost  0
8.284 * * [simplify]: Extracting # 4 : cost  0
8.284 * * [simplify]: iteration  3 :  73  enodes  (cost  416 )
8.306 * * [simplify]: Extracting # 0 : cost  0
8.307 * * [simplify]: Extracting # 1 : cost  0
8.307 * * [simplify]: Extracting # 2 : cost  0
8.307 * * [simplify]: Extracting # 3 : cost  0
8.307 * * [simplify]: iteration  4 :  94  enodes  (cost  416 )
8.332 * * [simplify]: Extracting # 0 : cost  0
8.332 * * [simplify]: Extracting # 1 : cost  0
8.332 * * [simplify]: Extracting # 2 : cost  0
8.333 * * [simplify]: Extracting # 3 : cost  0
8.333 * * [simplify]: Extracting # 4 : cost  0
8.333 * * [simplify]: iteration  5 :  169  enodes  (cost  416 )
8.381 * * [simplify]: Extracting # 0 : cost  0
8.381 * * [simplify]: Extracting # 1 : cost  0
8.382 * * [simplify]: Extracting # 2 : cost  0
8.382 * * [simplify]: Extracting # 3 : cost  0
8.382 * * [simplify]: Extracting # 4 : cost  0
8.382 * * [simplify]: iteration  6 :  331  enodes  (cost  416 )
8.468 * * [simplify]: Extracting # 0 : cost  0
8.468 * * [simplify]: Extracting # 1 : cost  0
8.469 * * [simplify]: Extracting # 2 : cost  0
8.469 * * [simplify]: Extracting # 3 : cost  0
8.469 * * [simplify]: Extracting # 4 : cost  0
8.470 * * [simplify]: iteration  7 :  742  enodes  (cost  416 )
8.837 * * [simplify]: Extracting # 0 : cost  0
8.843 * * [simplify]: Extracting # 1 : cost  0
8.844 * * [simplify]: Extracting # 2 : cost  0
8.845 * * [simplify]: Extracting # 3 : cost  0
8.846 * * [simplify]: Extracting # 4 : cost  0
8.848 * * [simplify]: iteration  8 :  2324  enodes  (cost  416 )
9.701 * * [simplify]: Extracting # 0 : cost  0
9.715 * * [simplify]: Extracting # 1 : cost  0
9.723 * * [simplify]: Extracting # 2 : cost  0
9.727 * * [simplify]: Extracting # 3 : cost  0
9.732 * * [simplify]: Extracting # 4 : cost  0
9.736 * * [simplify]: iteration done:  5000  enodes  (cost  416 )
9.737 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
9.737 * * * [progress]: adding candidates to table
10.220 * [progress]: [Phase 3 of 3] Extracting.
10.221 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
10.228 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
10.228 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
10.509 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
10.745 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
11.023 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
11.253 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
11.497 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
11.498 * [simplify]: Simplifying:
  (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3)))
11.498 * * [simplify]: Extracting # 0 : cost  0
11.498 * * [simplify]: Extracting # 1 : cost  0
11.498 * * [simplify]: Extracting # 2 : cost  0
11.498 * * [simplify]: Extracting # 3 : cost  0
11.498 * * [simplify]: Extracting # 4 : cost  0
11.498 * * [simplify]: Extracting # 5 : cost  0
11.498 * * [simplify]: Extracting # 6 : cost  0
11.498 * * [simplify]: Extracting # 7 : cost  0
11.498 * * [simplify]: Extracting # 8 : cost  0
11.498 * * [simplify]: Extracting # 9 : cost  0
11.498 * * [simplify]: Extracting # 10 : cost  0
11.498 * * [simplify]: Extracting # 11 : cost  0
11.499 * * [simplify]: Extracting # 12 : cost  0
11.499 * * [simplify]: Extracting # 13 : cost  0
11.499 * * [simplify]: Extracting # 14 : cost  0
11.499 * * [simplify]: Extracting # 15 : cost  0
11.499 * * [simplify]: iteration  0 :  18  enodes  (cost  38 )
11.499 * * [simplify]: Extracting # 0 : cost  0
11.499 * * [simplify]: iteration  1 :  20  enodes  (cost  38 )
11.500 * * [simplify]: Extracting # 0 : cost  0
11.500 * * [simplify]: iteration done:  20  enodes  (cost  38 )
11.500 * [simplify]: Simplified to:
  (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3)))
35.783 * [regime-testing]: Baseline error score: 34.84054596104334
35.786 * [regime-testing]: Oracle error score: 34.794201225321686
35.791 * [regime-testing]: End program error score: 34.84054596104334