6.836 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.331 * * * [progress]: [2/2] Setting up program.
0.333 * [progress]: [Phase 2 of 3] Improving.
0.333 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.335 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.336 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.338 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.339 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.340 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.341 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.343 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.344 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.346 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.353 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.553 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.554 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.555 * * [progress]: iteration 1 / 4
0.555 * * * [progress]: picking best candidate
0.557 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.557 * * * [progress]: localizing error
0.563 * * * [progress]: generating rewritten candidates
0.563 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.564 * * * [progress]: generating series expansions
0.564 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.564 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.566 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.566 * [taylor]: Taking taylor expansion of 0 in a
0.566 * [taylor]: Taking taylor expansion of 0 in a
0.566 * [taylor]: Taking taylor expansion of 0 in a
0.566 * * * [progress]: simplifying candidates
0.567 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.569 * * [simplify]: iteration  0 :  21  enodes  (cost  57 )
0.570 * * [simplify]: iteration  1 :  26  enodes  (cost  50 )
0.571 * * [simplify]: iteration  2 :  31  enodes  (cost  50 )
0.573 * * [simplify]: iteration  3 :  38  enodes  (cost  50 )
0.574 * * [simplify]: iteration  4 :  58  enodes  (cost  50 )
0.576 * * [simplify]: iteration  5 :  117  enodes  (cost  50 )
0.580 * * [simplify]: iteration  6 :  567  enodes  (cost  50 )
0.595 * * [simplify]: iteration  7 :  1852  enodes  (cost  50 )
0.664 * * [simplify]: iteration  8 :  5001  enodes  (cost  50 )
0.665 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.665 * * * [progress]: adding candidates to table
0.693 * * [progress]: iteration 2 / 4
0.693 * * * [progress]: picking best candidate
0.708 * * * * [pick]: Picked  #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.708 * * * [progress]: localizing error
0.720 * * * [progress]: generating rewritten candidates
0.720 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.721 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.722 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.723 * * * [progress]: generating series expansions
0.723 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.723 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.725 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in (c a) around 0
0.725 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in a
0.725 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
0.725 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in a
0.725 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in a
0.725 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.726 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in a
0.726 * [taylor]: Taking taylor expansion of 1 in a
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.726 * [taylor]: Taking taylor expansion of 1 in a
0.726 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in c
0.726 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
0.726 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in c
0.726 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
0.726 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.726 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
0.726 * [taylor]: Taking taylor expansion of 1 in c
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.726 * [taylor]: Taking taylor expansion of 1 in c
0.726 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in c
0.726 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
0.726 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in c
0.726 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
0.727 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.727 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
0.727 * [taylor]: Taking taylor expansion of 1 in c
0.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.727 * [taylor]: Taking taylor expansion of 1 in c
0.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.729 * [taylor]: Taking taylor expansion of 0 in a
0.732 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
0.736 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
0.736 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
0.736 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
0.737 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.737 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.737 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.737 * [taylor]: Taking taylor expansion of 1 in a
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.737 * [taylor]: Taking taylor expansion of 1 in a
0.737 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
0.737 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
0.737 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
0.737 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.737 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.737 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.737 * [taylor]: Taking taylor expansion of 1 in c
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.738 * [taylor]: Taking taylor expansion of 1 in c
0.738 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
0.738 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
0.738 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
0.738 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.738 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.738 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.738 * [taylor]: Taking taylor expansion of 1 in c
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.738 * [taylor]: Taking taylor expansion of 1 in c
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.743 * [taylor]: Taking taylor expansion of 0 in a
0.747 * [taylor]: Taking taylor expansion of 0 in a
0.747 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
0.747 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
0.747 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
0.747 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
0.747 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.747 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.747 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.747 * [taylor]: Taking taylor expansion of 1 in a
0.747 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.748 * [taylor]: Taking taylor expansion of 1 in a
0.748 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
0.748 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
0.748 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
0.748 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.748 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.748 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.748 * [taylor]: Taking taylor expansion of 1 in c
0.748 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.748 * [taylor]: Taking taylor expansion of 1 in c
0.748 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
0.748 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
0.748 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
0.748 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.748 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.748 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.748 * [taylor]: Taking taylor expansion of 1 in c
0.748 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.749 * [taylor]: Taking taylor expansion of 1 in c
0.749 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.751 * [taylor]: Taking taylor expansion of 0 in a
0.754 * [taylor]: Taking taylor expansion of 0 in a
0.757 * [taylor]: Taking taylor expansion of 0 in a
0.758 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.758 * [approximate]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in (c a) around 0
0.758 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in a
0.758 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.758 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in a
0.758 * [taylor]: Taking taylor expansion of 1 in a
0.758 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.758 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
0.758 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.758 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
0.758 * [taylor]: Taking taylor expansion of 1 in c
0.758 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.758 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
0.758 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
0.758 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
0.758 * [taylor]: Taking taylor expansion of 1 in c
0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.759 * [taylor]: Taking taylor expansion of (log (+ (fmod (cosh c) (log1p a)) 1)) in a
0.759 * [taylor]: Taking taylor expansion of (+ (fmod (cosh c) (log1p a)) 1) in a
0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.759 * [taylor]: Taking taylor expansion of 1 in a
0.760 * [taylor]: Taking taylor expansion of 0 in a
0.762 * [taylor]: Taking taylor expansion of 0 in a
0.766 * [taylor]: Taking taylor expansion of 0 in a
0.766 * [approximate]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.766 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.766 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.766 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.766 * [taylor]: Taking taylor expansion of 1 in a
0.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.766 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.766 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.766 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.766 * [taylor]: Taking taylor expansion of 1 in c
0.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.767 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.767 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
0.767 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.767 * [taylor]: Taking taylor expansion of 1 in c
0.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.767 * [taylor]: Taking taylor expansion of (log (+ (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)) in a
0.767 * [taylor]: Taking taylor expansion of (+ (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1) in a
0.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.767 * [taylor]: Taking taylor expansion of 1 in a
0.768 * [taylor]: Taking taylor expansion of 0 in a
0.771 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [approximate]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.775 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.775 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.775 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.775 * [taylor]: Taking taylor expansion of 1 in a
0.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.775 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.775 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.775 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.775 * [taylor]: Taking taylor expansion of 1 in c
0.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.775 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.775 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
0.775 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.775 * [taylor]: Taking taylor expansion of 1 in c
0.775 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.776 * [taylor]: Taking taylor expansion of (log (+ (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)) in a
0.776 * [taylor]: Taking taylor expansion of (+ (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1) in a
0.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.776 * [taylor]: Taking taylor expansion of 1 in a
0.777 * [taylor]: Taking taylor expansion of 0 in a
0.779 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * * * [progress]: simplifying candidates
0.783 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (exp (log1p (fmod (cosh c) (log1p a))))
  (expm1 (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (log1p (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (log (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (exp (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (* (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))))
  (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (* (* (expm1 (log1p (fmod (cosh c) (log1p a)))) (expm1 (log1p (fmod (cosh c) (log1p a))))) (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))
  (+ 1 (fmod (cosh c) (log1p a)))
  (expm1 (log1p (fmod (cosh c) (log1p a))))
  (log1p (log1p (fmod (cosh c) (log1p a))))
  (log (log1p (fmod (cosh c) (log1p a))))
  (exp (log1p (fmod (cosh c) (log1p a))))
  (* (cbrt (log1p (fmod (cosh c) (log1p a)))) (cbrt (log1p (fmod (cosh c) (log1p a)))))
  (cbrt (log1p (fmod (cosh c) (log1p a))))
  (* (* (log1p (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a)))) (log1p (fmod (cosh c) (log1p a))))
  (sqrt (log1p (fmod (cosh c) (log1p a))))
  (sqrt (log1p (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)) 1))
  (log (+ (fmod (cosh c) (log1p a)) 1))
  (log (+ (fmod (cosh c) (log1p a)) 1))
0.786 * * [simplify]: iteration  0 :  47  enodes  (cost  196 )
0.787 * * [simplify]: iteration  1 :  59  enodes  (cost  170 )
0.789 * * [simplify]: iteration  2 :  66  enodes  (cost  168 )
0.790 * * [simplify]: iteration  3 :  75  enodes  (cost  168 )
0.792 * * [simplify]: iteration  4 :  108  enodes  (cost  168 )
0.794 * * [simplify]: iteration  5 :  202  enodes  (cost  168 )
0.799 * * [simplify]: iteration  6 :  757  enodes  (cost  168 )
0.817 * * [simplify]: iteration  7 :  2497  enodes  (cost  168 )
0.896 * * [simplify]: iteration  8 :  5001  enodes  (cost  168 )
0.897 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 (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)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (log1p (log1p (fmod (cosh c) (log1p a))))
  (log (log1p (fmod (cosh c) (log1p a))))
  (+ 1 (fmod (cosh c) (log1p a)))
  (* (cbrt (log1p (fmod (cosh c) (log1p a)))) (cbrt (log1p (fmod (cosh c) (log1p a)))))
  (cbrt (log1p (fmod (cosh c) (log1p a))))
  (pow (log1p (fmod (cosh c) (log1p a))) 3)
  (sqrt (log1p (fmod (cosh c) (log1p a))))
  (sqrt (log1p (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))
  (log1p (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
0.897 * * * [progress]: adding candidates to table
0.979 * * [progress]: iteration 3 / 4
0.979 * * * [progress]: picking best candidate
0.999 * * * * [pick]: Picked  #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
0.999 * * * [progress]: localizing error
1.011 * * * [progress]: generating rewritten candidates
1.011 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.012 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.014 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.016 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.017 * * * [progress]: generating series expansions
1.017 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.017 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.017 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.018 * [taylor]: Taking taylor expansion of 0 in a
1.018 * [taylor]: Taking taylor expansion of 0 in a
1.018 * [taylor]: Taking taylor expansion of 0 in a
1.018 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.019 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.020 * [taylor]: Taking taylor expansion of 0 in a
1.020 * [taylor]: Taking taylor expansion of 0 in a
1.020 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.020 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.020 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.020 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.020 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.020 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.021 * [taylor]: Taking taylor expansion of 0 in a
1.023 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.032 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.033 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.033 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.033 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.034 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.039 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.039 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.039 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.039 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.039 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.039 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.041 * [taylor]: Taking taylor expansion of 0 in a
1.041 * [taylor]: Taking taylor expansion of 0 in a
1.041 * [taylor]: Taking taylor expansion of 0 in a
1.041 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.041 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in (c a) around 0
1.041 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in a
1.041 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
1.041 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in a
1.041 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in a
1.041 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
1.041 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in a
1.041 * [taylor]: Taking taylor expansion of 1 in a
1.041 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.042 * [taylor]: Taking taylor expansion of 1 in a
1.042 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in c
1.042 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
1.042 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in c
1.042 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
1.042 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
1.042 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
1.042 * [taylor]: Taking taylor expansion of 1 in c
1.042 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.042 * [taylor]: Taking taylor expansion of 1 in c
1.042 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh c) (log1p a)))) in c
1.042 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh c) (log1p a)))) 1)
1.042 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh c) (log1p a)))) in c
1.042 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh c) (log1p a))) in c
1.042 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh c) (log1p a))))
1.042 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh c) (log1p a))) in c
1.042 * [taylor]: Taking taylor expansion of 1 in c
1.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.043 * [taylor]: Taking taylor expansion of 1 in c
1.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.045 * [taylor]: Taking taylor expansion of 0 in a
1.048 * [taylor]: Taking taylor expansion of 0 in a
1.051 * [taylor]: Taking taylor expansion of 0 in a
1.052 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1.052 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.052 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
1.052 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.052 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.052 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1.052 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of 1 in a
1.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.052 * [taylor]: Taking taylor expansion of 1 in a
1.052 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.052 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
1.052 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.052 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.052 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1.052 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.052 * [taylor]: Taking taylor expansion of 1 in c
1.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.053 * [taylor]: Taking taylor expansion of 1 in c
1.053 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.053 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1)
1.053 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.053 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.053 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1.053 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.053 * [taylor]: Taking taylor expansion of 1 in c
1.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.053 * [taylor]: Taking taylor expansion of 1 in c
1.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.056 * [taylor]: Taking taylor expansion of 0 in a
1.058 * [taylor]: Taking taylor expansion of 0 in a
1.066 * [taylor]: Taking taylor expansion of 0 in a
1.066 * [approximate]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1.066 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.066 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
1.066 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.066 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.066 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1.066 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.066 * [taylor]: Taking taylor expansion of 1 in a
1.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.067 * [taylor]: Taking taylor expansion of 1 in a
1.067 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.067 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
1.067 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.067 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.067 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1.067 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.067 * [taylor]: Taking taylor expansion of 1 in c
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.067 * [taylor]: Taking taylor expansion of 1 in c
1.067 * [taylor]: Taking taylor expansion of (expm1 (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.067 * [taylor]: Rewrote expression to (- (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1)
1.067 * [taylor]: Taking taylor expansion of (exp (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.067 * [taylor]: Taking taylor expansion of (log1p (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.067 * [taylor]: Rewrote expression to (log (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1.067 * [taylor]: Taking taylor expansion of (+ 1 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.068 * [taylor]: Taking taylor expansion of 1 in c
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.068 * [taylor]: Taking taylor expansion of 1 in c
1.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.073 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.077 * * * [progress]: simplifying candidates
1.077 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))))
  (exp (log1p (exp (log (fmod (cosh c) (log1p a))))))
  (expm1 (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (log1p (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (log (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (exp (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (* (cbrt (expm1 (log1p (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (expm1 (log1p (exp (log (fmod (cosh c) (log1p a))))))))
  (cbrt (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (* (* (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a))))))) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (sqrt (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))
  (sqrt (expm1 (log1p (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.080 * * [simplify]: iteration  0 :  73  enodes  (cost  324 )
1.082 * * [simplify]: iteration  1 :  101  enodes  (cost  289 )
1.083 * * [simplify]: iteration  2 :  124  enodes  (cost  281 )
1.085 * * [simplify]: iteration  3 :  172  enodes  (cost  273 )
1.088 * * [simplify]: iteration  4 :  317  enodes  (cost  273 )
1.092 * * [simplify]: iteration  5 :  755  enodes  (cost  273 )
1.105 * * [simplify]: iteration  6 :  2524  enodes  (cost  273 )
1.159 * * [simplify]: iteration  7 :  5001  enodes  (cost  273 )
1.160 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (/ (log (fmod (cosh c) (log1p a))) 2)
  (/ (log (fmod (cosh c) (log1p a))) 2)
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (exp (log1p (exp (log (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)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.160 * * * [progress]: adding candidates to table
1.328 * * [progress]: iteration 4 / 4
1.328 * * * [progress]: picking best candidate
1.374 * * * * [pick]: Picked  #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))>
1.374 * * * [progress]: localizing error
1.389 * * * [progress]: generating rewritten candidates
1.389 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1)
1.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.392 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.401 * * * [progress]: generating series expansions
1.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1)
1.401 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.403 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.403 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.403 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.403 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.403 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.404 * [taylor]: Taking taylor expansion of 0 in a
1.406 * [taylor]: Taking taylor expansion of 0 in a
1.409 * [taylor]: Taking taylor expansion of 0 in a
1.409 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.409 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.409 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.409 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.409 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.409 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.410 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.410 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.410 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.411 * [taylor]: Taking taylor expansion of 0 in a
1.412 * [taylor]: Taking taylor expansion of 0 in a
1.415 * [taylor]: Taking taylor expansion of 0 in a
1.415 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.415 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.415 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.416 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.416 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.416 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.419 * [taylor]: Taking taylor expansion of 0 in a
1.422 * [taylor]: Taking taylor expansion of 0 in a
1.422 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.422 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.422 * [taylor]: Taking taylor expansion of 0 in a
1.422 * [taylor]: Taking taylor expansion of 0 in a
1.422 * [taylor]: Taking taylor expansion of 0 in a
1.423 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.423 * [taylor]: Taking taylor expansion of 0 in a
1.423 * [taylor]: Taking taylor expansion of 0 in a
1.423 * [taylor]: Taking taylor expansion of 0 in a
1.424 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.424 * [taylor]: Taking taylor expansion of 0 in a
1.424 * [taylor]: Taking taylor expansion of 0 in a
1.424 * [taylor]: Taking taylor expansion of 0 in a
1.424 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.424 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0
1.424 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
1.425 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.425 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.425 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
1.425 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.425 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.425 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
1.425 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.425 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.426 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
1.426 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.427 * [taylor]: Taking taylor expansion of 0 in a
1.433 * [taylor]: Taking taylor expansion of 0 in a
1.438 * [taylor]: Taking taylor expansion of 0 in a
1.439 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0
1.439 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
1.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.439 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
1.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.439 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
1.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.440 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
1.440 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.440 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.441 * [taylor]: Taking taylor expansion of 0 in a
1.444 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0
1.450 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
1.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.450 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
1.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.450 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
1.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.451 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
1.451 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.461 * * * [progress]: simplifying candidates
1.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (log1p (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (expm1 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (pow (log (fmod (cosh c) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
1.466 * * [simplify]: iteration  0 :  141  enodes  (cost  511 )
1.469 * * [simplify]: iteration  1 :  444  enodes  (cost  461 )
1.481 * * [simplify]: iteration  2 :  2963  enodes  (cost  456 )
1.587 * * [simplify]: iteration  3 :  5001  enodes  (cost  456 )
1.590 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (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))))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  E
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log1p (pow (log (fmod (cosh c) (log1p a))) 3))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  3
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (log (fmod (cosh c) (log1p a)))
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
1.590 * * * [progress]: adding candidates to table
1.847 * [progress]: [Phase 3 of 3] Extracting.
1.847 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1.852 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.852 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
1.955 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
2.046 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
2.155 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
2.254 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))))> #<alt (λ (a c) (expm1 (log1p (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))))> #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))))> #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))))> #<alt (λ (a c) (- (+ 1 (fmod (cosh c) (log1p a))) 1))> #<alt (λ (a c) (expm1 (log1p (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (expm1 (log1p (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) (expm1 (log1p (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))))> #<alt (λ (a c) (expm1 (log1p (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (expm1 (log1p (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>)
2.354 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.354 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))))
2.354 * * [simplify]: iteration  0 :  14  enodes  (cost  11 )
2.354 * [simplify]: Simplified to:
   (expm1 (log1p (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))))
14.505 * [regime-testing]: Baseline error score: 34.41863989009266
14.506 * [regime-testing]: Oracle error score: 34.38511174232269
14.507 * [regime-testing]: End program error score: 34.41863989009266