0.096 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.896 * * * [progress]: [2/2] Setting up program.
0.902 * [progress]: [Phase 2 of 3] Improving.
0.903 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.904 * * [simplify]: iteration 0: 5 enodes
0.907 * * [simplify]: iteration 1: 11 enodes
0.909 * * [simplify]: iteration 2: 14 enodes
0.911 * * [simplify]: iteration 3: 16 enodes
0.913 * * [simplify]: iteration complete: 16 enodes
0.913 * * [simplify]: Extracting #0: cost 1 inf + 0
0.913 * * [simplify]: Extracting #1: cost 3 inf + 0
0.913 * * [simplify]: Extracting #2: cost 7 inf + 0
0.914 * * [simplify]: Extracting #3: cost 5 inf + 94
0.914 * * [simplify]: Extracting #4: cost 4 inf + 438
0.914 * * [simplify]: Extracting #5: cost 0 inf + 812
0.914 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.916 * * [progress]: iteration 1 / 4
0.916 * * * [progress]: picking best candidate
0.920 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.920 * * * [progress]: localizing error
0.958 * * * [progress]: generating rewritten candidates
0.959 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.962 * * * [progress]: generating series expansions
0.962 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.965 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.967 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.967 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.968 * [taylor]: Taking taylor expansion of 0 in a
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [taylor]: Taking taylor expansion of 0 in a
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.973 * * * [progress]: simplifying candidates
0.973 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.974 * * [simplify]: iteration 0: 14 enodes
0.976 * * [simplify]: iteration 1: 21 enodes
0.978 * * [simplify]: iteration 2: 26 enodes
0.982 * * [simplify]: iteration 3: 32 enodes
0.986 * * [simplify]: iteration 4: 40 enodes
0.995 * * [simplify]: iteration 5: 74 enodes
1.013 * * [simplify]: iteration 6: 159 enodes
1.049 * * [simplify]: iteration 7: 336 enodes
1.163 * * [simplify]: iteration 8: 1065 enodes
2.459 * * [simplify]: iteration complete: 5000 enodes
2.459 * * [simplify]: Extracting #0: cost 9 inf + 0
2.460 * * [simplify]: Extracting #1: cost 326 inf + 0
2.466 * * [simplify]: Extracting #2: cost 1181 inf + 2
2.474 * * [simplify]: Extracting #3: cost 1249 inf + 705
2.493 * * [simplify]: Extracting #4: cost 984 inf + 100949
2.585 * * [simplify]: Extracting #5: cost 316 inf + 722116
2.739 * * [simplify]: Extracting #6: cost 10 inf + 1029677
2.883 * * [simplify]: Extracting #7: cost 0 inf + 1035884
2.991 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (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))
2.991 * * * [progress]: adding candidates to table
3.056 * * [progress]: iteration 2 / 4
3.056 * * * [progress]: picking best candidate
3.089 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
3.089 * * * [progress]: localizing error
3.110 * * * [progress]: generating rewritten candidates
3.110 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
3.110 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.110 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.122 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.125 * * * [progress]: generating series expansions
3.125 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [taylor]: Taking taylor expansion of 0 in a
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [taylor]: Taking taylor expansion of 0 in a
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [taylor]: Taking taylor expansion of 0 in a
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.126 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.126 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.127 * [taylor]: Taking taylor expansion of 0 in a
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [taylor]: Taking taylor expansion of 0 in a
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [taylor]: Taking taylor expansion of 0 in a
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.128 * [taylor]: Taking taylor expansion of 0 in a
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [taylor]: Taking taylor expansion of 0 in a
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [taylor]: Taking taylor expansion of 0 in a
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [taylor]: Taking taylor expansion of 0 in a
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [taylor]: Taking taylor expansion of 0 in a
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [taylor]: Taking taylor expansion of 0 in a
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.129 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.131 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.131 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.131 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.131 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.131 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.131 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.131 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.132 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.132 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.132 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.132 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.132 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.133 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.133 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
3.133 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
3.133 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.133 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.133 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.133 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.134 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.134 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.134 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.134 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.134 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.134 * [taylor]: Taking taylor expansion of 0 in a
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [taylor]: Taking taylor expansion of 0 in a
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [taylor]: Taking taylor expansion of 0 in a
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.135 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.135 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
3.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.136 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.136 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.136 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.136 * [taylor]: Taking taylor expansion of 0 in a
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [taylor]: Taking taylor expansion of 0 in a
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [taylor]: Taking taylor expansion of 0 in a
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
3.137 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.137 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
3.137 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.137 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.137 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.137 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.137 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.138 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.138 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.138 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.138 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.138 * [taylor]: Taking taylor expansion of 0 in a
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [taylor]: Taking taylor expansion of 0 in a
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [taylor]: Taking taylor expansion of 0 in a
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.139 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
3.139 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.139 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.139 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
3.139 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
3.139 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.139 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.139 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.140 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
3.140 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.140 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.140 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.140 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
3.140 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
3.140 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.140 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.141 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
3.141 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
3.141 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
3.141 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.141 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.141 * [taylor]: Taking taylor expansion of 0 in a
3.141 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 0 into 0
3.143 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.143 * [taylor]: Taking taylor expansion of 0 in a
3.143 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.144 * [backup-simplify]: Simplify 0 into 0
3.145 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
3.146 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.146 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
3.146 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.146 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.146 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.147 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.147 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.147 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.147 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.147 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.147 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
3.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
3.147 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.148 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.148 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
3.148 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
3.148 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
3.148 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.149 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.149 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [backup-simplify]: Simplify 0 into 0
3.149 * [backup-simplify]: Simplify 0 into 0
3.149 * [backup-simplify]: Simplify 0 into 0
3.150 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.150 * [taylor]: Taking taylor expansion of 0 in a
3.150 * [backup-simplify]: Simplify 0 into 0
3.150 * [backup-simplify]: Simplify 0 into 0
3.150 * [backup-simplify]: Simplify 0 into 0
3.151 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.151 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
3.152 * [taylor]: Taking taylor expansion of 0 in a
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a)))
3.153 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.153 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
3.153 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.153 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.153 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.153 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.153 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.153 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.153 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.154 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.154 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.154 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.154 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
3.154 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
3.154 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.155 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.155 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.155 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
3.155 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
3.155 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
3.155 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.155 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.156 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
3.156 * [taylor]: Taking taylor expansion of 0 in a
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 0 into 0
3.157 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.157 * [taylor]: Taking taylor expansion of 0 in a
3.157 * [backup-simplify]: Simplify 0 into 0
3.157 * [backup-simplify]: Simplify 0 into 0
3.157 * [backup-simplify]: Simplify 0 into 0
3.158 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.158 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
3.159 * [taylor]: Taking taylor expansion of 0 in a
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify 0 into 0
3.160 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a)))
3.160 * * * [progress]: simplifying candidates
3.162 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (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))))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
3.164 * * [simplify]: iteration 0: 63 enodes
3.195 * * [simplify]: iteration 1: 123 enodes
3.236 * * [simplify]: iteration 2: 460 enodes
4.397 * * [simplify]: iteration 3: 3901 enodes
12.105 * * [simplify]: iteration complete: 5002 enodes
12.105 * * [simplify]: Extracting #0: cost 28 inf + 0
12.108 * * [simplify]: Extracting #1: cost 620 inf + 3
12.114 * * [simplify]: Extracting #2: cost 905 inf + 50
12.119 * * [simplify]: Extracting #3: cost 874 inf + 2258
12.128 * * [simplify]: Extracting #4: cost 619 inf + 84937
12.179 * * [simplify]: Extracting #5: cost 53 inf + 303708
12.264 * * [simplify]: Extracting #6: cost 0 inf + 324566
12.313 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (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 (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (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 (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (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))))
  (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
12.317 * * * [progress]: adding candidates to table
12.748 * * [progress]: iteration 3 / 4
12.748 * * * [progress]: picking best candidate
12.828 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.828 * * * [progress]: localizing error
12.932 * * * [progress]: generating rewritten candidates
12.932 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
12.932 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
12.933 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1)
12.933 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
12.934 * * * [progress]: generating series expansions
12.934 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.935 * [taylor]: Taking taylor expansion of 0 in a
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [taylor]: Taking taylor expansion of 0 in a
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [taylor]: Taking taylor expansion of 0 in a
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify 0 into 0
12.936 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.936 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.936 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.936 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.936 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.936 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.937 * [taylor]: Taking taylor expansion of 0 in a
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [taylor]: Taking taylor expansion of 0 in a
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [backup-simplify]: Simplify 0 into 0
12.937 * [backup-simplify]: Simplify 0 into 0
12.938 * [taylor]: Taking taylor expansion of 0 in a
12.938 * [backup-simplify]: Simplify 0 into 0
12.938 * [backup-simplify]: Simplify 0 into 0
12.938 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.938 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.938 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.938 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.938 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.938 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.939 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.939 * [taylor]: Taking taylor expansion of 0 in a
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [taylor]: Taking taylor expansion of 0 in a
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [taylor]: Taking taylor expansion of 0 in a
12.939 * [backup-simplify]: Simplify 0 into 0
12.939 * [backup-simplify]: Simplify 0 into 0
12.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.940 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
12.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.940 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.940 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.940 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.940 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.940 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.940 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.941 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.941 * [taylor]: Taking taylor expansion of 0 in a
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [taylor]: Taking taylor expansion of 0 in a
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [taylor]: Taking taylor expansion of 0 in a
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify 0 into 0
12.941 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.941 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.942 * [taylor]: Taking taylor expansion of 0 in a
12.942 * [backup-simplify]: Simplify 0 into 0
12.942 * [backup-simplify]: Simplify 0 into 0
12.942 * [backup-simplify]: Simplify 0 into 0
12.942 * [taylor]: Taking taylor expansion of 0 in a
12.942 * [backup-simplify]: Simplify 0 into 0
12.943 * [backup-simplify]: Simplify 0 into 0
12.943 * [backup-simplify]: Simplify 0 into 0
12.943 * [backup-simplify]: Simplify 0 into 0
12.943 * [taylor]: Taking taylor expansion of 0 in a
12.943 * [backup-simplify]: Simplify 0 into 0
12.943 * [backup-simplify]: Simplify 0 into 0
12.943 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.943 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.943 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.943 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.943 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.943 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.944 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.944 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.944 * [taylor]: Taking taylor expansion of 0 in a
12.944 * [backup-simplify]: Simplify 0 into 0
12.944 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [taylor]: Taking taylor expansion of 0 in a
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [taylor]: Taking taylor expansion of 0 in a
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify 0 into 0
12.945 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.945 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1)
12.945 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.945 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.945 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.945 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.945 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.946 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.946 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.946 * [taylor]: Taking taylor expansion of 0 in a
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [taylor]: Taking taylor expansion of 0 in a
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [taylor]: Taking taylor expansion of 0 in a
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify 0 into 0
12.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.947 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.947 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.948 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.948 * [taylor]: Taking taylor expansion of 0 in a
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [taylor]: Taking taylor expansion of 0 in a
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [taylor]: Taking taylor expansion of 0 in a
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify 0 into 0
12.948 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.948 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.949 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.949 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.949 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.949 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.949 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.949 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.949 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.949 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.949 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.949 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.950 * [taylor]: Taking taylor expansion of 0 in a
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [taylor]: Taking taylor expansion of 0 in a
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [taylor]: Taking taylor expansion of 0 in a
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify 0 into 0
12.950 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.950 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.950 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.951 * [taylor]: Taking taylor expansion of 0 in a
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [taylor]: Taking taylor expansion of 0 in a
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [taylor]: Taking taylor expansion of 0 in a
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify 0 into 0
12.951 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.951 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify 0 into 0
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.952 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.952 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.953 * [taylor]: Taking taylor expansion of 0 in a
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [taylor]: Taking taylor expansion of 0 in a
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [taylor]: Taking taylor expansion of 0 in a
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify 0 into 0
12.953 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.953 * * * [progress]: simplifying candidates
12.953 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.954 * * [simplify]: iteration 0: 14 enodes
12.955 * * [simplify]: iteration 1: 21 enodes
12.958 * * [simplify]: iteration 2: 26 enodes
12.961 * * [simplify]: iteration 3: 32 enodes
12.966 * * [simplify]: iteration 4: 40 enodes
12.977 * * [simplify]: iteration 5: 74 enodes
12.998 * * [simplify]: iteration 6: 159 enodes
13.035 * * [simplify]: iteration 7: 336 enodes
13.177 * * [simplify]: iteration 8: 1065 enodes
14.836 * * [simplify]: iteration complete: 5000 enodes
14.837 * * [simplify]: Extracting #0: cost 9 inf + 0
14.837 * * [simplify]: Extracting #1: cost 326 inf + 0
14.841 * * [simplify]: Extracting #2: cost 1181 inf + 2
14.849 * * [simplify]: Extracting #3: cost 1249 inf + 705
14.866 * * [simplify]: Extracting #4: cost 984 inf + 100949
14.916 * * [simplify]: Extracting #5: cost 316 inf + 722116
15.063 * * [simplify]: Extracting #6: cost 10 inf + 1029677
15.189 * * [simplify]: Extracting #7: cost 0 inf + 1035884
15.340 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
15.347 * * * [progress]: adding candidates to table
15.759 * * [progress]: iteration 4 / 4
15.759 * * * [progress]: picking best candidate
15.819 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
15.819 * * * [progress]: localizing error
15.907 * * * [progress]: generating rewritten candidates
15.907 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
15.907 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
15.908 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
15.908 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
15.909 * * * [progress]: generating series expansions
15.909 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
15.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.910 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.910 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.910 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.910 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.910 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.910 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.911 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.911 * [taylor]: Taking taylor expansion of 0 in a
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [taylor]: Taking taylor expansion of 0 in a
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [taylor]: Taking taylor expansion of 0 in a
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify 0 into 0
15.911 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.911 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.911 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.911 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.912 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.912 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.912 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.912 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.912 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.912 * [taylor]: Taking taylor expansion of 0 in a
15.912 * [backup-simplify]: Simplify 0 into 0
15.912 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [taylor]: Taking taylor expansion of 0 in a
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [taylor]: Taking taylor expansion of 0 in a
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify 0 into 0
15.913 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.913 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.913 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.913 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.914 * [taylor]: Taking taylor expansion of 0 in a
15.914 * [backup-simplify]: Simplify 0 into 0
15.914 * [backup-simplify]: Simplify 0 into 0
15.914 * [backup-simplify]: Simplify 0 into 0
15.914 * [taylor]: Taking taylor expansion of 0 in a
15.914 * [backup-simplify]: Simplify 0 into 0
15.915 * [backup-simplify]: Simplify 0 into 0
15.915 * [backup-simplify]: Simplify 0 into 0
15.915 * [backup-simplify]: Simplify 0 into 0
15.915 * [taylor]: Taking taylor expansion of 0 in a
15.915 * [backup-simplify]: Simplify 0 into 0
15.915 * [backup-simplify]: Simplify 0 into 0
15.915 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.915 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
15.915 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.915 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.915 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.916 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.916 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.916 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.916 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.916 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.916 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.916 * [taylor]: Taking taylor expansion of 0 in a
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [taylor]: Taking taylor expansion of 0 in a
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [taylor]: Taking taylor expansion of 0 in a
15.916 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify 0 into 0
15.917 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.917 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.917 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.917 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.917 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.917 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.917 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.918 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.918 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.918 * [taylor]: Taking taylor expansion of 0 in a
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [taylor]: Taking taylor expansion of 0 in a
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [taylor]: Taking taylor expansion of 0 in a
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.919 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.919 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.919 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.920 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.920 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.920 * [taylor]: Taking taylor expansion of 0 in a
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [taylor]: Taking taylor expansion of 0 in a
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [taylor]: Taking taylor expansion of 0 in a
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.920 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.920 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.921 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.921 * [taylor]: Taking taylor expansion of 0 in a
15.921 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [taylor]: Taking taylor expansion of 0 in a
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [taylor]: Taking taylor expansion of 0 in a
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify 0 into 0
15.922 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.922 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.922 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.922 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.923 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.923 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.923 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.923 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.923 * [taylor]: Taking taylor expansion of 0 in a
15.923 * [backup-simplify]: Simplify 0 into 0
15.923 * [backup-simplify]: Simplify 0 into 0
15.923 * [backup-simplify]: Simplify 0 into 0
15.923 * [taylor]: Taking taylor expansion of 0 in a
15.923 * [backup-simplify]: Simplify 0 into 0
15.923 * [backup-simplify]: Simplify 0 into 0
15.924 * [backup-simplify]: Simplify 0 into 0
15.924 * [backup-simplify]: Simplify 0 into 0
15.924 * [taylor]: Taking taylor expansion of 0 in a
15.924 * [backup-simplify]: Simplify 0 into 0
15.924 * [backup-simplify]: Simplify 0 into 0
15.924 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.924 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.924 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.924 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.924 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.925 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.925 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.925 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.925 * [taylor]: Taking taylor expansion of 0 in a
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [taylor]: Taking taylor expansion of 0 in a
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [backup-simplify]: Simplify 0 into 0
15.925 * [taylor]: Taking taylor expansion of 0 in a
15.926 * [backup-simplify]: Simplify 0 into 0
15.926 * [backup-simplify]: Simplify 0 into 0
15.926 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.926 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
15.926 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.926 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.926 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.926 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.927 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.927 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.927 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.927 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.927 * [taylor]: Taking taylor expansion of 0 in a
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [taylor]: Taking taylor expansion of 0 in a
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [taylor]: Taking taylor expansion of 0 in a
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify 0 into 0
15.927 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.928 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.929 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.929 * [taylor]: Taking taylor expansion of 0 in a
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [taylor]: Taking taylor expansion of 0 in a
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [taylor]: Taking taylor expansion of 0 in a
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify 0 into 0
15.929 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.929 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.929 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.929 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.930 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.930 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.930 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.930 * [taylor]: Taking taylor expansion of 0 in a
15.930 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [taylor]: Taking taylor expansion of 0 in a
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [taylor]: Taking taylor expansion of 0 in a
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.931 * * * [progress]: simplifying candidates
15.932 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
15.933 * * [simplify]: iteration 0: 14 enodes
15.936 * * [simplify]: iteration 1: 21 enodes
15.941 * * [simplify]: iteration 2: 26 enodes
15.948 * * [simplify]: iteration 3: 32 enodes
15.955 * * [simplify]: iteration 4: 40 enodes
15.964 * * [simplify]: iteration 5: 74 enodes
15.984 * * [simplify]: iteration 6: 159 enodes
16.021 * * [simplify]: iteration 7: 336 enodes
16.179 * * [simplify]: iteration 8: 1065 enodes
17.588 * * [simplify]: iteration complete: 5000 enodes
17.589 * * [simplify]: Extracting #0: cost 9 inf + 0
17.590 * * [simplify]: Extracting #1: cost 326 inf + 0
17.596 * * [simplify]: Extracting #2: cost 1181 inf + 2
17.604 * * [simplify]: Extracting #3: cost 1249 inf + 705
17.629 * * [simplify]: Extracting #4: cost 984 inf + 100949
17.698 * * [simplify]: Extracting #5: cost 316 inf + 722116
17.841 * * [simplify]: Extracting #6: cost 10 inf + 1029677
17.990 * * [simplify]: Extracting #7: cost 0 inf + 1035884
18.139 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
18.142 * * * [progress]: adding candidates to table
18.469 * [progress]: [Phase 3 of 3] Extracting.
18.469 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
18.473 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
18.473 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
18.614 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
18.760 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
18.934 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
19.097 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
19.240 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
19.240 * [simplify]: Simplifying:
  (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
19.240 * * [simplify]: iteration 0: 10 enodes
19.241 * * [simplify]: iteration 1: 11 enodes
19.241 * * [simplify]: iteration complete: 11 enodes
19.241 * * [simplify]: Extracting #0: cost 1 inf + 0
19.241 * * [simplify]: Extracting #1: cost 3 inf + 0
19.241 * * [simplify]: Extracting #2: cost 4 inf + 0
19.241 * * [simplify]: Extracting #3: cost 5 inf + 0
19.241 * * [simplify]: Extracting #4: cost 6 inf + 0
19.241 * * [simplify]: Extracting #5: cost 8 inf + 0
19.241 * * [simplify]: Extracting #6: cost 10 inf + 0
19.241 * * [simplify]: Extracting #7: cost 7 inf + 93
19.241 * * [simplify]: Extracting #8: cost 0 inf + 2211
19.242 * [simplify]: Simplified to:
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
39.438 * [regime-testing]: Baseline error score: 33.974914494286544
39.448 * [regime-testing]: Oracle error score: 33.92834522589231
39.468 * [regime-testing]: End program error score: 33.974914494286544