0.075 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.508 * * * [progress]: [2/2] Setting up program.
0.513 * [progress]: [Phase 2 of 3] Improving.
0.516 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.517 * * [simplify]: Extracting # 0 : cost  0
0.517 * * [simplify]: Extracting # 1 : cost  0
0.517 * * [simplify]: Extracting # 2 : cost  0
0.518 * * [simplify]: Extracting # 3 : cost  0
0.518 * * [simplify]: Extracting # 4 : cost  0
0.518 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.524 * * [simplify]: Extracting # 0 : cost  0
0.524 * * [simplify]: Extracting # 1 : cost  0
0.524 * * [simplify]: Extracting # 2 : cost  0
0.524 * * [simplify]: Extracting # 3 : cost  0
0.524 * * [simplify]: Extracting # 4 : cost  0
0.524 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.527 * * [simplify]: Extracting # 0 : cost  0
0.527 * * [simplify]: Extracting # 1 : cost  0
0.527 * * [simplify]: Extracting # 2 : cost  0
0.527 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.531 * * [simplify]: Extracting # 0 : cost  0
0.532 * * [simplify]: iteration  3 :  16  enodes  (cost  5 )
0.535 * * [simplify]: Extracting # 0 : cost  0
0.535 * * [simplify]: iteration done:  16  enodes  (cost  5 )
0.535 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.538 * * [progress]: iteration 1 / 4
0.538 * * * [progress]: picking best candidate
0.544 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.544 * * * [progress]: localizing error
0.605 * * * [progress]: generating rewritten candidates
0.605 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.611 * * * [progress]: generating series expansions
0.612 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.616 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.617 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.620 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.620 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.620 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.620 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.621 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.621 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.621 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.621 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.622 * [taylor]: Taking taylor expansion of 0 in a
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [taylor]: Taking taylor expansion of 0 in a
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [taylor]: Taking taylor expansion of 0 in a
0.622 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.623 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.625 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.625 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.626 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.626 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [taylor]: Taking taylor expansion of 0 in a
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.628 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.630 * * * [progress]: simplifying candidates
0.631 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.631 * * [simplify]: Extracting # 0 : cost  0
0.631 * * [simplify]: Extracting # 1 : cost  0
0.631 * * [simplify]: Extracting # 2 : cost  0
0.631 * * [simplify]: Extracting # 3 : cost  0
0.631 * * [simplify]: Extracting # 4 : cost  0
0.631 * * [simplify]: iteration  0 :  12  enodes  (cost  75 )
0.635 * * [simplify]: Extracting # 0 : cost  0
0.635 * * [simplify]: Extracting # 1 : cost  0
0.635 * * [simplify]: Extracting # 2 : cost  0
0.635 * * [simplify]: Extracting # 3 : cost  0
0.635 * * [simplify]: Extracting # 4 : cost  0
0.635 * * [simplify]: Extracting # 5 : cost  0
0.635 * * [simplify]: iteration  1 :  19  enodes  (cost  75 )
0.640 * * [simplify]: Extracting # 0 : cost  0
0.640 * * [simplify]: Extracting # 1 : cost  0
0.640 * * [simplify]: Extracting # 2 : cost  0
0.640 * * [simplify]: iteration  2 :  24  enodes  (cost  65 )
0.648 * * [simplify]: Extracting # 0 : cost  0
0.648 * * [simplify]: Extracting # 1 : cost  0
0.648 * * [simplify]: Extracting # 2 : cost  0
0.648 * * [simplify]: Extracting # 3 : cost  0
0.648 * * [simplify]: Extracting # 4 : cost  0
0.648 * * [simplify]: iteration  3 :  30  enodes  (cost  65 )
0.657 * * [simplify]: Extracting # 0 : cost  0
0.657 * * [simplify]: Extracting # 1 : cost  0
0.657 * * [simplify]: Extracting # 2 : cost  0
0.657 * * [simplify]: Extracting # 3 : cost  0
0.657 * * [simplify]: Extracting # 4 : cost  0
0.657 * * [simplify]: iteration  4 :  38  enodes  (cost  65 )
0.674 * * [simplify]: Extracting # 0 : cost  0
0.675 * * [simplify]: Extracting # 1 : cost  0
0.675 * * [simplify]: Extracting # 2 : cost  0
0.675 * * [simplify]: Extracting # 3 : cost  0
0.675 * * [simplify]: iteration  5 :  72  enodes  (cost  65 )
0.706 * * [simplify]: Extracting # 0 : cost  0
0.706 * * [simplify]: Extracting # 1 : cost  0
0.706 * * [simplify]: Extracting # 2 : cost  0
0.706 * * [simplify]: Extracting # 3 : cost  0
0.707 * * [simplify]: Extracting # 4 : cost  0
0.707 * * [simplify]: iteration  6 :  148  enodes  (cost  65 )
0.780 * * [simplify]: Extracting # 0 : cost  0
0.780 * * [simplify]: Extracting # 1 : cost  0
0.781 * * [simplify]: Extracting # 2 : cost  0
0.781 * * [simplify]: Extracting # 3 : cost  0
0.781 * * [simplify]: Extracting # 4 : cost  0
0.781 * * [simplify]: iteration  7 :  334  enodes  (cost  65 )
1.024 * * [simplify]: Extracting # 0 : cost  0
1.026 * * [simplify]: Extracting # 1 : cost  0
1.027 * * [simplify]: Extracting # 2 : cost  0
1.028 * * [simplify]: Extracting # 3 : cost  0
1.029 * * [simplify]: Extracting # 4 : cost  0
1.029 * * [simplify]: iteration  8 :  1002  enodes  (cost  65 )
1.922 * * [simplify]: Extracting # 0 : cost  0
1.934 * * [simplify]: Extracting # 1 : cost  0
1.938 * * [simplify]: Extracting # 2 : cost  0
1.942 * * [simplify]: Extracting # 3 : cost  0
1.947 * * [simplify]: Extracting # 4 : cost  0
1.951 * * [simplify]: iteration done:  5001  enodes  (cost  65 )
1.951 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.951 * * * [progress]: adding candidates to table
2.012 * * [progress]: iteration 2 / 4
2.012 * * * [progress]: picking best candidate
2.044 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.044 * * * [progress]: localizing error
2.059 * * * [progress]: generating rewritten candidates
2.059 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.059 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.062 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.066 * * * [progress]: generating series expansions
2.066 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.066 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.066 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.066 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.066 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.066 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [taylor]: Taking taylor expansion of 0 in a
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [taylor]: Taking taylor expansion of 0 in a
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [taylor]: Taking taylor expansion of 0 in a
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.067 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.068 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.068 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.069 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.069 * [taylor]: Taking taylor expansion of 0 in a
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [taylor]: Taking taylor expansion of 0 in a
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [taylor]: Taking taylor expansion of 0 in a
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify 0 into 0
2.069 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.069 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.069 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.069 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.069 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.069 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.070 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.070 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.070 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.071 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.071 * [backup-simplify]: Simplify 0 into 0
2.071 * [backup-simplify]: Simplify 0 into 0
2.072 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.072 * [backup-simplify]: Simplify 0 into 0
2.074 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [backup-simplify]: Simplify 0 into 0
2.074 * [backup-simplify]: Simplify 0 into 0
2.074 * [backup-simplify]: Simplify 0 into 0
2.075 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.075 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
2.077 * [taylor]: Taking taylor expansion of 0 in a
2.077 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.077 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.077 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.077 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.077 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.078 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.079 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.079 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.079 * [taylor]: Taking taylor expansion of 0 in a
2.079 * [backup-simplify]: Simplify 0 into 0
2.079 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.080 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.082 * [taylor]: Taking taylor expansion of 0 in a
2.082 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify 0 into 0
2.084 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.084 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
2.088 * [taylor]: Taking taylor expansion of 0 in a
2.088 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.088 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.088 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.088 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.088 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.089 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.089 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.089 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.089 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.089 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.089 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.090 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.090 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.090 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.090 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.090 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.091 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.092 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.092 * [taylor]: Taking taylor expansion of 0 in a
2.092 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.093 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.095 * [taylor]: Taking taylor expansion of 0 in a
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 0 into 0
2.098 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.098 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
2.101 * [taylor]: Taking taylor expansion of 0 in a
2.101 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.102 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.102 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.102 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.103 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.103 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.103 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.103 * [taylor]: Taking taylor expansion of 0 in a
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [taylor]: Taking taylor expansion of 0 in a
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [taylor]: Taking taylor expansion of 0 in a
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.104 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.104 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.104 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.104 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.104 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.104 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.104 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.104 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.104 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.105 * [taylor]: Taking taylor expansion of 0 in a
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [taylor]: Taking taylor expansion of 0 in a
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [taylor]: Taking taylor expansion of 0 in a
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.106 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.106 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.107 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.107 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.107 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.107 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.107 * [taylor]: Taking taylor expansion of 0 in a
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [taylor]: Taking taylor expansion of 0 in a
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [taylor]: Taking taylor expansion of 0 in a
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.108 * * * [progress]: simplifying candidates
2.109 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
2.110 * * [simplify]: Extracting # 0 : cost  0
2.110 * * [simplify]: Extracting # 1 : cost  0
2.110 * * [simplify]: Extracting # 2 : cost  0
2.110 * * [simplify]: Extracting # 3 : cost  0
2.111 * * [simplify]: Extracting # 4 : cost  0
2.111 * * [simplify]: Extracting # 5 : cost  0
2.111 * * [simplify]: Extracting # 6 : cost  0
2.111 * * [simplify]: iteration  0 :  38  enodes  (cost  384 )
2.124 * * [simplify]: Extracting # 0 : cost  0
2.124 * * [simplify]: Extracting # 1 : cost  0
2.124 * * [simplify]: Extracting # 2 : cost  0
2.124 * * [simplify]: Extracting # 3 : cost  0
2.124 * * [simplify]: Extracting # 4 : cost  0
2.125 * * [simplify]: Extracting # 5 : cost  0
2.125 * * [simplify]: iteration  1 :  62  enodes  (cost  347 )
2.138 * * [simplify]: Extracting # 0 : cost  0
2.138 * * [simplify]: Extracting # 1 : cost  0
2.138 * * [simplify]: Extracting # 2 : cost  0
2.138 * * [simplify]: Extracting # 3 : cost  0
2.138 * * [simplify]: Extracting # 4 : cost  0
2.139 * * [simplify]: iteration  2 :  98  enodes  (cost  301 )
2.155 * * [simplify]: Extracting # 0 : cost  0
2.156 * * [simplify]: Extracting # 1 : cost  0
2.156 * * [simplify]: Extracting # 2 : cost  0
2.156 * * [simplify]: Extracting # 3 : cost  0
2.156 * * [simplify]: Extracting # 4 : cost  0
2.156 * * [simplify]: iteration  3 :  153  enodes  (cost  301 )
2.178 * * [simplify]: Extracting # 0 : cost  0
2.178 * * [simplify]: Extracting # 1 : cost  0
2.179 * * [simplify]: Extracting # 2 : cost  0
2.179 * * [simplify]: Extracting # 3 : cost  0
2.179 * * [simplify]: Extracting # 4 : cost  0
2.179 * * [simplify]: iteration  4 :  241  enodes  (cost  295 )
2.232 * * [simplify]: Extracting # 0 : cost  0
2.232 * * [simplify]: Extracting # 1 : cost  0
2.232 * * [simplify]: Extracting # 2 : cost  0
2.233 * * [simplify]: Extracting # 3 : cost  0
2.233 * * [simplify]: Extracting # 4 : cost  0
2.233 * * [simplify]: iteration  5 :  421  enodes  (cost  295 )
2.400 * * [simplify]: Extracting # 0 : cost  0
2.400 * * [simplify]: Extracting # 1 : cost  0
2.401 * * [simplify]: Extracting # 2 : cost  0
2.401 * * [simplify]: Extracting # 3 : cost  0
2.402 * * [simplify]: Extracting # 4 : cost  0
2.403 * * [simplify]: iteration  6 :  1047  enodes  (cost  295 )
3.595 * * [simplify]: Extracting # 0 : cost  0
3.605 * * [simplify]: Extracting # 1 : cost  0
3.610 * * [simplify]: Extracting # 2 : cost  0
3.615 * * [simplify]: Extracting # 3 : cost  0
3.626 * * [simplify]: Extracting # 4 : cost  0
3.631 * * [simplify]: Extracting # 5 : cost  0
3.636 * * [simplify]: iteration  7 :  4342  enodes  (cost  295 )
5.264 * * [simplify]: Extracting # 0 : cost  0
5.277 * * [simplify]: Extracting # 1 : cost  0
5.283 * * [simplify]: Extracting # 2 : cost  0
5.290 * * [simplify]: Extracting # 3 : cost  0
5.303 * * [simplify]: Extracting # 4 : cost  0
5.309 * * [simplify]: iteration done:  5001  enodes  (cost  295 )
5.309 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
5.310 * * * [progress]: adding candidates to table
5.486 * * [progress]: iteration 3 / 4
5.486 * * * [progress]: picking best candidate
5.579 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
5.579 * * * [progress]: localizing error
5.619 * * * [progress]: generating rewritten candidates
5.619 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
5.619 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
5.622 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.645 * * * [progress]: generating series expansions
5.645 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.645 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.646 * [taylor]: Taking taylor expansion of 0 in a
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [taylor]: Taking taylor expansion of 0 in a
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [taylor]: Taking taylor expansion of 0 in a
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.646 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.647 * [taylor]: Taking taylor expansion of 0 in a
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [taylor]: Taking taylor expansion of 0 in a
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [taylor]: Taking taylor expansion of 0 in a
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify 0 into 0
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.647 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.647 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.648 * [taylor]: Taking taylor expansion of 0 in a
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [taylor]: Taking taylor expansion of 0 in a
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [taylor]: Taking taylor expansion of 0 in a
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
5.648 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.648 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
5.648 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.649 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.649 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.649 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.649 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.649 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.649 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.649 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.649 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.649 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.649 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.649 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.649 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.650 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.650 * [taylor]: Taking taylor expansion of 0 in a
5.650 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify 0 into 0
5.651 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.651 * [backup-simplify]: Simplify 0 into 0
5.653 * [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.653 * [taylor]: Taking taylor expansion of 0 in a
5.653 * [backup-simplify]: Simplify 0 into 0
5.653 * [backup-simplify]: Simplify 0 into 0
5.653 * [backup-simplify]: Simplify 0 into 0
5.654 * [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.654 * [backup-simplify]: Simplify 0 into 0
5.656 * [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.656 * [taylor]: Taking taylor expansion of 0 in a
5.656 * [backup-simplify]: Simplify 0 into 0
5.656 * [backup-simplify]: Simplify 0 into 0
5.656 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.657 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
5.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.657 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.657 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.657 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.658 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.658 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.658 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.658 * [taylor]: Taking taylor expansion of 0 in a
5.658 * [backup-simplify]: Simplify 0 into 0
5.658 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.659 * [backup-simplify]: Simplify 0 into 0
5.660 * [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.660 * [taylor]: Taking taylor expansion of 0 in a
5.660 * [backup-simplify]: Simplify 0 into 0
5.660 * [backup-simplify]: Simplify 0 into 0
5.660 * [backup-simplify]: Simplify 0 into 0
5.662 * [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.662 * [backup-simplify]: Simplify 0 into 0
5.664 * [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.664 * [taylor]: Taking taylor expansion of 0 in a
5.664 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
5.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.664 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
5.664 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.664 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.664 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.664 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.664 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.665 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.665 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.665 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.665 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.665 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.665 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.665 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.666 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.666 * [taylor]: Taking taylor expansion of 0 in a
5.666 * [backup-simplify]: Simplify 0 into 0
5.666 * [backup-simplify]: Simplify 0 into 0
5.667 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.667 * [backup-simplify]: Simplify 0 into 0
5.668 * [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.668 * [taylor]: Taking taylor expansion of 0 in a
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 0 into 0
5.675 * [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.675 * [backup-simplify]: Simplify 0 into 0
5.678 * [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.678 * [taylor]: Taking taylor expansion of 0 in a
5.678 * [backup-simplify]: Simplify 0 into 0
5.678 * [backup-simplify]: Simplify 0 into 0
5.678 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
5.678 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.678 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (fmod (cosh c) (log1p a))
5.678 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.678 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.679 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.679 * [taylor]: Taking taylor expansion of 0 in a
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [taylor]: Taking taylor expansion of 0 in a
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [taylor]: Taking taylor expansion of 0 in a
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.679 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.679 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.679 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.679 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.679 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.680 * [taylor]: Taking taylor expansion of 0 in a
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [taylor]: Taking taylor expansion of 0 in a
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [taylor]: Taking taylor expansion of 0 in a
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.681 * [backup-simplify]: Simplify (exp (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.681 * [taylor]: Taking taylor expansion of 0 in a
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [taylor]: Taking taylor expansion of 0 in a
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [taylor]: Taking taylor expansion of 0 in a
5.681 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify 0 into 0
5.682 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.682 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.682 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0
5.682 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
5.682 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.682 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.682 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.682 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.682 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
5.683 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.683 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.683 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.683 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.683 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
5.683 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.683 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.683 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.683 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.683 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
5.684 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.684 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
5.684 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.684 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.684 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.684 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.684 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2)
5.684 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.684 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.685 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.685 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
5.686 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
5.686 * [taylor]: Taking taylor expansion of 0 in a
5.686 * [backup-simplify]: Simplify 0 into 0
5.686 * [backup-simplify]: Simplify 0 into 0
5.686 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.687 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
5.687 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0
5.687 * [backup-simplify]: Simplify 0 into 0
5.688 * [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.689 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
5.689 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
5.689 * [taylor]: Taking taylor expansion of 0 in a
5.689 * [backup-simplify]: Simplify 0 into 0
5.689 * [backup-simplify]: Simplify 0 into 0
5.689 * [backup-simplify]: Simplify 0 into 0
5.690 * [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.691 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
5.691 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0
5.691 * [backup-simplify]: Simplify 0 into 0
5.693 * [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.694 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
5.695 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0
5.695 * [taylor]: Taking taylor expansion of 0 in a
5.695 * [backup-simplify]: Simplify 0 into 0
5.695 * [backup-simplify]: Simplify 0 into 0
5.695 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.695 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
5.695 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0
5.695 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
5.695 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.695 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.695 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.695 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.695 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
5.696 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.696 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.696 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.696 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.696 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
5.696 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.696 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.696 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.696 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.696 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)
5.697 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
5.697 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
5.697 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.697 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.697 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.698 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)
5.698 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
5.699 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3)
5.700 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.700 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
5.701 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
5.701 * [taylor]: Taking taylor expansion of 0 in a
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify 0 into 0
5.703 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.703 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
5.704 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0
5.704 * [backup-simplify]: Simplify 0 into 0
5.706 * [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.707 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
5.708 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
5.708 * [taylor]: Taking taylor expansion of 0 in a
5.708 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify 0 into 0
5.710 * [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.711 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
5.712 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0
5.712 * [backup-simplify]: Simplify 0 into 0
5.715 * [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.717 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
5.718 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0
5.718 * [taylor]: Taking taylor expansion of 0 in a
5.718 * [backup-simplify]: Simplify 0 into 0
5.718 * [backup-simplify]: Simplify 0 into 0
5.718 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.719 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
5.719 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0
5.719 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
5.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.719 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.719 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.719 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
5.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.720 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.720 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
5.720 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.720 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.721 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)
5.721 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
5.721 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
5.721 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.722 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.722 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)
5.723 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
5.723 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3)
5.724 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.725 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
5.725 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
5.725 * [taylor]: Taking taylor expansion of 0 in a
5.725 * [backup-simplify]: Simplify 0 into 0
5.725 * [backup-simplify]: Simplify 0 into 0
5.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.727 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
5.727 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0
5.727 * [backup-simplify]: Simplify 0 into 0
5.730 * [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.730 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
5.731 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
5.731 * [taylor]: Taking taylor expansion of 0 in a
5.731 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify 0 into 0
5.734 * [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.735 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
5.735 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0
5.736 * [backup-simplify]: Simplify 0 into 0
5.739 * [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.740 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
5.742 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0
5.742 * [taylor]: Taking taylor expansion of 0 in a
5.742 * [backup-simplify]: Simplify 0 into 0
5.742 * [backup-simplify]: Simplify 0 into 0
5.742 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3)
5.742 * * * [progress]: simplifying candidates
5.744 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (pow (log (fmod (cosh c) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
5.747 * * [simplify]: Extracting # 0 : cost  0
5.747 * * [simplify]: Extracting # 1 : cost  0
5.747 * * [simplify]: Extracting # 2 : cost  0
5.747 * * [simplify]: Extracting # 3 : cost  0
5.748 * * [simplify]: Extracting # 4 : cost  0
5.748 * * [simplify]: Extracting # 5 : cost  0
5.748 * * [simplify]: Extracting # 6 : cost  0
5.748 * * [simplify]: Extracting # 7 : cost  0
5.749 * * [simplify]: iteration  0 :  79  enodes  (cost  864 )
5.792 * * [simplify]: Extracting # 0 : cost  0
5.792 * * [simplify]: Extracting # 1 : cost  0
5.793 * * [simplify]: Extracting # 2 : cost  0
5.793 * * [simplify]: Extracting # 3 : cost  0
5.793 * * [simplify]: Extracting # 4 : cost  0
5.793 * * [simplify]: Extracting # 5 : cost  0
5.793 * * [simplify]: iteration  1 :  173  enodes  (cost  699 )
5.885 * * [simplify]: Extracting # 0 : cost  0
5.886 * * [simplify]: Extracting # 1 : cost  0
5.887 * * [simplify]: Extracting # 2 : cost  0
5.889 * * [simplify]: Extracting # 3 : cost  0
5.890 * * [simplify]: Extracting # 4 : cost  0
5.891 * * [simplify]: iteration  2 :  721  enodes  (cost  612 )
6.641 * * [simplify]: Extracting # 0 : cost  0
6.650 * * [simplify]: Extracting # 1 : cost  0
6.655 * * [simplify]: Extracting # 2 : cost  0
6.661 * * [simplify]: Extracting # 3 : cost  0
6.666 * * [simplify]: Extracting # 4 : cost  0
6.674 * * [simplify]: iteration done:  5001  enodes  (cost  612 )
6.674 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  3
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (log (fmod (cosh c) (log1p a)))
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
6.675 * * * [progress]: adding candidates to table
7.095 * * [progress]: iteration 4 / 4
7.095 * * * [progress]: picking best candidate
7.242 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))>
7.242 * * * [progress]: localizing error
7.278 * * * [progress]: generating rewritten candidates
7.278 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1 1)
7.279 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
7.279 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
7.282 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
7.285 * * * [progress]: generating series expansions
7.285 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1 1)
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [taylor]: Taking taylor expansion of 0 in a
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.287 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.287 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.287 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [taylor]: Taking taylor expansion of 0 in a
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.289 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.291 * [taylor]: Taking taylor expansion of 0 in a
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [taylor]: Taking taylor expansion of 0 in a
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [taylor]: Taking taylor expansion of 0 in a
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.291 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1)
7.291 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.292 * [taylor]: Taking taylor expansion of 0 in a
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [taylor]: Taking taylor expansion of 0 in a
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [taylor]: Taking taylor expansion of 0 in a
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.293 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.293 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.293 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.293 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [taylor]: Taking taylor expansion of 0 in a
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.295 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.296 * [taylor]: Taking taylor expansion of 0 in a
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [taylor]: Taking taylor expansion of 0 in a
7.296 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [taylor]: Taking taylor expansion of 0 in a
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.297 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
7.297 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.297 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
7.297 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.297 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.297 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.298 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.298 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.298 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.298 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.298 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.298 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.298 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.298 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.298 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.298 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.298 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.299 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.299 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.299 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.300 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.300 * [taylor]: Taking taylor expansion of 0 in a
7.300 * [backup-simplify]: Simplify 0 into 0
7.300 * [backup-simplify]: Simplify 0 into 0
7.301 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.302 * [backup-simplify]: Simplify 0 into 0
7.304 * [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
7.304 * [taylor]: Taking taylor expansion of 0 in a
7.304 * [backup-simplify]: Simplify 0 into 0
7.304 * [backup-simplify]: Simplify 0 into 0
7.304 * [backup-simplify]: Simplify 0 into 0
7.306 * [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
7.306 * [backup-simplify]: Simplify 0 into 0
7.309 * [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
7.309 * [taylor]: Taking taylor expansion of 0 in a
7.309 * [backup-simplify]: Simplify 0 into 0
7.309 * [backup-simplify]: Simplify 0 into 0
7.310 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.310 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
7.310 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.310 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.310 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.319 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.319 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.319 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.320 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.320 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.320 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.321 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.323 * [taylor]: Taking taylor expansion of 0 in a
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.325 * [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
7.325 * [taylor]: Taking taylor expansion of 0 in a
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.327 * [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
7.327 * [backup-simplify]: Simplify 0 into 0
7.329 * [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
7.329 * [taylor]: Taking taylor expansion of 0 in a
7.329 * [backup-simplify]: Simplify 0 into 0
7.329 * [backup-simplify]: Simplify 0 into 0
7.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
7.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.329 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
7.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.330 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.330 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.331 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.331 * [taylor]: Taking taylor expansion of 0 in a
7.331 * [backup-simplify]: Simplify 0 into 0
7.331 * [backup-simplify]: Simplify 0 into 0
7.332 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.332 * [backup-simplify]: Simplify 0 into 0
7.333 * [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
7.333 * [taylor]: Taking taylor expansion of 0 in a
7.333 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify 0 into 0
7.334 * [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
7.334 * [backup-simplify]: Simplify 0 into 0
7.336 * [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
7.337 * [taylor]: Taking taylor expansion of 0 in a
7.337 * [backup-simplify]: Simplify 0 into 0
7.337 * [backup-simplify]: Simplify 0 into 0
7.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
7.337 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
7.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.337 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.337 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.337 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.338 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.338 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.338 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.338 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.338 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.338 * [taylor]: Taking taylor expansion of 0 in a
7.338 * [backup-simplify]: Simplify 0 into 0
7.338 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.339 * [backup-simplify]: Simplify 0 into 0
7.340 * [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
7.340 * [taylor]: Taking taylor expansion of 0 in a
7.340 * [backup-simplify]: Simplify 0 into 0
7.340 * [backup-simplify]: Simplify 0 into 0
7.340 * [backup-simplify]: Simplify 0 into 0
7.342 * [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
7.342 * [backup-simplify]: Simplify 0 into 0
7.344 * [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
7.344 * [taylor]: Taking taylor expansion of 0 in a
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.344 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.344 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
7.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.344 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.344 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.345 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.345 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.345 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.345 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.346 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.346 * [taylor]: Taking taylor expansion of 0 in a
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.346 * [backup-simplify]: Simplify 0 into 0
7.348 * [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
7.348 * [taylor]: Taking taylor expansion of 0 in a
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 0 into 0
7.349 * [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
7.349 * [backup-simplify]: Simplify 0 into 0
7.351 * [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
7.351 * [taylor]: Taking taylor expansion of 0 in a
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
7.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.352 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
7.352 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.352 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.352 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.353 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.353 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.354 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.354 * [taylor]: Taking taylor expansion of 0 in a
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.355 * [backup-simplify]: Simplify 0 into 0
7.357 * [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
7.357 * [taylor]: Taking taylor expansion of 0 in a
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
7.359 * [backup-simplify]: Simplify 0 into 0
7.363 * [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
7.363 * [taylor]: Taking taylor expansion of 0 in a
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
7.363 * * * [progress]: simplifying candidates
7.365 * [simplify]: Simplifying:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (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))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
7.366 * * [simplify]: Extracting # 0 : cost  0
7.366 * * [simplify]: Extracting # 1 : cost  0
7.366 * * [simplify]: Extracting # 2 : cost  0
7.366 * * [simplify]: Extracting # 3 : cost  0
7.366 * * [simplify]: Extracting # 4 : cost  0
7.366 * * [simplify]: Extracting # 5 : cost  0
7.366 * * [simplify]: Extracting # 6 : cost  0
7.366 * * [simplify]: iteration  0 :  24  enodes  (cost  424 )
7.373 * * [simplify]: Extracting # 0 : cost  0
7.373 * * [simplify]: Extracting # 1 : cost  0
7.373 * * [simplify]: Extracting # 2 : cost  0
7.373 * * [simplify]: Extracting # 3 : cost  0
7.374 * * [simplify]: Extracting # 4 : cost  0
7.374 * * [simplify]: Extracting # 5 : cost  0
7.374 * * [simplify]: Extracting # 6 : cost  0
7.374 * * [simplify]: iteration  1 :  38  enodes  (cost  418 )
7.379 * * [simplify]: Extracting # 0 : cost  0
7.379 * * [simplify]: Extracting # 1 : cost  0
7.379 * * [simplify]: Extracting # 2 : cost  0
7.379 * * [simplify]: Extracting # 3 : cost  0
7.379 * * [simplify]: iteration  2 :  55  enodes  (cost  364 )
7.385 * * [simplify]: Extracting # 0 : cost  0
7.386 * * [simplify]: Extracting # 1 : cost  0
7.386 * * [simplify]: Extracting # 2 : cost  0
7.386 * * [simplify]: Extracting # 3 : cost  0
7.386 * * [simplify]: Extracting # 4 : cost  0
7.386 * * [simplify]: iteration  3 :  69  enodes  (cost  364 )
7.395 * * [simplify]: Extracting # 0 : cost  0
7.395 * * [simplify]: Extracting # 1 : cost  0
7.396 * * [simplify]: Extracting # 2 : cost  0
7.396 * * [simplify]: Extracting # 3 : cost  0
7.396 * * [simplify]: Extracting # 4 : cost  0
7.396 * * [simplify]: iteration  4 :  89  enodes  (cost  364 )
7.424 * * [simplify]: Extracting # 0 : cost  0
7.424 * * [simplify]: Extracting # 1 : cost  0
7.425 * * [simplify]: Extracting # 2 : cost  0
7.425 * * [simplify]: Extracting # 3 : cost  0
7.425 * * [simplify]: Extracting # 4 : cost  0
7.425 * * [simplify]: iteration  5 :  163  enodes  (cost  364 )
7.464 * * [simplify]: Extracting # 0 : cost  0
7.464 * * [simplify]: Extracting # 1 : cost  0
7.464 * * [simplify]: Extracting # 2 : cost  0
7.464 * * [simplify]: Extracting # 3 : cost  0
7.464 * * [simplify]: iteration  6 :  329  enodes  (cost  364 )
7.579 * * [simplify]: Extracting # 0 : cost  0
7.580 * * [simplify]: Extracting # 1 : cost  0
7.580 * * [simplify]: Extracting # 2 : cost  0
7.581 * * [simplify]: Extracting # 3 : cost  0
7.582 * * [simplify]: Extracting # 4 : cost  0
7.582 * * [simplify]: iteration  7 :  740  enodes  (cost  364 )
7.991 * * [simplify]: Extracting # 0 : cost  0
7.992 * * [simplify]: Extracting # 1 : cost  0
7.993 * * [simplify]: Extracting # 2 : cost  0
7.995 * * [simplify]: Extracting # 3 : cost  0
7.996 * * [simplify]: Extracting # 4 : cost  0
7.997 * * [simplify]: iteration  8 :  2307  enodes  (cost  364 )
8.760 * * [simplify]: Extracting # 0 : cost  0
8.769 * * [simplify]: Extracting # 1 : cost  0
8.773 * * [simplify]: Extracting # 2 : cost  0
8.777 * * [simplify]: Extracting # 3 : cost  0
8.784 * * [simplify]: Extracting # 4 : cost  0
8.792 * * [simplify]: iteration done:  5000  enodes  (cost  364 )
8.793 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
8.794 * * * [progress]: adding candidates to table
9.170 * [progress]: [Phase 3 of 3] Extracting.
9.170 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
9.184 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
9.184 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
9.458 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
9.675 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
9.884 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
10.095 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 2)) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 2))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))>)
10.346 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
10.347 * [simplify]: Simplifying:
  (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3)))
10.347 * * [simplify]: Extracting # 0 : cost  0
10.347 * * [simplify]: Extracting # 1 : cost  0
10.347 * * [simplify]: Extracting # 2 : cost  0
10.347 * * [simplify]: Extracting # 3 : cost  0
10.347 * * [simplify]: Extracting # 4 : cost  0
10.347 * * [simplify]: Extracting # 5 : cost  0
10.347 * * [simplify]: Extracting # 6 : cost  0
10.347 * * [simplify]: Extracting # 7 : cost  0
10.348 * * [simplify]: Extracting # 8 : cost  0
10.348 * * [simplify]: Extracting # 9 : cost  0
10.348 * * [simplify]: Extracting # 10 : cost  0
10.348 * * [simplify]: Extracting # 11 : cost  0
10.348 * * [simplify]: Extracting # 12 : cost  0
10.348 * * [simplify]: Extracting # 13 : cost  0
10.348 * * [simplify]: Extracting # 14 : cost  0
10.348 * * [simplify]: Extracting # 15 : cost  0
10.348 * * [simplify]: iteration  0 :  18  enodes  (cost  38 )
10.348 * * [simplify]: Extracting # 0 : cost  0
10.348 * * [simplify]: iteration  1 :  20  enodes  (cost  38 )
10.349 * * [simplify]: Extracting # 0 : cost  0
10.349 * * [simplify]: iteration done:  20  enodes  (cost  38 )
10.349 * [simplify]: Simplified to:
  (exp (cbrt (pow (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 2)) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3)))
34.204 * [regime-testing]: Baseline error score: 34.84054596104334
34.206 * [regime-testing]: Oracle error score: 34.8081848874082
34.211 * [regime-testing]: End program error score: 34.84054596104334