7.475 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.308 * * * [progress]: [2/2] Setting up program.
0.311 * [progress]: [Phase 2 of 3] Improving.
0.311 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.311 * [simplify]: Sending expressions to egg_math:
 (fmod (cosh h1) (log1p h0))
0.313 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.314 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.316 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.317 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.318 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.319 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.320 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.322 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.324 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.331 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.530 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.531 * * [progress]: iteration 1 / 4
0.531 * * * [progress]: picking best candidate
0.533 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.533 * * * [progress]: localizing error
0.539 * * * [progress]: generating rewritten candidates
0.539 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.540 * * * [progress]: generating series expansions
0.540 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.540 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.541 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.542 * [taylor]: Taking taylor expansion of 0 in a
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [taylor]: Taking taylor expansion of 0 in a
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [taylor]: Taking taylor expansion of 0 in a
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.542 * [taylor]: Taking taylor expansion of 0 in a
0.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [taylor]: Taking taylor expansion of 0 in a
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [taylor]: Taking taylor expansion of 0 in a
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.543 * * * [progress]: simplifying candidates
0.543 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.543 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
0.545 * * [simplify]: iteration  0 :  21  enodes  (cost  57 )
0.546 * * [simplify]: iteration  1 :  26  enodes  (cost  50 )
0.548 * * [simplify]: iteration  2 :  31  enodes  (cost  50 )
0.549 * * [simplify]: iteration  3 :  38  enodes  (cost  50 )
0.550 * * [simplify]: iteration  4 :  58  enodes  (cost  50 )
0.552 * * [simplify]: iteration  5 :  117  enodes  (cost  50 )
0.557 * * [simplify]: iteration  6 :  567  enodes  (cost  50 )
0.571 * * [simplify]: iteration  7 :  1852  enodes  (cost  50 )
0.639 * * [simplify]: iteration  8 :  5001  enodes  (cost  50 )
0.639 * * * [progress]: adding candidates to table
0.667 * * [progress]: iteration 2 / 4
0.667 * * * [progress]: picking best candidate
0.679 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.679 * * * [progress]: localizing error
0.688 * * * [progress]: generating rewritten candidates
0.688 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.688 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.690 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.696 * * * [progress]: generating series expansions
0.696 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.696 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [taylor]: Taking taylor expansion of 0 in a
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [taylor]: Taking taylor expansion of 0 in a
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [taylor]: Taking taylor expansion of 0 in a
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.697 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.697 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.697 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.697 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.698 * [taylor]: Taking taylor expansion of 0 in a
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [taylor]: Taking taylor expansion of 0 in a
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [taylor]: Taking taylor expansion of 0 in a
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.698 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.698 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.699 * [taylor]: Taking taylor expansion of 0 in a
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [taylor]: Taking taylor expansion of 0 in a
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [taylor]: Taking taylor expansion of 0 in a
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.699 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.699 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.699 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.699 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.699 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.699 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.699 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.699 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.699 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.700 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.700 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.700 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.700 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.700 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.700 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.700 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.700 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.701 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
0.701 * [taylor]: Taking taylor expansion of 0 in a
0.701 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
0.701 * [backup-simplify]: Simplify 0 into 0
0.703 * [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
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify 0 into 0
0.704 * [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
0.704 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.706 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.706 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.706 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.706 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.706 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.706 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.706 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.706 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.707 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.707 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.707 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [backup-simplify]: Simplify 0 into 0
0.707 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
0.708 * [backup-simplify]: Simplify 0 into 0
0.709 * [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
0.709 * [taylor]: Taking taylor expansion of 0 in a
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify 0 into 0
0.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
0.710 * [backup-simplify]: Simplify 0 into 0
0.712 * [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
0.712 * [taylor]: Taking taylor expansion of 0 in a
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
0.713 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.713 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.713 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.713 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.713 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.713 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.714 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.714 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
0.714 * [taylor]: Taking taylor expansion of 0 in a
0.714 * [backup-simplify]: Simplify 0 into 0
0.714 * [backup-simplify]: Simplify 0 into 0
0.715 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
0.715 * [backup-simplify]: Simplify 0 into 0
0.716 * [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
0.716 * [taylor]: Taking taylor expansion of 0 in a
0.716 * [backup-simplify]: Simplify 0 into 0
0.716 * [backup-simplify]: Simplify 0 into 0
0.716 * [backup-simplify]: Simplify 0 into 0
0.717 * [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
0.717 * [backup-simplify]: Simplify 0 into 0
0.719 * [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
0.719 * [taylor]: Taking taylor expansion of 0 in a
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify 0 into 0
0.719 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
0.719 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.719 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
0.719 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.719 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.720 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.720 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.720 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.721 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.721 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.721 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.722 * * * [progress]: simplifying candidates
0.723 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.723 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (log (fmod (cosh h1) (log1p h0))))
 (log1p (log (fmod (cosh h1) (log1p h0))))
 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (log (cbrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log 1)
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (log (fmod (cosh h1) (log1p h0))))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (expm1 (exp (log (fmod (cosh h1) (log1p h0)))))
 (log1p (exp (log (fmod (cosh h1) (log1p h0)))))
 (exp 1)
 (exp (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))))
 (exp (sqrt (log (fmod (cosh h1) (log1p h0)))))
 (exp 1)
 (exp (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))))
 (exp (log (cbrt (fmod (cosh h1) (log1p h0)))))
 (exp (log (sqrt (fmod (cosh h1) (log1p h0)))))
 (exp (log (sqrt (fmod (cosh h1) (log1p h0)))))
 (exp (log 1))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (log (exp (log (fmod (cosh h1) (log1p h0)))))
 (exp (exp (log (fmod (cosh h1) (log1p h0)))))
 (* (cbrt (exp (log (fmod (cosh h1) (log1p h0))))) (cbrt (exp (log (fmod (cosh h1) (log1p h0))))))
 (cbrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (* (* (exp (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0))))) (exp (log (fmod (cosh h1) (log1p h0)))))
 (sqrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (sqrt (exp (log (fmod (cosh h1) (log1p h0)))))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
0.725 * * [simplify]: iteration  0 :  61  enodes  (cost  260 )
0.727 * * [simplify]: iteration  1 :  87  enodes  (cost  232 )
0.728 * * [simplify]: iteration  2 :  110  enodes  (cost  226 )
0.730 * * [simplify]: iteration  3 :  158  enodes  (cost  220 )
0.732 * * [simplify]: iteration  4 :  303  enodes  (cost  220 )
0.736 * * [simplify]: iteration  5 :  741  enodes  (cost  220 )
0.749 * * [simplify]: iteration  6 :  2510  enodes  (cost  220 )
0.802 * * [simplify]: iteration  7 :  5002  enodes  (cost  220 )
0.803 * * * [progress]: adding candidates to table
0.916 * * [progress]: iteration 3 / 4
0.916 * * * [progress]: picking best candidate
0.953 * * * * [pick]: Picked  #<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)))))))>
0.953 * * * [progress]: localizing error
0.966 * * * [progress]: generating rewritten candidates
0.966 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
0.967 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
0.967 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
0.967 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.969 * * * [progress]: generating series expansions
0.969 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
0.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.969 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.969 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.970 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.971 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.971 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.972 * [taylor]: Taking taylor expansion of 0 in a
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [taylor]: Taking taylor expansion of 0 in a
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [taylor]: Taking taylor expansion of 0 in a
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.972 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.972 * [taylor]: Taking taylor expansion of 0 in a
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.975 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.975 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.975 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.976 * [taylor]: Taking taylor expansion of 0 in a
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [taylor]: Taking taylor expansion of 0 in a
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [taylor]: Taking taylor expansion of 0 in a
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.976 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.976 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.977 * [taylor]: Taking taylor expansion of 0 in a
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [taylor]: Taking taylor expansion of 0 in a
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [taylor]: Taking taylor expansion of 0 in a
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.977 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.977 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.977 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.977 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.977 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.977 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.978 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.978 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.978 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.978 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.978 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.978 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.978 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.978 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.979 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
0.979 * [taylor]: Taking taylor expansion of 0 in a
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
0.979 * [backup-simplify]: Simplify 0 into 0
0.981 * [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
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 0 into 0
0.982 * [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
0.982 * [backup-simplify]: Simplify 0 into 0
0.984 * [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
0.984 * [taylor]: Taking taylor expansion of 0 in a
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
0.984 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.984 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.984 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.984 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.984 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.984 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.984 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.984 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.984 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.984 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.985 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.985 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.985 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.985 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.985 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.985 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
0.985 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
0.985 * [taylor]: Taking taylor expansion of 0 in a
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
0.986 * [backup-simplify]: Simplify 0 into 0
0.987 * [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
0.987 * [taylor]: Taking taylor expansion of 0 in a
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify 0 into 0
0.988 * [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
0.988 * [backup-simplify]: Simplify 0 into 0
0.990 * [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
0.990 * [taylor]: Taking taylor expansion of 0 in a
0.990 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
0.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.991 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.991 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.991 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.992 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
0.992 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
0.992 * [taylor]: Taking taylor expansion of 0 in a
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
0.993 * [backup-simplify]: Simplify 0 into 0
0.994 * [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
0.994 * [taylor]: Taking taylor expansion of 0 in a
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.995 * [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
0.995 * [backup-simplify]: Simplify 0 into 0
1.000 * [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
1.000 * [taylor]: Taking taylor expansion of 0 in a
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1.000 * * * [progress]: simplifying candidates
1.001 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.001 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (log (fmod (cosh h1) (log1p h0))))
 (log1p (log (fmod (cosh h1) (log1p h0))))
 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (log (cbrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log 1)
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (log (fmod (cosh h1) (log1p h0))))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
1.004 * * [simplify]: iteration  0 :  39  enodes  (cost  275 )
1.005 * * [simplify]: iteration  1 :  52  enodes  (cost  240 )
1.006 * * [simplify]: iteration  2 :  66  enodes  (cost  240 )
1.008 * * [simplify]: iteration  3 :  81  enodes  (cost  240 )
1.010 * * [simplify]: iteration  4 :  126  enodes  (cost  240 )
1.012 * * [simplify]: iteration  5 :  254  enodes  (cost  240 )
1.019 * * [simplify]: iteration  6 :  1131  enodes  (cost  240 )
1.051 * * [simplify]: iteration  7 :  4993  enodes  (cost  240 )
1.189 * * [simplify]: iteration  8 :  5001  enodes  (cost  240 )
1.190 * * * [progress]: adding candidates to table
1.377 * * [progress]: iteration 4 / 4
1.377 * * * [progress]: picking best candidate
1.427 * * * * [pick]: Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))>
1.427 * * * [progress]: localizing error
1.444 * * * [progress]: generating rewritten candidates
1.444 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.444 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.445 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.447 * * * [progress]: generating series expansions
1.447 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.447 * [taylor]: Taking taylor expansion of 0 in a
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [taylor]: Taking taylor expansion of 0 in a
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [taylor]: Taking taylor expansion of 0 in a
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.448 * [taylor]: Taking taylor expansion of 0 in a
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [taylor]: Taking taylor expansion of 0 in a
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [taylor]: Taking taylor expansion of 0 in a
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.449 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.450 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.450 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.450 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.450 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.451 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.451 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.452 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.452 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.452 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [taylor]: Taking taylor expansion of 0 in a
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.455 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.455 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.455 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.455 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.455 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.455 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.455 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.455 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.455 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.455 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.456 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.456 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.456 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 0 into 0
1.457 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1.457 * [backup-simplify]: Simplify 0 into 0
1.458 * [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
1.458 * [taylor]: Taking taylor expansion of 0 in a
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify 0 into 0
1.459 * [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
1.459 * [backup-simplify]: Simplify 0 into 0
1.461 * [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
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.461 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.461 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.462 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1.463 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1.463 * [taylor]: Taking taylor expansion of 0 in a
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1.464 * [backup-simplify]: Simplify 0 into 0
1.465 * [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
1.465 * [taylor]: Taking taylor expansion of 0 in a
1.465 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify 0 into 0
1.466 * [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
1.466 * [backup-simplify]: Simplify 0 into 0
1.468 * [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
1.468 * [taylor]: Taking taylor expansion of 0 in a
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1.468 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.468 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.468 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.468 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.468 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.469 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.469 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.469 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.469 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.469 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.469 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.469 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1.470 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1.470 * [taylor]: Taking taylor expansion of 0 in a
1.470 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1.471 * [backup-simplify]: Simplify 0 into 0
1.475 * [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
1.475 * [taylor]: Taking taylor expansion of 0 in a
1.475 * [backup-simplify]: Simplify 0 into 0
1.475 * [backup-simplify]: Simplify 0 into 0
1.475 * [backup-simplify]: Simplify 0 into 0
1.476 * [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
1.476 * [backup-simplify]: Simplify 0 into 0
1.478 * [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
1.478 * [taylor]: Taking taylor expansion of 0 in a
1.478 * [backup-simplify]: Simplify 0 into 0
1.478 * [backup-simplify]: Simplify 0 into 0
1.478 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1.478 * * * [progress]: simplifying candidates
1.479 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.479 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (fmod (cosh h1) (log1p h0)))
 (log1p (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (exp (fmod (cosh h1) (log1p h0)))
 (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))
 (cbrt (fmod (cosh h1) (log1p h0)))
 (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (sqrt (fmod (cosh h1) (log1p h0)))
 (expm1 (log (fmod (cosh h1) (log1p h0))))
 (log1p (log (fmod (cosh h1) (log1p h0))))
 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))
 (log (cbrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log (sqrt (fmod (cosh h1) (log1p h0))))
 (log 1)
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (log (fmod (cosh h1) (log1p h0))))
 (exp (log (fmod (cosh h1) (log1p h0))))
 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))
 (cbrt (log (fmod (cosh h1) (log1p h0))))
 (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (sqrt (log (fmod (cosh h1) (log1p h0))))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (fmod (cosh h1) (log1p h0))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
 (log (fmod (cosh h1) (log1p h0)))
1.481 * * [simplify]: iteration  0 :  39  enodes  (cost  275 )
1.482 * * [simplify]: iteration  1 :  52  enodes  (cost  240 )
1.484 * * [simplify]: iteration  2 :  66  enodes  (cost  240 )
1.485 * * [simplify]: iteration  3 :  81  enodes  (cost  240 )
1.487 * * [simplify]: iteration  4 :  126  enodes  (cost  240 )
1.489 * * [simplify]: iteration  5 :  254  enodes  (cost  240 )
1.497 * * [simplify]: iteration  6 :  1131  enodes  (cost  240 )
1.528 * * [simplify]: iteration  7 :  4993  enodes  (cost  240 )
1.665 * * [simplify]: iteration  8 :  5001  enodes  (cost  240 )
1.667 * * * [progress]: adding candidates to table
1.893 * [progress]: [Phase 3 of 3] Extracting.
1.893 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
1.897 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.897 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
1.981 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
2.053 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
2.140 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
2.219 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (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 (cbrt (pow (* (* (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) (exp (log (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (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 (* (* (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 (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (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)))))>)
2.296 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
2.296 * [simplify]: Simplifying:
  (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
2.296 * [simplify]: Sending expressions to egg_math:
 (exp (* (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))))
2.297 * * [simplify]: iteration  0 :  15  enodes  (cost  20 )
2.297 * * [simplify]: iteration  1 :  15  enodes  (cost  20 )
14.022 * [regime-testing]: Baseline error score: 33.92144441761302
14.023 * [regime-testing]: Oracle error score: 33.87134455772713
14.025 * [regime-testing]: End program error score: 33.92144441761302