0.119 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.609 * * * [progress]: [2/2] Setting up program.
0.619 * [progress]: [Phase 2 of 3] Improving.
0.621 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.622 * * [simplify]: iteration 0: 5 enodes
0.628 * * [simplify]: iteration 1: 11 enodes
0.630 * * [simplify]: iteration 2: 14 enodes
0.634 * * [simplify]: iteration 3: 16 enodes
0.637 * * [simplify]: iteration complete: 16 enodes
0.638 * * [simplify]: Extracting #0: cost 1 inf + 0
0.638 * * [simplify]: Extracting #1: cost 3 inf + 0
0.638 * * [simplify]: Extracting #2: cost 7 inf + 0
0.639 * * [simplify]: Extracting #3: cost 5 inf + 5
0.639 * * [simplify]: Extracting #4: cost 4 inf + 14
0.639 * * [simplify]: Extracting #5: cost 0 inf + 26
0.639 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.641 * * [progress]: iteration 1 / 4
0.641 * * * [progress]: picking best candidate
0.648 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.648 * * * [progress]: localizing error
0.704 * * * [progress]: generating rewritten candidates
0.704 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.710 * * * [progress]: generating series expansions
0.710 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.715 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.715 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.717 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.718 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.719 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.719 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.719 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.719 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.719 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.719 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.723 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.723 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.724 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.724 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.724 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.725 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.725 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.726 * * * [progress]: simplifying candidates
0.726 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.726 * * [simplify]: iteration 0: 12 enodes
0.728 * * [simplify]: iteration 1: 19 enodes
0.730 * * [simplify]: iteration 2: 24 enodes
0.734 * * [simplify]: iteration 3: 30 enodes
0.739 * * [simplify]: iteration 4: 38 enodes
0.746 * * [simplify]: iteration 5: 72 enodes
0.761 * * [simplify]: iteration 6: 148 enodes
0.810 * * [simplify]: iteration 7: 334 enodes
0.995 * * [simplify]: iteration 8: 1006 enodes
1.895 * * [simplify]: iteration complete: 5001 enodes
1.895 * * [simplify]: Extracting #0: cost 7 inf + 0
1.896 * * [simplify]: Extracting #1: cost 360 inf + 0
1.903 * * [simplify]: Extracting #2: cost 1340 inf + 2
1.912 * * [simplify]: Extracting #3: cost 1400 inf + 92
1.919 * * [simplify]: Extracting #4: cost 1154 inf + 1891
1.924 * * [simplify]: Extracting #5: cost 409 inf + 17965
1.929 * * [simplify]: Extracting #6: cost 17 inf + 27799
1.934 * * [simplify]: Extracting #7: cost 0 inf + 28360
1.941 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (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))
1.942 * * * [progress]: adding candidates to table
1.980 * * [progress]: iteration 2 / 4
1.980 * * * [progress]: picking best candidate
1.998 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1.998 * * * [progress]: localizing error
2.012 * * * [progress]: generating rewritten candidates
2.012 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.013 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.013 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.043 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.048 * * * [progress]: generating series expansions
2.048 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.049 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.049 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.049 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.049 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.049 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.049 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.050 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.050 * [taylor]: Taking taylor expansion of 0 in a
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [taylor]: Taking taylor expansion of 0 in a
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [taylor]: Taking taylor expansion of 0 in a
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.050 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.050 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.051 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.051 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.051 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.051 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.051 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.051 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.051 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.051 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.052 * [taylor]: Taking taylor expansion of 0 in a
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [taylor]: Taking taylor expansion of 0 in a
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [taylor]: Taking taylor expansion of 0 in a
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify 0 into 0
2.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.052 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.053 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.053 * [taylor]: Taking taylor expansion of 0 in a
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [taylor]: Taking taylor expansion of 0 in a
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [taylor]: Taking taylor expansion of 0 in a
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify 0 into 0
2.054 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.054 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.054 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.054 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.055 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.055 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.055 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.055 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.055 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.055 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.055 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.055 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.055 * [taylor]: Taking taylor expansion of 0 in a
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [taylor]: Taking taylor expansion of 0 in a
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [taylor]: Taking taylor expansion of 0 in a
2.056 * [backup-simplify]: Simplify 0 into 0
2.056 * [backup-simplify]: Simplify 0 into 0
2.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.056 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.056 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.057 * [taylor]: Taking taylor expansion of 0 in a
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [taylor]: Taking taylor expansion of 0 in a
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 0 into 0
2.058 * [taylor]: Taking taylor expansion of 0 in a
2.058 * [backup-simplify]: Simplify 0 into 0
2.058 * [backup-simplify]: Simplify 0 into 0
2.058 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.058 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.058 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.058 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.058 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.058 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.059 * [taylor]: Taking taylor expansion of 0 in a
2.059 * [backup-simplify]: Simplify 0 into 0
2.059 * [backup-simplify]: Simplify 0 into 0
2.059 * [backup-simplify]: Simplify 0 into 0
2.059 * [taylor]: Taking taylor expansion of 0 in a
2.059 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [taylor]: Taking taylor expansion of 0 in a
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.060 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.060 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.060 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.060 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.061 * [taylor]: Taking taylor expansion of 0 in a
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [taylor]: Taking taylor expansion of 0 in a
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.062 * [taylor]: Taking taylor expansion of 0 in a
2.062 * [backup-simplify]: Simplify 0 into 0
2.062 * [backup-simplify]: Simplify 0 into 0
2.062 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.062 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.062 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.062 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.062 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.063 * [taylor]: Taking taylor expansion of 0 in a
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [taylor]: Taking taylor expansion of 0 in a
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [taylor]: Taking taylor expansion of 0 in a
2.063 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.064 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.064 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.064 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.065 * [taylor]: Taking taylor expansion of 0 in a
2.065 * [backup-simplify]: Simplify 0 into 0
2.065 * [backup-simplify]: Simplify 0 into 0
2.065 * [backup-simplify]: Simplify 0 into 0
2.065 * [taylor]: Taking taylor expansion of 0 in a
2.065 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [taylor]: Taking taylor expansion of 0 in a
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.066 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.066 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
2.066 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
2.066 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.067 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
2.067 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.067 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.068 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.068 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.068 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.068 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.068 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.069 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.069 * [taylor]: Taking taylor expansion of 0 in a
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.071 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.071 * [backup-simplify]: Simplify 0 into 0
2.071 * [backup-simplify]: Simplify 0 into 0
2.071 * [backup-simplify]: Simplify 0 into 0
2.072 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.072 * [backup-simplify]: Simplify 0 into 0
2.073 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
2.073 * [taylor]: Taking taylor expansion of 0 in a
2.073 * [backup-simplify]: Simplify 0 into 0
2.073 * [backup-simplify]: Simplify 0 into 0
2.073 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
2.073 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.073 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.073 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.073 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.073 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.074 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.074 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.074 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.074 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.074 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.074 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.074 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.075 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.075 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.075 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.075 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.075 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.075 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.075 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.076 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.076 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.076 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.076 * [taylor]: Taking taylor expansion of 0 in a
2.076 * [backup-simplify]: Simplify 0 into 0
2.076 * [backup-simplify]: Simplify 0 into 0
2.076 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.077 * [taylor]: Taking taylor expansion of 0 in a
2.077 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify 0 into 0
2.078 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.078 * [backup-simplify]: Simplify 0 into 0
2.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
2.079 * [taylor]: Taking taylor expansion of 0 in a
2.079 * [backup-simplify]: Simplify 0 into 0
2.079 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a)))
2.080 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.080 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.080 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.080 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.080 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.081 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.081 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.081 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.081 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.081 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.082 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.082 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.082 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.082 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.083 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.083 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.083 * [taylor]: Taking taylor expansion of 0 in a
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 0 into 0
2.084 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.084 * [taylor]: Taking taylor expansion of 0 in a
2.084 * [backup-simplify]: Simplify 0 into 0
2.084 * [backup-simplify]: Simplify 0 into 0
2.084 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.085 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
2.086 * [taylor]: Taking taylor expansion of 0 in a
2.086 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify 0 into 0
2.087 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a)))
2.087 * * * [progress]: simplifying candidates
2.088 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
2.090 * * [simplify]: iteration 0: 57 enodes
2.110 * * [simplify]: iteration 1: 117 enodes
2.151 * * [simplify]: iteration 2: 590 enodes
3.142 * * [simplify]: iteration complete: 5001 enodes
3.142 * * [simplify]: Extracting #0: cost 24 inf + 0
3.145 * * [simplify]: Extracting #1: cost 1491 inf + 3
3.152 * * [simplify]: Extracting #2: cost 1679 inf + 24
3.161 * * [simplify]: Extracting #3: cost 1675 inf + 42
3.166 * * [simplify]: Extracting #4: cost 1095 inf + 7247
3.172 * * [simplify]: Extracting #5: cost 269 inf + 18474
3.182 * * [simplify]: Extracting #6: cost 6 inf + 23046
3.193 * * [simplify]: Extracting #7: cost 0 inf + 23188
3.203 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1))
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1))
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (* (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)
  (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3)
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
3.204 * * * [progress]: adding candidates to table
3.506 * * [progress]: iteration 3 / 4
3.506 * * * [progress]: picking best candidate
3.590 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
3.590 * * * [progress]: localizing error
3.639 * * * [progress]: generating rewritten candidates
3.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
3.639 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
3.640 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
3.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.655 * * * [progress]: generating series expansions
3.655 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.656 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.656 * [taylor]: Taking taylor expansion of 0 in a
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [taylor]: Taking taylor expansion of 0 in a
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [taylor]: Taking taylor expansion of 0 in a
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.657 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.658 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.658 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.658 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.658 * [taylor]: Taking taylor expansion of 0 in a
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [taylor]: Taking taylor expansion of 0 in a
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [taylor]: Taking taylor expansion of 0 in a
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.659 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.659 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.659 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.660 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.660 * [taylor]: Taking taylor expansion of 0 in a
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [taylor]: Taking taylor expansion of 0 in a
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [taylor]: Taking taylor expansion of 0 in a
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.661 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.661 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.661 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.661 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.662 * [taylor]: Taking taylor expansion of 0 in a
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [taylor]: Taking taylor expansion of 0 in a
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [taylor]: Taking taylor expansion of 0 in a
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.662 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.663 * [taylor]: Taking taylor expansion of 0 in a
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [taylor]: Taking taylor expansion of 0 in a
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [taylor]: Taking taylor expansion of 0 in a
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.665 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.665 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.666 * [taylor]: Taking taylor expansion of 0 in a
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [taylor]: Taking taylor expansion of 0 in a
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [taylor]: Taking taylor expansion of 0 in a
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.666 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.667 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.667 * [taylor]: Taking taylor expansion of 0 in a
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [taylor]: Taking taylor expansion of 0 in a
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [taylor]: Taking taylor expansion of 0 in a
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.668 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.669 * [taylor]: Taking taylor expansion of 0 in a
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [taylor]: Taking taylor expansion of 0 in a
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [taylor]: Taking taylor expansion of 0 in a
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.670 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.671 * [taylor]: Taking taylor expansion of 0 in a
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [taylor]: Taking taylor expansion of 0 in a
3.671 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [taylor]: Taking taylor expansion of 0 in a
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.672 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.673 * [backup-simplify]: Simplify (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) into (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4)
3.673 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in (c a) around 0
3.673 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in a
3.673 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
3.673 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
3.673 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
3.673 * [taylor]: Taking taylor expansion of 1/6 in a
3.673 * [backup-simplify]: Simplify 1/6 into 1/6
3.673 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
3.673 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.673 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.674 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.674 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh c) (log1p a)))) into (* 1/6 (log (fmod (cosh c) (log1p a))))
3.674 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/6)
3.675 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in c
3.675 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
3.675 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
3.675 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
3.675 * [taylor]: Taking taylor expansion of 1/6 in c
3.675 * [backup-simplify]: Simplify 1/6 into 1/6
3.675 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.675 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.675 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.675 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.675 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh c) (log1p a)))) into (* 1/6 (log (fmod (cosh c) (log1p a))))
3.676 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/6)
3.676 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in c
3.676 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
3.676 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
3.676 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
3.676 * [taylor]: Taking taylor expansion of 1/6 in c
3.676 * [backup-simplify]: Simplify 1/6 into 1/6
3.676 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
3.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.676 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.676 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
3.676 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh c) (log1p a)))) into (* 1/6 (log (fmod (cosh c) (log1p a))))
3.678 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/6)
3.678 * [backup-simplify]: Simplify (* (pow (fmod (cosh c) (log1p a)) 1/6) (pow (fmod (cosh c) (log1p a)) 1/6)) into (pow (fmod (cosh c) (log1p a)) 1/3)
3.679 * [backup-simplify]: Simplify (* (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3)) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.679 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in a
3.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in a
3.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in a
3.679 * [taylor]: Taking taylor expansion of 1/3 in a
3.679 * [backup-simplify]: Simplify 1/3 into 1/3
3.679 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in a
3.679 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in a
3.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.680 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
3.680 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 2)) into (log (pow (fmod (cosh c) (log1p a)) 2))
3.680 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) into (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))
3.680 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.681 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.683 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
3.683 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
3.685 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.685 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/6) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/6))) into 0
3.686 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3))) into 0
3.686 * [taylor]: Taking taylor expansion of 0 in a
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0
3.687 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 1) into 0
3.688 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2)))) into 0
3.689 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.689 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
3.693 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
3.695 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.696 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/6) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/6)))) into 0
3.696 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3)))) into 0
3.696 * [taylor]: Taking taylor expansion of 0 in a
3.697 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0
3.700 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 2) 1)))) 2) into 0
3.701 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 2))))) into 0
3.702 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
3.708 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
3.710 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.711 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/6))))) into 0
3.712 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh c) (log1p a)) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 1/3))))) into 0
3.712 * [taylor]: Taking taylor expansion of 0 in a
3.712 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.713 * [backup-simplify]: Simplify (pow (cbrt (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ 3 1)) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4)
3.713 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in (c a) around 0
3.714 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in a
3.714 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
3.714 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
3.714 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
3.714 * [taylor]: Taking taylor expansion of 1/6 in a
3.714 * [backup-simplify]: Simplify 1/6 into 1/6
3.714 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.714 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.715 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
3.715 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)
3.715 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in c
3.715 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
3.715 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
3.715 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
3.715 * [taylor]: Taking taylor expansion of 1/6 in c
3.715 * [backup-simplify]: Simplify 1/6 into 1/6
3.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.715 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.716 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.716 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
3.716 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)
3.716 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in c
3.716 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
3.716 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
3.716 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
3.716 * [taylor]: Taking taylor expansion of 1/6 in c
3.716 * [backup-simplify]: Simplify 1/6 into 1/6
3.716 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.717 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.717 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
3.717 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)
3.718 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
3.718 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
3.718 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in a
3.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in a
3.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in a
3.718 * [taylor]: Taking taylor expansion of 1/3 in a
3.718 * [backup-simplify]: Simplify 1/3 into 1/3
3.718 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in a
3.718 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in a
3.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.719 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
3.719 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))
3.720 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))
3.720 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
3.720 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3)
3.721 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
3.722 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.723 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.724 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) into 0
3.724 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3))) into 0
3.724 * [taylor]: Taking taylor expansion of 0 in a
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0
3.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 1) into 0
3.727 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0
3.736 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.736 * [backup-simplify]: Simplify 0 into 0
3.739 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
3.740 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
3.742 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.743 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) into 0
3.744 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)))) into 0
3.744 * [taylor]: Taking taylor expansion of 0 in a
3.744 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify 0 into 0
3.745 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.748 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1)))) 2) into 0
3.749 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0
3.751 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.751 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
3.756 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
3.757 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.759 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))))) into 0
3.760 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3))))) into 0
3.760 * [taylor]: Taking taylor expansion of 0 in a
3.760 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify 0 into 0
3.761 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.761 * [backup-simplify]: Simplify (pow (cbrt (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (+ 3 1)) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4)
3.761 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in (c a) around 0
3.761 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in a
3.762 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
3.762 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
3.762 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
3.762 * [taylor]: Taking taylor expansion of 1/6 in a
3.762 * [backup-simplify]: Simplify 1/6 into 1/6
3.762 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.762 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.762 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
3.763 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)
3.763 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in c
3.763 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
3.763 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
3.763 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
3.763 * [taylor]: Taking taylor expansion of 1/6 in c
3.763 * [backup-simplify]: Simplify 1/6 into 1/6
3.763 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.763 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.763 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
3.764 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)
3.764 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in c
3.764 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
3.764 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
3.764 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
3.764 * [taylor]: Taking taylor expansion of 1/6 in c
3.764 * [backup-simplify]: Simplify 1/6 into 1/6
3.764 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.764 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.764 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.765 * [backup-simplify]: Simplify (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
3.765 * [backup-simplify]: Simplify (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)
3.766 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
3.766 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
3.766 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in a
3.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in a
3.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in a
3.766 * [taylor]: Taking taylor expansion of 1/3 in a
3.767 * [backup-simplify]: Simplify 1/3 into 1/3
3.767 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in a
3.767 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in a
3.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.767 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.767 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
3.767 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))
3.768 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))
3.768 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
3.768 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3)
3.770 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
3.770 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.771 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.772 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) into 0
3.772 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3))) into 0
3.772 * [taylor]: Taking taylor expansion of 0 in a
3.772 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0
3.774 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 1) into 0
3.775 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0
3.776 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.776 * [backup-simplify]: Simplify 0 into 0
3.778 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
3.779 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
3.781 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.782 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) into 0
3.783 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)))) into 0
3.783 * [taylor]: Taking taylor expansion of 0 in a
3.783 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify 0 into 0
3.784 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.786 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1)))) 2) into 0
3.787 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0
3.789 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.789 * [backup-simplify]: Simplify 0 into 0
3.793 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
3.794 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
3.796 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.798 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))))) into 0
3.799 * [backup-simplify]: Simplify (+ (* (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3))))) into 0
3.799 * [taylor]: Taking taylor expansion of 0 in a
3.799 * [backup-simplify]: Simplify 0 into 0
3.799 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 2) 1/3) into (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.800 * * * [progress]: simplifying candidates
3.802 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (* 1/3 (+ 3 1))
  (* 1 (+ 3 1))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (+ 3 1)) (cbrt (+ 3 1))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (+ 3 1)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (+ 3 1))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (+ 3 1))
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt (sqrt 1)) (+ 3 1))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (cbrt 1) (+ 3 1))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (+ 3 1))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (+ 3 1))
  (pow 1 (+ 3 1))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (* (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (+ 3 1) 2))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (+ 3 1) 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
