0.132 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.811 * * * [progress]: [2/2] Setting up program.
0.842 * [progress]: [Phase 2 of 3] Improving.
0.846 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.847 * * [simplify]: iteration 0: 5 enodes
0.903 * * [simplify]: iteration 1: 11 enodes
0.915 * * [simplify]: iteration 2: 14 enodes
0.920 * * [simplify]: iteration 3: 16 enodes
0.925 * * [simplify]: iteration complete: 16 enodes
0.925 * * [simplify]: Extracting #0: cost 1 inf + 0
0.925 * * [simplify]: Extracting #1: cost 3 inf + 0
0.925 * * [simplify]: Extracting #2: cost 7 inf + 0
0.926 * * [simplify]: Extracting #3: cost 5 inf + 59
0.926 * * [simplify]: Extracting #4: cost 4 inf + 438
0.926 * * [simplify]: Extracting #5: cost 0 inf + 812
0.927 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.929 * * [progress]: iteration 1 / 4
0.929 * * * [progress]: picking best candidate
0.945 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.946 * * * [progress]: localizing error
0.969 * * * [progress]: generating rewritten candidates
0.969 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.973 * * * [progress]: generating series expansions
0.973 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.978 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.980 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.982 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.982 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.982 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.982 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.982 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.983 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.983 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.983 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.983 * [taylor]: Taking taylor expansion of 0 in a
0.983 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [taylor]: Taking taylor expansion of 0 in a
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [taylor]: Taking taylor expansion of 0 in a
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.987 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.987 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.988 * [taylor]: Taking taylor expansion of 0 in a
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [taylor]: Taking taylor expansion of 0 in a
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [taylor]: Taking taylor expansion of 0 in a
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.990 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [taylor]: Taking taylor expansion of 0 in a
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.992 * * * [progress]: simplifying candidates
0.992 * [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.993 * * [simplify]: iteration 0: 14 enodes
0.997 * * [simplify]: iteration 1: 21 enodes
1.004 * * [simplify]: iteration 2: 26 enodes
1.014 * * [simplify]: iteration 3: 32 enodes
1.024 * * [simplify]: iteration 4: 40 enodes
1.037 * * [simplify]: iteration 5: 59 enodes
1.058 * * [simplify]: iteration 6: 89 enodes
1.112 * * [simplify]: iteration 7: 159 enodes
1.204 * * [simplify]: iteration 8: 366 enodes
1.760 * * [simplify]: iteration 9: 1169 enodes
4.606 * * [simplify]: iteration complete: 5001 enodes
4.606 * * [simplify]: Extracting #0: cost 9 inf + 0
4.607 * * [simplify]: Extracting #1: cost 253 inf + 0
4.615 * * [simplify]: Extracting #2: cost 1366 inf + 3
4.626 * * [simplify]: Extracting #3: cost 1411 inf + 247
4.642 * * [simplify]: Extracting #4: cost 1396 inf + 9200
4.687 * * [simplify]: Extracting #5: cost 1072 inf + 274028
4.874 * * [simplify]: Extracting #6: cost 208 inf + 1220184
5.137 * * [simplify]: Extracting #7: cost 0 inf + 1461830
5.382 * * [simplify]: Extracting #8: cost 0 inf + 1461377
5.630 * [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))
5.632 * * * [progress]: adding candidates to table
5.727 * * [progress]: iteration 2 / 4
5.727 * * * [progress]: picking best candidate
5.774 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
5.774 * * * [progress]: localizing error
5.809 * * * [progress]: generating rewritten candidates
5.809 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
5.810 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.815 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
5.823 * * * [progress]: generating series expansions
5.823 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
5.823 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.824 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.824 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.824 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.824 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.824 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.824 * [taylor]: Taking taylor expansion of 0 in a
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [taylor]: Taking taylor expansion of 0 in a
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [taylor]: Taking taylor expansion of 0 in a
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.825 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.825 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.825 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.826 * [taylor]: Taking taylor expansion of 0 in a
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [taylor]: Taking taylor expansion of 0 in a
5.826 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [taylor]: Taking taylor expansion of 0 in a
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.827 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.827 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.827 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.827 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.827 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.828 * [taylor]: Taking taylor expansion of 0 in a
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [taylor]: Taking taylor expansion of 0 in a
5.828 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [taylor]: Taking taylor expansion of 0 in a
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.829 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
5.829 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.829 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
5.829 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.829 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.829 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.830 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.830 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.830 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.830 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.830 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.830 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.830 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.830 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.830 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.830 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.830 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.831 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.831 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.831 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.833 * [taylor]: Taking taylor expansion of 0 in a
5.833 * [backup-simplify]: Simplify 0 into 0
5.833 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.834 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
5.837 * [taylor]: Taking taylor expansion of 0 in a
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify 0 into 0
5.839 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
5.839 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
5.843 * [taylor]: Taking taylor expansion of 0 in a
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.843 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.843 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
5.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.844 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.844 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.844 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.844 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.845 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.845 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.845 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.845 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.845 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.845 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.846 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.847 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.847 * [taylor]: Taking taylor expansion of 0 in a
5.847 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.848 * [backup-simplify]: Simplify 0 into 0
5.850 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
5.850 * [taylor]: Taking taylor expansion of 0 in a
5.850 * [backup-simplify]: Simplify 0 into 0
5.851 * [backup-simplify]: Simplify 0 into 0
5.851 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
5.853 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
5.857 * [taylor]: Taking taylor expansion of 0 in a
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
5.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.858 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
5.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.859 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.859 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.859 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.859 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.860 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.860 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.861 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.861 * [taylor]: Taking taylor expansion of 0 in a
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [backup-simplify]: Simplify 0 into 0
5.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.862 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
5.865 * [taylor]: Taking taylor expansion of 0 in a
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 0 into 0
5.867 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
5.867 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
5.871 * [taylor]: Taking taylor expansion of 0 in a
5.871 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
5.871 * * * * [progress]: [ 3 / 3 ] generating series at (2)
5.872 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
5.872 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.872 * [taylor]: Taking taylor expansion of 0 in a
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [taylor]: Taking taylor expansion of 0 in a
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [taylor]: Taking taylor expansion of 0 in a
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.873 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.873 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.875 * [taylor]: Taking taylor expansion of 0 in a
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [taylor]: Taking taylor expansion of 0 in a
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [taylor]: Taking taylor expansion of 0 in a
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.876 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.876 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.877 * [taylor]: Taking taylor expansion of 0 in a
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [taylor]: Taking taylor expansion of 0 in a
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [taylor]: Taking taylor expansion of 0 in a
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.877 * * * [progress]: simplifying candidates
5.879 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
5.880 * * [simplify]: iteration 0: 44 enodes
5.897 * * [simplify]: iteration 1: 66 enodes
5.917 * * [simplify]: iteration 2: 90 enodes
5.957 * * [simplify]: iteration 3: 128 enodes
5.990 * * [simplify]: iteration 4: 205 enodes
6.055 * * [simplify]: iteration 5: 365 enodes
6.202 * * [simplify]: iteration 6: 654 enodes
6.601 * * [simplify]: iteration 7: 1422 enodes
8.715 * * [simplify]: iteration 8: 3929 enodes
10.897 * * [simplify]: iteration complete: 5006 enodes
10.897 * * [simplify]: Extracting #0: cost 24 inf + 0
10.898 * * [simplify]: Extracting #1: cost 375 inf + 3
10.909 * * [simplify]: Extracting #2: cost 818 inf + 1063
10.929 * * [simplify]: Extracting #3: cost 743 inf + 7022
10.940 * * [simplify]: Extracting #4: cost 756 inf + 21470
10.963 * * [simplify]: Extracting #5: cost 568 inf + 119836
11.024 * * [simplify]: Extracting #6: cost 254 inf + 297947
11.108 * * [simplify]: Extracting #7: cost 116 inf + 398775
11.235 * * [simplify]: Extracting #8: cost 17 inf + 531937
11.400 * * [simplify]: Extracting #9: cost 0 inf + 554413
11.575 * * [simplify]: Extracting #10: cost 0 inf + 549194
11.758 * * [simplify]: Extracting #11: cost 0 inf + 547608
11.934 * [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 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
11.938 * * * [progress]: adding candidates to table
12.294 * * [progress]: iteration 3 / 4
12.294 * * * [progress]: picking best candidate
12.414 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.414 * * * [progress]: localizing error
12.446 * * * [progress]: generating rewritten candidates
12.447 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
12.447 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
12.450 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
12.459 * * * [progress]: generating series expansions
12.459 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
12.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.459 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.459 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.459 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.460 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.460 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.460 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.460 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.460 * [taylor]: Taking taylor expansion of 0 in a
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [taylor]: Taking taylor expansion of 0 in a
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [taylor]: Taking taylor expansion of 0 in a
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify 0 into 0
12.460 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.461 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.462 * [taylor]: Taking taylor expansion of 0 in a
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [taylor]: Taking taylor expansion of 0 in a
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [taylor]: Taking taylor expansion of 0 in a
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify 0 into 0
12.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.463 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.464 * [taylor]: Taking taylor expansion of 0 in a
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [taylor]: Taking taylor expansion of 0 in a
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [taylor]: Taking taylor expansion of 0 in a
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify 0 into 0
12.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.464 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
12.464 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.464 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
12.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.465 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.465 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.465 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.465 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.465 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.465 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.465 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.465 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.466 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.466 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.466 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.466 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.467 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.467 * [taylor]: Taking taylor expansion of 0 in a
12.467 * [backup-simplify]: Simplify 0 into 0
12.467 * [backup-simplify]: Simplify 0 into 0
12.468 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.468 * [backup-simplify]: Simplify 0 into 0
12.471 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.471 * [taylor]: Taking taylor expansion of 0 in a
12.471 * [backup-simplify]: Simplify 0 into 0
12.471 * [backup-simplify]: Simplify 0 into 0
12.471 * [backup-simplify]: Simplify 0 into 0
12.473 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.473 * [backup-simplify]: Simplify 0 into 0
12.477 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
12.477 * [taylor]: Taking taylor expansion of 0 in a
12.477 * [backup-simplify]: Simplify 0 into 0
12.477 * [backup-simplify]: Simplify 0 into 0
12.477 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.477 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.477 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
12.477 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.477 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.477 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.478 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.478 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.478 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.478 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.478 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.478 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.478 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.478 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.479 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.479 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.479 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.479 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.479 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.479 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.481 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.481 * [taylor]: Taking taylor expansion of 0 in a
12.481 * [backup-simplify]: Simplify 0 into 0
12.481 * [backup-simplify]: Simplify 0 into 0
12.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.482 * [backup-simplify]: Simplify 0 into 0
12.484 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.484 * [taylor]: Taking taylor expansion of 0 in a
12.484 * [backup-simplify]: Simplify 0 into 0
12.485 * [backup-simplify]: Simplify 0 into 0
12.485 * [backup-simplify]: Simplify 0 into 0
12.487 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.487 * [backup-simplify]: Simplify 0 into 0
12.491 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
12.491 * [taylor]: Taking taylor expansion of 0 in a
12.491 * [backup-simplify]: Simplify 0 into 0
12.491 * [backup-simplify]: Simplify 0 into 0
12.491 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
12.492 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.492 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
12.492 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.492 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.492 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.492 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.492 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.492 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.492 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.493 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.493 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.493 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.493 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.493 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.493 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.493 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.493 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.494 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.494 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.495 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.495 * [taylor]: Taking taylor expansion of 0 in a
12.495 * [backup-simplify]: Simplify 0 into 0
12.495 * [backup-simplify]: Simplify 0 into 0
12.496 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.496 * [backup-simplify]: Simplify 0 into 0
12.498 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.498 * [taylor]: Taking taylor expansion of 0 in a
12.499 * [backup-simplify]: Simplify 0 into 0
12.499 * [backup-simplify]: Simplify 0 into 0
12.499 * [backup-simplify]: Simplify 0 into 0
12.501 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.501 * [backup-simplify]: Simplify 0 into 0
12.504 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
12.504 * [taylor]: Taking taylor expansion of 0 in a
12.505 * [backup-simplify]: Simplify 0 into 0
12.505 * [backup-simplify]: Simplify 0 into 0
12.505 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
12.505 * * * * [progress]: [ 3 / 3 ] generating series at (2)
12.505 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
12.505 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
12.505 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
12.505 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
12.505 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
12.505 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.505 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.505 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.506 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.506 * [taylor]: Taking taylor expansion of (log E) in a
12.506 * [taylor]: Taking taylor expansion of E in a
12.506 * [backup-simplify]: Simplify E into E
12.506 * [backup-simplify]: Simplify (log E) into 1
12.506 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.507 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.507 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
12.507 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
12.507 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
12.507 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.507 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.507 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.507 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.507 * [taylor]: Taking taylor expansion of (log E) in c
12.507 * [taylor]: Taking taylor expansion of E in c
12.507 * [backup-simplify]: Simplify E into E
12.507 * [backup-simplify]: Simplify (log E) into 1
12.507 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.507 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.508 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
12.508 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
12.508 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
12.508 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.508 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.508 * [taylor]: Taking taylor expansion of (log E) in c
12.508 * [taylor]: Taking taylor expansion of E in c
12.508 * [backup-simplify]: Simplify E into E
12.508 * [backup-simplify]: Simplify (log E) into 1
12.508 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.508 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.512 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.513 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
12.514 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.514 * [taylor]: Taking taylor expansion of 0 in a
12.514 * [backup-simplify]: Simplify 0 into 0
12.514 * [backup-simplify]: Simplify 0 into 0
12.514 * [backup-simplify]: Simplify 0 into 0
12.517 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.519 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.520 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
12.522 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.522 * [taylor]: Taking taylor expansion of 0 in a
12.522 * [backup-simplify]: Simplify 0 into 0
12.522 * [backup-simplify]: Simplify 0 into 0
12.522 * [backup-simplify]: Simplify 0 into 0
12.522 * [backup-simplify]: Simplify 0 into 0
12.528 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.531 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
12.533 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.534 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.534 * [taylor]: Taking taylor expansion of 0 in a
12.534 * [backup-simplify]: Simplify 0 into 0
12.534 * [backup-simplify]: Simplify 0 into 0
12.535 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.535 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.535 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
12.535 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
12.535 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
12.535 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
12.535 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.535 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.535 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.535 * [taylor]: Taking taylor expansion of (log E) in a
12.535 * [taylor]: Taking taylor expansion of E in a
12.535 * [backup-simplify]: Simplify E into E
12.536 * [backup-simplify]: Simplify (log E) into 1
12.536 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.536 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.536 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.536 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
12.536 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
12.536 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.536 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.536 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.536 * [taylor]: Taking taylor expansion of (log E) in c
12.536 * [taylor]: Taking taylor expansion of E in c
12.536 * [backup-simplify]: Simplify E into E
12.536 * [backup-simplify]: Simplify (log E) into 1
12.536 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.536 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.536 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.536 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
12.537 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
12.537 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.537 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.537 * [taylor]: Taking taylor expansion of (log E) in c
12.537 * [taylor]: Taking taylor expansion of E in c
12.537 * [backup-simplify]: Simplify E into E
12.537 * [backup-simplify]: Simplify (log E) into 1
12.537 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.537 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.538 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.539 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.540 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
12.540 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
12.540 * [taylor]: Taking taylor expansion of 0 in a
12.540 * [backup-simplify]: Simplify 0 into 0
12.541 * [backup-simplify]: Simplify 0 into 0
12.541 * [backup-simplify]: Simplify 0 into 0
12.543 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.545 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.546 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
12.548 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.548 * [taylor]: Taking taylor expansion of 0 in a
12.548 * [backup-simplify]: Simplify 0 into 0
12.548 * [backup-simplify]: Simplify 0 into 0
12.548 * [backup-simplify]: Simplify 0 into 0
12.548 * [backup-simplify]: Simplify 0 into 0
12.562 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.566 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
12.567 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.569 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.569 * [taylor]: Taking taylor expansion of 0 in a
12.569 * [backup-simplify]: Simplify 0 into 0
12.569 * [backup-simplify]: Simplify 0 into 0
12.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.570 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
12.570 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
12.570 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
12.570 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
12.570 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
12.570 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.571 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.571 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.571 * [taylor]: Taking taylor expansion of (log E) in a
12.571 * [taylor]: Taking taylor expansion of E in a
12.571 * [backup-simplify]: Simplify E into E
12.571 * [backup-simplify]: Simplify (log E) into 1
12.571 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.571 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.572 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
12.572 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
12.572 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
12.572 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.572 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.572 * [taylor]: Taking taylor expansion of (log E) in c
12.572 * [taylor]: Taking taylor expansion of E in c
12.572 * [backup-simplify]: Simplify E into E
12.572 * [backup-simplify]: Simplify (log E) into 1
12.572 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.573 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.573 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
12.573 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
12.573 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
12.573 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.573 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.573 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.573 * [taylor]: Taking taylor expansion of (log E) in c
12.573 * [taylor]: Taking taylor expansion of E in c
12.573 * [backup-simplify]: Simplify E into E
12.573 * [backup-simplify]: Simplify (log E) into 1
12.574 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.574 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.574 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.576 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.578 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.579 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
12.580 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
12.580 * [taylor]: Taking taylor expansion of 0 in a
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.580 * [backup-simplify]: Simplify 0 into 0
12.584 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.586 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.587 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
12.589 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.589 * [taylor]: Taking taylor expansion of 0 in a
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.589 * [backup-simplify]: Simplify 0 into 0
12.595 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.599 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
12.600 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.601 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.602 * [taylor]: Taking taylor expansion of 0 in a
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.602 * * * [progress]: simplifying candidates
12.603 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (pow E (log (fmod (cosh c) (log1p a)))))
  (log1p (pow E (log (fmod (cosh c) (log1p a)))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (pow E 1)
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  (pow E 1)
  (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log 1))
  (pow E (log (fmod (cosh c) (log1p a))))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow 1 (log (fmod (cosh c) (log1p a))))
  (pow E (log (fmod (cosh c) (log1p a))))
  (log (pow E (log (fmod (cosh c) (log1p a)))))
  (exp (pow E (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))))
  (cbrt (pow E (log (fmod (cosh c) (log1p a)))))
  (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.605 * * [simplify]: iteration 0: 59 enodes
12.633 * * [simplify]: iteration 1: 123 enodes
12.681 * * [simplify]: iteration 2: 241 enodes
12.839 * * [simplify]: iteration 3: 634 enodes
13.620 * * [simplify]: iteration 4: 1893 enodes
14.969 * * [simplify]: iteration complete: 5000 enodes
14.969 * * [simplify]: Extracting #0: cost 31 inf + 0
14.970 * * [simplify]: Extracting #1: cost 299 inf + 3
14.977 * * [simplify]: Extracting #2: cost 1366 inf + 872
14.988 * * [simplify]: Extracting #3: cost 1556 inf + 5400
15.018 * * [simplify]: Extracting #4: cost 1411 inf + 75695
15.107 * * [simplify]: Extracting #5: cost 621 inf + 424655
15.262 * * [simplify]: Extracting #6: cost 221 inf + 693793
15.458 * * [simplify]: Extracting #7: cost 41 inf + 836362
15.672 * * [simplify]: Extracting #8: cost 0 inf + 873407
15.875 * * [simplify]: Extracting #9: cost 0 inf + 873065
16.080 * [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 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  1
  (fmod (cosh c) (log1p a))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (exp (/ (log (fmod (cosh c) (log1p a))) 2))
  (exp (/ (log (fmod (cosh c) (log1p a))) 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
16.084 * * * [progress]: adding candidates to table
16.506 * * [progress]: iteration 4 / 4
16.506 * * * [progress]: picking best candidate
16.662 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
16.663 * * * [progress]: localizing error
16.683 * * * [progress]: generating rewritten candidates
16.683 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.684 * * * [progress]: generating series expansions
16.684 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.685 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.685 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.685 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.685 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.685 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.685 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.686 * [taylor]: Taking taylor expansion of 0 in a
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [taylor]: Taking taylor expansion of 0 in a
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [taylor]: Taking taylor expansion of 0 in a
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.686 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.686 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.686 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.687 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.687 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.687 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.687 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.687 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.687 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.687 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.687 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.687 * [taylor]: Taking taylor expansion of 0 in a
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [taylor]: Taking taylor expansion of 0 in a
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [taylor]: Taking taylor expansion of 0 in a
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.688 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.688 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.688 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.689 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.690 * [taylor]: Taking taylor expansion of 0 in a
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [taylor]: Taking taylor expansion of 0 in a
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [taylor]: Taking taylor expansion of 0 in a
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.690 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.690 * * * [progress]: simplifying candidates
16.691 * [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))
16.691 * * [simplify]: iteration 0: 14 enodes
16.696 * * [simplify]: iteration 1: 21 enodes
16.710 * * [simplify]: iteration 2: 26 enodes
16.720 * * [simplify]: iteration 3: 32 enodes
16.731 * * [simplify]: iteration 4: 40 enodes
16.747 * * [simplify]: iteration 5: 59 enodes
16.770 * * [simplify]: iteration 6: 89 enodes
16.805 * * [simplify]: iteration 7: 159 enodes
16.903 * * [simplify]: iteration 8: 366 enodes
17.484 * * [simplify]: iteration 9: 1169 enodes
20.732 * * [simplify]: iteration complete: 5001 enodes
20.732 * * [simplify]: Extracting #0: cost 9 inf + 0
20.732 * * [simplify]: Extracting #1: cost 253 inf + 0
20.747 * * [simplify]: Extracting #2: cost 1366 inf + 3
20.753 * * [simplify]: Extracting #3: cost 1411 inf + 247
20.767 * * [simplify]: Extracting #4: cost 1396 inf + 9200
20.808 * * [simplify]: Extracting #5: cost 1072 inf + 274028
20.986 * * [simplify]: Extracting #6: cost 208 inf + 1220184
21.243 * * [simplify]: Extracting #7: cost 0 inf + 1461830
21.520 * * [simplify]: Extracting #8: cost 0 inf + 1461377
21.758 * [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))
21.759 * * * [progress]: adding candidates to table
21.853 * [progress]: [Phase 3 of 3] Extracting.
21.854 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
21.862 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
21.863 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
22.063 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
22.249 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
22.482 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
22.688 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>)
22.901 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
22.903 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
22.903 * * [simplify]: iteration 0: 5 enodes
22.903 * * [simplify]: iteration complete: 5 enodes
22.903 * * [simplify]: Extracting #0: cost 1 inf + 0
22.903 * * [simplify]: Extracting #1: cost 3 inf + 0
22.903 * * [simplify]: Extracting #2: cost 5 inf + 0
22.903 * * [simplify]: Extracting #3: cost 2 inf + 58
22.904 * * [simplify]: Extracting #4: cost 0 inf + 366
22.904 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
50.756 * [regime-testing]: Baseline error score: 34.18260409316332
50.774 * [regime-testing]: Oracle error score: 34.15098454109417
50.805 * [regime-testing]: End program error score: 34.18260409316332