0.167 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.831 * * * [progress]: [2/2] Setting up program.
0.837 * [progress]: [Phase 2 of 3] Improving.
0.840 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.841 * [simplify]: Sending expressions to egg_math:
 (fmod (cosh h1) (log1p h0))
12.352 * * [progress]: iteration 1 / 4
12.352 * * * [progress]: picking best candidate
12.359 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
12.359 * * * [progress]: localizing error
12.379 * * * [progress]: generating rewritten candidates
12.379 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
12.422 * * * [progress]: generating series expansions
12.423 * * * * [progress]: [ 1 / 1 ] generating series at (2)
12.425 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.426 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.428 * [taylor]: Taking taylor expansion of 0 in a
12.428 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [taylor]: Taking taylor expansion of 0 in a
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [taylor]: Taking taylor expansion of 0 in a
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify 0 into 0
12.429 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.430 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.430 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.430 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.431 * [taylor]: Taking taylor expansion of 0 in a
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [taylor]: Taking taylor expansion of 0 in a
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [taylor]: Taking taylor expansion of 0 in a
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify 0 into 0
12.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.434 * [taylor]: Taking taylor expansion of 0 in a
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [taylor]: Taking taylor expansion of 0 in a
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [taylor]: Taking taylor expansion of 0 in a
12.434 * [backup-simplify]: Simplify 0 into 0
12.434 * [backup-simplify]: Simplify 0 into 0
12.435 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.435 * * * [progress]: simplifying candidates
12.435 * [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))
12.435 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
14.902 * * * [progress]: adding candidates to table
14.948 * * [progress]: iteration 2 / 4
14.948 * * * [progress]: picking best candidate
14.969 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
14.969 * * * [progress]: localizing error
14.979 * * * [progress]: generating rewritten candidates
14.979 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
14.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
14.980 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
14.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
15.011 * * * [progress]: generating series expansions
15.011 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.011 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.011 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.011 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.012 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.012 * [taylor]: Taking taylor expansion of 0 in a
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [taylor]: Taking taylor expansion of 0 in a
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [taylor]: Taking taylor expansion of 0 in a
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.013 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.014 * [taylor]: Taking taylor expansion of 0 in a
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [taylor]: Taking taylor expansion of 0 in a
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [taylor]: Taking taylor expansion of 0 in a
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.015 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.015 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.016 * [taylor]: Taking taylor expansion of 0 in a
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [taylor]: Taking taylor expansion of 0 in a
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [taylor]: Taking taylor expansion of 0 in a
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify 0 into 0
15.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.016 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.017 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.017 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.018 * [taylor]: Taking taylor expansion of 0 in a
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [taylor]: Taking taylor expansion of 0 in a
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [taylor]: Taking taylor expansion of 0 in a
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.018 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.019 * [taylor]: Taking taylor expansion of 0 in a
15.019 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [taylor]: Taking taylor expansion of 0 in a
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [taylor]: Taking taylor expansion of 0 in a
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.020 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.020 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.020 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.022 * [taylor]: Taking taylor expansion of 0 in a
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [taylor]: Taking taylor expansion of 0 in a
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [taylor]: Taking taylor expansion of 0 in a
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.022 * * * * [progress]: [ 3 / 4 ] generating series at (2)
15.023 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
15.023 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.023 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.023 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.023 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.023 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.023 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.024 * [taylor]: Taking taylor expansion of 0 in a
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [taylor]: Taking taylor expansion of 0 in a
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [taylor]: Taking taylor expansion of 0 in a
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.025 * [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)))
15.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.026 * [taylor]: Taking taylor expansion of 0 in a
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [taylor]: Taking taylor expansion of 0 in a
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [taylor]: Taking taylor expansion of 0 in a
15.026 * [backup-simplify]: Simplify 0 into 0
15.026 * [backup-simplify]: Simplify 0 into 0
15.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.027 * [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)))
15.027 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.027 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.028 * [taylor]: Taking taylor expansion of 0 in a
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [taylor]: Taking taylor expansion of 0 in a
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify 0 into 0
15.028 * [taylor]: Taking taylor expansion of 0 in a
15.029 * [backup-simplify]: Simplify 0 into 0
15.029 * [backup-simplify]: Simplify 0 into 0
15.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.029 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
15.029 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.029 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
15.029 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
15.029 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.029 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.030 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.030 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.030 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
15.030 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.030 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.030 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.030 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.030 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
15.030 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.030 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.030 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.031 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
15.031 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.031 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.031 * [taylor]: Taking taylor expansion of 0 in a
15.031 * [backup-simplify]: Simplify 0 into 0
15.031 * [backup-simplify]: Simplify 0 into 0
15.031 * [backup-simplify]: Simplify 0 into 0
15.033 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.033 * [taylor]: Taking taylor expansion of 0 in a
15.033 * [backup-simplify]: Simplify 0 into 0
15.033 * [backup-simplify]: Simplify 0 into 0
15.033 * [backup-simplify]: Simplify 0 into 0
15.034 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.034 * [backup-simplify]: Simplify 0 into 0
15.035 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
15.035 * [taylor]: Taking taylor expansion of 0 in a
15.035 * [backup-simplify]: Simplify 0 into 0
15.035 * [backup-simplify]: Simplify 0 into 0
15.035 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
15.035 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.035 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
15.035 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
15.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.036 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.036 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.036 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
15.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.036 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.036 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.036 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
15.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.037 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.037 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
15.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.037 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.038 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.038 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
15.038 * [taylor]: Taking taylor expansion of 0 in a
15.038 * [backup-simplify]: Simplify 0 into 0
15.038 * [backup-simplify]: Simplify 0 into 0
15.038 * [backup-simplify]: Simplify 0 into 0
15.039 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.039 * [taylor]: Taking taylor expansion of 0 in a
15.039 * [backup-simplify]: Simplify 0 into 0
15.039 * [backup-simplify]: Simplify 0 into 0
15.039 * [backup-simplify]: Simplify 0 into 0
15.040 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.040 * [backup-simplify]: Simplify 0 into 0
15.041 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
15.041 * [taylor]: Taking taylor expansion of 0 in a
15.041 * [backup-simplify]: Simplify 0 into 0
15.041 * [backup-simplify]: Simplify 0 into 0
15.041 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a)))
15.041 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.041 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
15.041 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
15.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.041 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.041 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.042 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.042 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
15.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.042 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.042 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.042 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
15.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.042 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.043 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.043 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.043 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
15.043 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.043 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.043 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.043 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.044 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
15.044 * [taylor]: Taking taylor expansion of 0 in a
15.044 * [backup-simplify]: Simplify 0 into 0
15.044 * [backup-simplify]: Simplify 0 into 0
15.044 * [backup-simplify]: Simplify 0 into 0
15.045 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.045 * [taylor]: Taking taylor expansion of 0 in a
15.045 * [backup-simplify]: Simplify 0 into 0
15.045 * [backup-simplify]: Simplify 0 into 0
15.045 * [backup-simplify]: Simplify 0 into 0
15.045 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.046 * [backup-simplify]: Simplify 0 into 0
15.046 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
15.046 * [taylor]: Taking taylor expansion of 0 in a
15.046 * [backup-simplify]: Simplify 0 into 0
15.046 * [backup-simplify]: Simplify 0 into 0
15.047 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a)))
15.047 * * * [progress]: simplifying candidates
15.048 * [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)))
15.049 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (+ h2 h2)
 (+ h2 (/ 1 2))
 (+ 1 1)
 (+ (/ 1 2) h2)
 (+ (/ 1 2) (/ 1 2))
 (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)))
 (+ 1 1)
 (+ (log (sqrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))))
 (log (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (exp (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (* (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0)))) (* (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (cbrt (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))) (cbrt (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))))
 (cbrt (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (* (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))) (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))) (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)))
 (sqrt (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (sqrt (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (cbrt (sqrt (fmod (cosh h1) (log1p h0))))) (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (cbrt (sqrt (fmod (cosh h1) (log1p h0))))))
 (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (cbrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))) (sqrt (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))))
 (* (sqrt (cbrt (fmod (cosh h1) (log1p h0)))) (sqrt (cbrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* 1 1)
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* 2 h2)
 (* 2 1)
 (* 2 (/ 1 2))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (cbrt (sqrt (fmod (cosh h1) (log1p h0))))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt 1))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) 1)
 (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (cbrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0))))
 (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (exp (sqrt (fmod (cosh h1) (log1p h0))))
 (* (cbrt (sqrt (fmod (cosh h1) (log1p h0)))) (cbrt (sqrt (fmod (cosh h1) (log1p h0)))))
 (cbrt (sqrt (fmod (cosh h1) (log1p h0))))
 (* (* (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0)))) (sqrt (fmod (cosh h1) (log1p h0))))
 (sqrt (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (sqrt (cbrt (fmod (cosh h1) (log1p h0))))
 (sqrt (sqrt (fmod (cosh h1) (log1p h0))))
 (sqrt (sqrt (fmod (cosh h1) (log1p h0))))
 (sqrt 1)
 (sqrt (fmod (cosh h1) (log1p h0)))
 (/ 1 2)
 (sqrt (sqrt (fmod (cosh h1) (log1p h0))))
 (sqrt (sqrt (fmod (cosh h1) (log1p h0))))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
20.973 * * * [progress]: adding candidates to table
21.199 * * [progress]: iteration 3 / 4
21.199 * * * [progress]: picking best candidate
21.241 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
21.241 * * * [progress]: localizing error
21.253 * * * [progress]: generating rewritten candidates
21.253 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
21.253 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
21.254 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
21.258 * * * [progress]: generating series expansions
21.258 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
21.258 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.258 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
21.258 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.258 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.258 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.258 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.259 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.259 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.259 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.259 * [taylor]: Taking taylor expansion of 0 in a
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [taylor]: Taking taylor expansion of 0 in a
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [taylor]: Taking taylor expansion of 0 in a
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.259 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.259 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
21.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.259 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.259 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.260 * [taylor]: Taking taylor expansion of 0 in a
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [taylor]: Taking taylor expansion of 0 in a
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [taylor]: Taking taylor expansion of 0 in a
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.260 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
21.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.260 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.261 * [taylor]: Taking taylor expansion of 0 in a
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [taylor]: Taking taylor expansion of 0 in a
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [taylor]: Taking taylor expansion of 0 in a
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
21.261 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
21.261 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.261 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
21.261 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
21.261 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.262 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.262 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.262 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
21.262 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.262 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.262 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.262 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
21.262 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.262 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.262 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.262 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
21.262 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.262 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.262 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.262 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.263 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
21.264 * [taylor]: Taking taylor expansion of 0 in a
21.264 * [backup-simplify]: Simplify 0 into 0
21.264 * [backup-simplify]: Simplify 0 into 0
21.265 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
21.265 * [backup-simplify]: Simplify 0 into 0
21.267 * [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
21.267 * [taylor]: Taking taylor expansion of 0 in a
21.267 * [backup-simplify]: Simplify 0 into 0
21.268 * [backup-simplify]: Simplify 0 into 0
21.268 * [backup-simplify]: Simplify 0 into 0
21.270 * [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
21.270 * [backup-simplify]: Simplify 0 into 0
21.273 * [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
21.273 * [taylor]: Taking taylor expansion of 0 in a
21.273 * [backup-simplify]: Simplify 0 into 0
21.273 * [backup-simplify]: Simplify 0 into 0
21.273 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
21.274 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.274 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
21.274 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
21.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.274 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.274 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
21.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.275 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
21.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.275 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
21.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.275 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.275 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
21.276 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
21.276 * [taylor]: Taking taylor expansion of 0 in a
21.276 * [backup-simplify]: Simplify 0 into 0
21.276 * [backup-simplify]: Simplify 0 into 0
21.277 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
21.277 * [backup-simplify]: Simplify 0 into 0
21.278 * [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
21.278 * [taylor]: Taking taylor expansion of 0 in a
21.278 * [backup-simplify]: Simplify 0 into 0
21.278 * [backup-simplify]: Simplify 0 into 0
21.278 * [backup-simplify]: Simplify 0 into 0
21.279 * [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
21.279 * [backup-simplify]: Simplify 0 into 0
21.281 * [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
21.281 * [taylor]: Taking taylor expansion of 0 in a
21.281 * [backup-simplify]: Simplify 0 into 0
21.281 * [backup-simplify]: Simplify 0 into 0
21.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
21.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.282 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
21.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
21.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
21.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
21.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.282 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.282 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.283 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
21.283 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.283 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.283 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.283 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
21.283 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
21.284 * [taylor]: Taking taylor expansion of 0 in a
21.284 * [backup-simplify]: Simplify 0 into 0
21.284 * [backup-simplify]: Simplify 0 into 0
21.284 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
21.284 * [backup-simplify]: Simplify 0 into 0
21.285 * [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
21.285 * [taylor]: Taking taylor expansion of 0 in a
21.285 * [backup-simplify]: Simplify 0 into 0
21.286 * [backup-simplify]: Simplify 0 into 0
21.286 * [backup-simplify]: Simplify 0 into 0
21.287 * [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
21.287 * [backup-simplify]: Simplify 0 into 0
21.289 * [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
21.289 * [taylor]: Taking taylor expansion of 0 in a
21.289 * [backup-simplify]: Simplify 0 into 0
21.289 * [backup-simplify]: Simplify 0 into 0
21.289 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
21.289 * * * * [progress]: [ 3 / 3 ] generating series at (2)
21.289 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
21.289 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
21.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
21.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
21.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.290 * [taylor]: Taking taylor expansion of 0 in a
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [taylor]: Taking taylor expansion of 0 in a
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [taylor]: Taking taylor expansion of 0 in a
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify 0 into 0
21.290 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
21.290 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.290 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
21.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.290 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.290 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
21.290 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
21.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
21.291 * [taylor]: Taking taylor expansion of 0 in a
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [taylor]: Taking taylor expansion of 0 in a
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [taylor]: Taking taylor expansion of 0 in a
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify 0 into 0
21.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
21.291 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.291 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
21.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.292 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
21.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.292 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
21.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
21.292 * [taylor]: Taking taylor expansion of 0 in a
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [taylor]: Taking taylor expansion of 0 in a
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [taylor]: Taking taylor expansion of 0 in a
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify 0 into 0
21.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
21.292 * * * [progress]: simplifying candidates
21.293 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
21.293 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (log (cbrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log 1)
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (log (fmod (cosh h1) (log1p h0))))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (exp 1)
 (exp (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))))
 (exp (sqrt (log (fmod (cosh h1) (log1p h0)))))
 (exp 1)
 (exp (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))))
 (exp (log (cbrt (fmod (cosh h1) (log1p h0)))))
 (exp (log (sqrt (fmod (cosh h1) (log1p h0)))))
 (exp (log (sqrt (fmod (cosh h1) (log1p h0)))))
 (exp (log 1))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (log (exp (log (fmod (cosh h1) (log1p h0)))))
 (exp (exp (log (fmod (cosh h1) (log1p h0)))))
 (* (cbrt (exp (log (fmod (cosh h1) (log1p h0))))) (cbrt (exp (log (fmod (cosh h1) (log1p h0))))))
 (cbrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (* (* (exp (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0))))) (exp (log (fmod (cosh h1) (log1p h0)))))
 (sqrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (sqrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
22.287 * * * [progress]: adding candidates to table
22.454 * * [progress]: iteration 4 / 4
22.454 * * * [progress]: picking best candidate
22.540 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
22.540 * * * [progress]: localizing error
22.559 * * * [progress]: generating rewritten candidates
22.559 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
22.560 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
22.562 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
22.587 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
22.592 * * * [progress]: generating series expansions
22.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
22.592 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.592 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
22.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.592 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.592 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.592 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.593 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.593 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.593 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.593 * [taylor]: Taking taylor expansion of 0 in a
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [taylor]: Taking taylor expansion of 0 in a
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [taylor]: Taking taylor expansion of 0 in a
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify 0 into 0
22.593 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.593 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
22.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.594 * [taylor]: Taking taylor expansion of 0 in a
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [taylor]: Taking taylor expansion of 0 in a
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [taylor]: Taking taylor expansion of 0 in a
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify 0 into 0
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.594 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
22.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.594 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.595 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.595 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.595 * [taylor]: Taking taylor expansion of 0 in a
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [taylor]: Taking taylor expansion of 0 in a
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [taylor]: Taking taylor expansion of 0 in a
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify 0 into 0
22.595 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
22.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
22.595 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.595 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
22.596 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
22.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.596 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.596 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
22.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.596 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.596 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
22.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.596 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.596 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
22.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.596 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.596 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.597 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
22.597 * [taylor]: Taking taylor expansion of 0 in a
22.597 * [backup-simplify]: Simplify 0 into 0
22.597 * [backup-simplify]: Simplify 0 into 0
22.598 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
22.598 * [backup-simplify]: Simplify 0 into 0
22.599 * [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
22.599 * [taylor]: Taking taylor expansion of 0 in a
22.599 * [backup-simplify]: Simplify 0 into 0
22.599 * [backup-simplify]: Simplify 0 into 0
22.599 * [backup-simplify]: Simplify 0 into 0
22.601 * [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
22.601 * [backup-simplify]: Simplify 0 into 0
22.605 * [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
22.605 * [taylor]: Taking taylor expansion of 0 in a
22.605 * [backup-simplify]: Simplify 0 into 0
22.605 * [backup-simplify]: Simplify 0 into 0
22.605 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.606 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
22.606 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
22.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.606 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
22.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.607 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.607 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
22.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.607 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.607 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
22.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.608 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.608 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
22.610 * [taylor]: Taking taylor expansion of 0 in a
22.610 * [backup-simplify]: Simplify 0 into 0
22.610 * [backup-simplify]: Simplify 0 into 0
22.611 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
22.611 * [backup-simplify]: Simplify 0 into 0
22.613 * [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
22.613 * [taylor]: Taking taylor expansion of 0 in a
22.613 * [backup-simplify]: Simplify 0 into 0
22.614 * [backup-simplify]: Simplify 0 into 0
22.614 * [backup-simplify]: Simplify 0 into 0
22.616 * [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
22.616 * [backup-simplify]: Simplify 0 into 0
22.620 * [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
22.620 * [taylor]: Taking taylor expansion of 0 in a
22.620 * [backup-simplify]: Simplify 0 into 0
22.620 * [backup-simplify]: Simplify 0 into 0
22.620 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
22.621 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.621 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
22.621 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
22.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.621 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.621 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.621 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
22.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.621 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.622 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
22.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.622 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.622 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.622 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
22.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.622 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.623 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.623 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.624 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
22.624 * [taylor]: Taking taylor expansion of 0 in a
22.624 * [backup-simplify]: Simplify 0 into 0
22.624 * [backup-simplify]: Simplify 0 into 0
22.625 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
22.625 * [backup-simplify]: Simplify 0 into 0
22.628 * [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
22.628 * [taylor]: Taking taylor expansion of 0 in a
22.628 * [backup-simplify]: Simplify 0 into 0
22.628 * [backup-simplify]: Simplify 0 into 0
22.628 * [backup-simplify]: Simplify 0 into 0
22.630 * [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
22.631 * [backup-simplify]: Simplify 0 into 0
22.635 * [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
22.635 * [taylor]: Taking taylor expansion of 0 in a
22.635 * [backup-simplify]: Simplify 0 into 0
22.635 * [backup-simplify]: Simplify 0 into 0
22.635 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
22.635 * * * * [progress]: [ 3 / 4 ] generating series at (2)
22.635 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (fmod (cosh c) (log1p a))
22.635 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
22.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [taylor]: Taking taylor expansion of 0 in a
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [taylor]: Taking taylor expansion of 0 in a
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [taylor]: Taking taylor expansion of 0 in a
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify 0 into 0
22.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.636 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
22.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.637 * [taylor]: Taking taylor expansion of 0 in a
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [taylor]: Taking taylor expansion of 0 in a
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [taylor]: Taking taylor expansion of 0 in a
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify 0 into 0
22.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
22.638 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
22.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.638 * [taylor]: Taking taylor expansion of 0 in a
22.638 * [backup-simplify]: Simplify 0 into 0
22.638 * [backup-simplify]: Simplify 0 into 0
22.638 * [backup-simplify]: Simplify 0 into 0
22.638 * [taylor]: Taking taylor expansion of 0 in a
22.638 * [backup-simplify]: Simplify 0 into 0
22.638 * [backup-simplify]: Simplify 0 into 0
22.639 * [backup-simplify]: Simplify 0 into 0
22.639 * [backup-simplify]: Simplify 0 into 0
22.639 * [taylor]: Taking taylor expansion of 0 in a
22.639 * [backup-simplify]: Simplify 0 into 0
22.639 * [backup-simplify]: Simplify 0 into 0
22.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
22.639 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
22.639 * [backup-simplify]: Simplify (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) into (log (fmod (cosh c) (log1p a)))
22.639 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
22.639 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
22.639 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.639 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.639 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.639 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
22.639 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.639 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.639 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.639 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
22.639 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
22.639 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.639 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.640 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
22.640 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
22.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
22.640 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.640 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.640 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
22.641 * [taylor]: Taking taylor expansion of 0 in a
22.641 * [backup-simplify]: Simplify 0 into 0
22.641 * [backup-simplify]: Simplify 0 into 0
22.641 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
22.641 * [backup-simplify]: Simplify 0 into 0
22.642 * [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
22.642 * [taylor]: Taking taylor expansion of 0 in a
22.642 * [backup-simplify]: Simplify 0 into 0
22.643 * [backup-simplify]: Simplify 0 into 0
22.643 * [backup-simplify]: Simplify 0 into 0
22.644 * [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
22.644 * [backup-simplify]: Simplify 0 into 0
22.646 * [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
22.646 * [taylor]: Taking taylor expansion of 0 in a
22.646 * [backup-simplify]: Simplify 0 into 0
22.646 * [backup-simplify]: Simplify 0 into 0
22.646 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
22.646 * [backup-simplify]: Simplify (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.646 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
22.647 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
22.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.647 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.647 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
22.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.647 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.647 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
22.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
22.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.647 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.647 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
22.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
22.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
22.648 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.648 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
22.649 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
22.649 * [taylor]: Taking taylor expansion of 0 in a
22.649 * [backup-simplify]: Simplify 0 into 0
22.649 * [backup-simplify]: Simplify 0 into 0
22.650 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
22.650 * [backup-simplify]: Simplify 0 into 0
22.651 * [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
22.651 * [taylor]: Taking taylor expansion of 0 in a
22.651 * [backup-simplify]: Simplify 0 into 0
22.651 * [backup-simplify]: Simplify 0 into 0
22.651 * [backup-simplify]: Simplify 0 into 0
22.653 * [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
22.653 * [backup-simplify]: Simplify 0 into 0
22.655 * [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
22.655 * [taylor]: Taking taylor expansion of 0 in a
22.655 * [backup-simplify]: Simplify 0 into 0
22.655 * [backup-simplify]: Simplify 0 into 0
22.655 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
22.655 * [backup-simplify]: Simplify (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3)) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.655 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
22.655 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
22.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.656 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
22.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.656 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
22.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
22.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.656 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
22.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
22.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
22.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
22.657 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
22.657 * [taylor]: Taking taylor expansion of 0 in a
22.657 * [backup-simplify]: Simplify 0 into 0
22.657 * [backup-simplify]: Simplify 0 into 0
22.658 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
22.658 * [backup-simplify]: Simplify 0 into 0
22.659 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
22.659 * [taylor]: Taking taylor expansion of 0 in a
22.659 * [backup-simplify]: Simplify 0 into 0
22.659 * [backup-simplify]: Simplify 0 into 0
22.659 * [backup-simplify]: Simplify 0 into 0
22.661 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
22.661 * [backup-simplify]: Simplify 0 into 0
22.665 * [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
22.665 * [taylor]: Taking taylor expansion of 0 in a
22.665 * [backup-simplify]: Simplify 0 into 0
22.665 * [backup-simplify]: Simplify 0 into 0
22.665 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
22.665 * * * [progress]: simplifying candidates
22.667 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (log (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt 1)
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)))
  (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
22.667 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (log (cbrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log 1)
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (log (fmod (cosh h1) (log1p h0))))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3)))
 (exp (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3)))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))))))
 (exp (cbrt (* (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3)))
 (exp (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3)))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (exp (cbrt (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (exp (cbrt 1))
 (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2))))
 (exp (* (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))))
 (exp (sqrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (exp 1)
 (log (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (exp (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (* (cbrt (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))))
 (cbrt (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (* (* (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (sqrt (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (sqrt (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (log (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (exp (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (cbrt (pow 1 3))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))
 (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3))
 (cbrt (pow (cbrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))
 (cbrt (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (cbrt (* (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (cbrt (pow 1 3))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))
 (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3))
 (cbrt (pow (cbrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (cbrt (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (cbrt (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (cbrt 1)
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2)))
 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2)))
 (* (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))
 (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (* (* (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (sqrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (sqrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
24.872 * * * [progress]: adding candidates to table
25.146 * [progress]: [Phase 3 of 3] Extracting.
25.146 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.151 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
25.151 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.272 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.384 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.567 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.709 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (pow (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 (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>)
25.839 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
25.840 * [simplify]: Simplifying:
  (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
25.840 * [simplify]: Sending expressions to egg_math:
 (exp (cbrt (pow (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) 3)))
46.801 * [regime-testing]: Baseline error score: 34.379761786279715
46.804 * [regime-testing]: Oracle error score: 34.34602242534056
46.808 * [regime-testing]: End program error score: 34.37932543775258