3.804 * * [simplify]: iteration 0: 65 enodes
3.848 * * [simplify]: iteration 1: 192 enodes
3.972 * * [simplify]: iteration 2: 522 enodes
4.376 * * [simplify]: iteration 3: 2345 enodes
5.605 * * [simplify]: iteration complete: 5000 enodes
5.605 * * [simplify]: Extracting #0: cost 26 inf + 0
5.606 * * [simplify]: Extracting #1: cost 739 inf + 3
5.610 * * [simplify]: Extracting #2: cost 1271 inf + 275
5.616 * * [simplify]: Extracting #3: cost 1199 inf + 681
5.621 * * [simplify]: Extracting #4: cost 889 inf + 4272
5.625 * * [simplify]: Extracting #5: cost 229 inf + 15216
5.633 * * [simplify]: Extracting #6: cost 2 inf + 19885
5.637 * * [simplify]: Extracting #7: cost 0 inf + 19945
5.641 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (log (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  4/3
  4
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (fabs (cbrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  1
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  1
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
  (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  1
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
  (log (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (* (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 2))) (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 2))))
  (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (pow (fmod (cosh c) (log1p a)) 2)
  (sqrt (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (sqrt (cbrt (pow (fmod (cosh c) (log1p a)) 2)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
  (cbrt (pow (fmod (cosh c) (log1p a)) 2))
5.642 * * * [progress]: adding candidates to table
5.962 * * [progress]: iteration 4 / 4
5.962 * * * [progress]: picking best candidate
6.041 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
6.041 * * * [progress]: localizing error
6.085 * * * [progress]: generating rewritten candidates
6.085 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
6.085 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
6.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
6.086 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.091 * * * [progress]: generating series expansions
6.091 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
6.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.091 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.091 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.091 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.091 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.091 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.091 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.092 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.092 * [taylor]: Taking taylor expansion of 0 in a
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [taylor]: Taking taylor expansion of 0 in a
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [taylor]: Taking taylor expansion of 0 in a
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.092 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.093 * [taylor]: Taking taylor expansion of 0 in a
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [taylor]: Taking taylor expansion of 0 in a
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [taylor]: Taking taylor expansion of 0 in a
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.093 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.093 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.094 * [taylor]: Taking taylor expansion of 0 in a
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [taylor]: Taking taylor expansion of 0 in a
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [taylor]: Taking taylor expansion of 0 in a
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.094 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
6.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.094 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.094 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.095 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.095 * [taylor]: Taking taylor expansion of 0 in a
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [taylor]: Taking taylor expansion of 0 in a
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [taylor]: Taking taylor expansion of 0 in a
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.095 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.095 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.096 * [taylor]: Taking taylor expansion of 0 in a
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [taylor]: Taking taylor expansion of 0 in a
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [taylor]: Taking taylor expansion of 0 in a
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.096 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.097 * [taylor]: Taking taylor expansion of 0 in a
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [taylor]: Taking taylor expansion of 0 in a
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [taylor]: Taking taylor expansion of 0 in a
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.097 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
6.097 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.097 * [taylor]: Taking taylor expansion of 0 in a
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [taylor]: Taking taylor expansion of 0 in a
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [taylor]: Taking taylor expansion of 0 in a
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
6.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.098 * [taylor]: Taking taylor expansion of 0 in a
6.098 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [taylor]: Taking taylor expansion of 0 in a
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [taylor]: Taking taylor expansion of 0 in a
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.099 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
6.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.100 * [taylor]: Taking taylor expansion of 0 in a
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [taylor]: Taking taylor expansion of 0 in a
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [taylor]: Taking taylor expansion of 0 in a
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
6.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.100 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.100 * [approximate]: Taking taylor expansion of (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) in (c a) around 0
6.100 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) in a
6.100 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) in a
6.100 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) in a
6.100 * [taylor]: Taking taylor expansion of 4/3 in a
6.100 * [backup-simplify]: Simplify 4/3 into 4/3
6.100 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
6.100 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
6.100 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.100 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.100 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
6.100 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.101 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
6.101 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) into (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
6.101 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.101 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) in c
6.101 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) in c
6.101 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) in c
6.101 * [taylor]: Taking taylor expansion of 4/3 in c
6.101 * [backup-simplify]: Simplify 4/3 into 4/3
6.101 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
6.101 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
6.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.101 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
6.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.101 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
6.101 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) into (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
6.101 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.101 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) in c
6.101 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) in c
6.101 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) in c
6.102 * [taylor]: Taking taylor expansion of 4/3 in c
6.102 * [backup-simplify]: Simplify 4/3 into 4/3
6.102 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
6.102 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
6.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
6.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.102 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
6.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.102 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
6.102 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) into (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
6.102 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.102 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) in a
6.102 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) in a
6.102 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) in a
6.102 * [taylor]: Taking taylor expansion of 4/3 in a
6.102 * [backup-simplify]: Simplify 4/3 into 4/3
6.102 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
6.102 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
6.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
6.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
6.102 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
6.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.103 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
6.103 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh c) (log1p a))))) into (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
6.103 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.103 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.104 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
6.104 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh c) (log1p a)))))) into 0
6.105 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.105 * [taylor]: Taking taylor expansion of 0 in a
6.105 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
6.106 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh c) (log1p a)))))) into 0
6.106 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.106 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.108 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
6.109 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh c) (log1p a))))))) into 0
6.110 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.110 * [taylor]: Taking taylor expansion of 0 in a
6.110 * [backup-simplify]: Simplify 0 into 0
6.110 * [backup-simplify]: Simplify 0 into 0
6.110 * [backup-simplify]: Simplify 0 into 0
6.110 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.112 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
6.112 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh c) (log1p a))))))) into 0
6.113 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.113 * [backup-simplify]: Simplify 0 into 0
6.114 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
6.121 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh c) (log1p a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 6) into 0
6.121 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh c) (log1p a)))))))) into 0
6.122 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.122 * [taylor]: Taking taylor expansion of 0 in a
6.122 * [backup-simplify]: Simplify 0 into 0
6.123 * [backup-simplify]: Simplify 0 into 0
6.123 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.123 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.123 * [approximate]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) in (c a) around 0
6.123 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) in a
6.123 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in a
6.123 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
6.123 * [taylor]: Taking taylor expansion of 4/3 in a
6.123 * [backup-simplify]: Simplify 4/3 into 4/3
6.123 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
6.123 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.123 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.123 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.123 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.123 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.124 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.124 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.124 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) in c
6.124 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
6.124 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
6.124 * [taylor]: Taking taylor expansion of 4/3 in c
6.124 * [backup-simplify]: Simplify 4/3 into 4/3
6.124 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.124 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.124 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.124 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.125 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.125 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.125 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.125 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) in c
6.125 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in c
6.125 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
6.125 * [taylor]: Taking taylor expansion of 4/3 in c
6.125 * [backup-simplify]: Simplify 4/3 into 4/3
6.125 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
6.125 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
6.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
6.126 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.126 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.126 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.126 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.126 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.127 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.127 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) in a
6.127 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) in a
6.127 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
6.127 * [taylor]: Taking taylor expansion of 4/3 in a
6.127 * [backup-simplify]: Simplify 4/3 into 4/3
6.127 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
6.127 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
6.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
6.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
6.127 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
6.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.128 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
6.128 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))
6.128 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.129 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3) into (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4/3)
6.130 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
6.131 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
6.132 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.132 * [taylor]: Taking taylor expansion of 0 in a
6.132 * [backup-simplify]: Simplify 0 into 0
6.132 * [backup-simplify]: Simplify 0 into 0
6.133 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
6.134 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
6.135 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.135 * [backup-simplify]: Simplify 0 into 0
6.136 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.138 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
6.140 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
6.141 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.141 * [taylor]: Taking taylor expansion of 0 in a
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.143 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
6.143 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
6.144 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.144 * [backup-simplify]: Simplify 0 into 0
6.145 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
6.147 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 6) into 0
6.148 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))))) into 0
6.149 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.149 * [taylor]: Taking taylor expansion of 0 in a
6.149 * [backup-simplify]: Simplify 0 into 0
6.149 * [backup-simplify]: Simplify 0 into 0
6.149 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) 4/3) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.149 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 4/3) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.149 * [approximate]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) in (c a) around 0
6.149 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) in a
6.149 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in a
6.149 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
6.149 * [taylor]: Taking taylor expansion of 4/3 in a
6.149 * [backup-simplify]: Simplify 4/3 into 4/3
6.149 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
6.149 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.149 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.149 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.149 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.150 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.150 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.150 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.150 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) in c
6.150 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
6.150 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
6.150 * [taylor]: Taking taylor expansion of 4/3 in c
6.150 * [backup-simplify]: Simplify 4/3 into 4/3
6.150 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.150 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.150 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.151 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.151 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.151 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.151 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) in c
6.151 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in c
6.151 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
6.151 * [taylor]: Taking taylor expansion of 4/3 in c
6.151 * [backup-simplify]: Simplify 4/3 into 4/3
6.151 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
6.151 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
6.151 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
6.151 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.151 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.151 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.151 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.152 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.152 * [taylor]: Taking taylor expansion of (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) in a
6.152 * [taylor]: Taking taylor expansion of (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) in a
6.152 * [taylor]: Taking taylor expansion of (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
6.152 * [taylor]: Taking taylor expansion of 4/3 in a
6.152 * [backup-simplify]: Simplify 4/3 into 4/3
6.152 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
6.152 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
6.152 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
6.152 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
6.152 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
6.152 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.152 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
6.152 * [backup-simplify]: Simplify (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))
6.153 * [backup-simplify]: Simplify (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.153 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3) into (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4/3)
6.153 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
6.154 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
6.154 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [backup-simplify]: Simplify 0 into 0
6.155 * [backup-simplify]: Simplify 0 into 0
6.155 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
6.156 * [backup-simplify]: Simplify (+ (* 4/3 0) (* 0 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
6.156 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.156 * [backup-simplify]: Simplify 0 into 0
6.157 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.158 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
6.159 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
6.160 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.160 * [taylor]: Taking taylor expansion of 0 in a
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.162 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
6.162 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
6.163 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.163 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
6.166 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 6) into 0
6.167 * [backup-simplify]: Simplify (+ (* 4/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))))) into 0
6.168 * [backup-simplify]: Simplify (* (exp (* 4/3 (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify (pow (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) 4/3) into (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.168 * * * [progress]: simplifying candidates
6.169 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (log (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (* (log (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (* 1/2 4/3)
  (* 1 4/3)
  (* (/ 1 2) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) (* (cbrt 4/3) (cbrt 4/3)))
  (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3))
  (pow (sqrt (fmod (cosh c) (log1p a))) 1)
  (pow (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4/3)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 4/3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt 1) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow 1 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (log (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (exp (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (* (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))
  (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (* (* (pow (sqrt (fmod (cosh c) (log1p a))) 4/3) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (/ 4/3 2)
  (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (pow (sqrt (fmod (cosh c) (log1p a))) (/ 4/3 2))
  (pow (sqrt (fmod (cosh c) (log1p a))) (/ 4/3 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
6.169 * * [simplify]: iteration 0: 51 enodes
6.193 * * [simplify]: iteration 1: 129 enodes
6.231 * * [simplify]: iteration 2: 319 enodes
6.330 * * [simplify]: iteration 3: 850 enodes
6.892 * * [simplify]: iteration 4: 3052 enodes
7.946 * * [simplify]: iteration complete: 5000 enodes
7.946 * * [simplify]: Extracting #0: cost 25 inf + 0
7.947 * * [simplify]: Extracting #1: cost 634 inf + 3
7.950 * * [simplify]: Extracting #2: cost 1279 inf + 70
7.956 * * [simplify]: Extracting #3: cost 1367 inf + 184
7.961 * * [simplify]: Extracting #4: cost 1269 inf + 725
7.968 * * [simplify]: Extracting #5: cost 600 inf + 11604
7.977 * * [simplify]: Extracting #6: cost 49 inf + 22528
7.982 * * [simplify]: Extracting #7: cost 1 inf + 23616
7.991 * * [simplify]: Extracting #8: cost 0 inf + 23638
7.996 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
  (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
  2/3
  4/3
  2/3
  (pow (sqrt (fmod (cosh c) (log1p a))) (* (cbrt 4/3) (cbrt 4/3)))
  (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (pow (sqrt (fmod (cosh c) (log1p a))) 2/3) 4/3)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (fabs (cbrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4/3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (* (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))
  (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 4/3))
  (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1))
  2/3
  (fabs (pow (sqrt (fmod (cosh c) (log1p a))) 2/3))
  (fabs (pow (sqrt (fmod (cosh c) (log1p a))) 2/3))
  (pow (sqrt (fmod (cosh c) (log1p a))) 2/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 2/3)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)
7.997 * * * [progress]: adding candidates to table
8.294 * [progress]: [Phase 3 of 3] Extracting.
8.294 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.300 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
8.300 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.474 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.586 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.747 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.830 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (exp (* 4/3 (log (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (+ 3 1)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (exp (log (fmod (cosh c) (log1p a))))) 4/3) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 2) 4) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (+ 3 1)) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt (+ 3 1))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (log (exp (cbrt (pow (fmod (cosh c) (log1p a)) 2)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>)
8.942 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
8.943 * [simplify]: Simplifying:
  (* (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
8.943 * * [simplify]: iteration 0: 13 enodes
8.944 * * [simplify]: iteration 1: 14 enodes
8.945 * * [simplify]: iteration complete: 14 enodes
8.945 * * [simplify]: Extracting #0: cost 1 inf + 0
8.945 * * [simplify]: Extracting #1: cost 3 inf + 0
8.945 * * [simplify]: Extracting #2: cost 6 inf + 0
8.945 * * [simplify]: Extracting #3: cost 8 inf + 0
8.945 * * [simplify]: Extracting #4: cost 7 inf + 3
8.945 * * [simplify]: Extracting #5: cost 9 inf + 3
8.945 * * [simplify]: Extracting #6: cost 11 inf + 3
8.945 * * [simplify]: Extracting #7: cost 8 inf + 7
8.945 * * [simplify]: Extracting #8: cost 7 inf + 9
8.945 * * [simplify]: Extracting #9: cost 5 inf + 20
8.945 * * [simplify]: Extracting #10: cost 1 inf + 63
8.945 * * [simplify]: Extracting #11: cost 0 inf + 91
8.945 * [simplify]: Simplified to:
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (sqrt (fmod (cosh c) (log1p a))) (sqrt 4/3)) (sqrt 4/3)))
30.778 * [regime-testing]: Baseline error score: 34.044114185252425
30.781 * [regime-testing]: Oracle error score: 34.006481914259595
30.786 * [regime-testing]: End program error score: 34.044114185252425