8.445 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.324 * * * [progress]: [2/2] Setting up program.
0.326 * [progress]: [Phase 2 of 3] Improving.
0.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.328 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.329 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.331 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.332 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.333 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.334 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.336 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.337 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.339 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.346 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.546 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.548 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.549 * * [progress]: iteration 1 / 4
0.549 * * * [progress]: picking best candidate
0.551 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.551 * * * [progress]: localizing error
0.557 * * * [progress]: generating rewritten candidates
0.557 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.558 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.560 * * * [progress]: generating series expansions
0.560 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.560 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.562 * [taylor]: Taking taylor expansion of 0 in a
0.562 * [taylor]: Taking taylor expansion of 0 in a
0.562 * [taylor]: Taking taylor expansion of 0 in a
0.562 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.562 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.562 * [taylor]: Taking taylor expansion of (cosh c) in c
0.562 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.562 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.562 * [taylor]: Taking taylor expansion of (exp c) in c
0.562 * [taylor]: Taking taylor expansion of c in c
0.562 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.562 * [taylor]: Taking taylor expansion of (- c) in c
0.562 * [taylor]: Taking taylor expansion of c in c
0.563 * [taylor]: Taking taylor expansion of 2 in c
0.563 * [taylor]: Taking taylor expansion of (cosh c) in c
0.563 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.563 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.563 * [taylor]: Taking taylor expansion of (exp c) in c
0.563 * [taylor]: Taking taylor expansion of c in c
0.563 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.563 * [taylor]: Taking taylor expansion of (- c) in c
0.563 * [taylor]: Taking taylor expansion of c in c
0.564 * [taylor]: Taking taylor expansion of 2 in c
0.581 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.581 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.581 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.581 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.581 * [taylor]: Taking taylor expansion of c in c
0.581 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.581 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.581 * [taylor]: Taking taylor expansion of c in c
0.582 * [taylor]: Taking taylor expansion of 2 in c
0.582 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.582 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.582 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.582 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.582 * [taylor]: Taking taylor expansion of c in c
0.582 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.582 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.582 * [taylor]: Taking taylor expansion of c in c
0.583 * [taylor]: Taking taylor expansion of 2 in c
0.593 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.593 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.593 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.593 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.593 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.593 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.593 * [taylor]: Taking taylor expansion of -1 in c
0.593 * [taylor]: Taking taylor expansion of c in c
0.594 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.594 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.594 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.594 * [taylor]: Taking taylor expansion of -1 in c
0.594 * [taylor]: Taking taylor expansion of c in c
0.594 * [taylor]: Taking taylor expansion of 2 in c
0.594 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.594 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.594 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.595 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.595 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.595 * [taylor]: Taking taylor expansion of -1 in c
0.595 * [taylor]: Taking taylor expansion of c in c
0.595 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.595 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.595 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.595 * [taylor]: Taking taylor expansion of -1 in c
0.595 * [taylor]: Taking taylor expansion of c in c
0.596 * [taylor]: Taking taylor expansion of 2 in c
0.605 * * * [progress]: simplifying candidates
0.606 * [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 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.611 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.613 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.617 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.632 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.745 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.746 * [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 (cosh c))
  (log1p (cosh c))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
0.746 * * * [progress]: adding candidates to table
0.807 * * [progress]: iteration 2 / 4
0.807 * * * [progress]: picking best candidate
0.826 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.826 * * * [progress]: localizing error
0.835 * * * [progress]: generating rewritten candidates
0.835 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.839 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.841 * * * [progress]: generating series expansions
0.841 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.841 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.842 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.842 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.842 * [taylor]: Taking taylor expansion of 0 in a
0.843 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.843 * [taylor]: Taking taylor expansion of 0 in a
0.843 * [taylor]: Taking taylor expansion of 0 in a
0.843 * [taylor]: Taking taylor expansion of 0 in a
0.843 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.843 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.843 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.843 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.844 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.844 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.844 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.844 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.845 * [taylor]: Taking taylor expansion of 0 in a
0.847 * [taylor]: Taking taylor expansion of 0 in a
0.849 * [taylor]: Taking taylor expansion of 0 in a
0.850 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.853 * [taylor]: Taking taylor expansion of 0 in a
0.856 * [taylor]: Taking taylor expansion of 0 in a
0.856 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.856 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.856 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.856 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.857 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.857 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.857 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.862 * [taylor]: Taking taylor expansion of 0 in a
0.862 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.862 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.862 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.863 * [taylor]: Taking taylor expansion of 0 in a
0.863 * [taylor]: Taking taylor expansion of 0 in a
0.863 * [taylor]: Taking taylor expansion of 0 in a
0.863 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.864 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.864 * [taylor]: Taking taylor expansion of 0 in a
0.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.865 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.865 * [taylor]: Taking taylor expansion of (cosh c) in c
0.865 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.865 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.865 * [taylor]: Taking taylor expansion of (exp c) in c
0.865 * [taylor]: Taking taylor expansion of c in c
0.865 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.865 * [taylor]: Taking taylor expansion of (- c) in c
0.865 * [taylor]: Taking taylor expansion of c in c
0.865 * [taylor]: Taking taylor expansion of 2 in c
0.866 * [taylor]: Taking taylor expansion of (cosh c) in c
0.866 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.866 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.866 * [taylor]: Taking taylor expansion of (exp c) in c
0.866 * [taylor]: Taking taylor expansion of c in c
0.866 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.866 * [taylor]: Taking taylor expansion of (- c) in c
0.866 * [taylor]: Taking taylor expansion of c in c
0.866 * [taylor]: Taking taylor expansion of 2 in c
0.885 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.885 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.885 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.885 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.885 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.885 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.886 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.886 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.886 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.886 * [taylor]: Taking taylor expansion of c in c
0.886 * [taylor]: Taking taylor expansion of 2 in c
0.887 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.887 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.887 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.887 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.887 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.887 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.888 * [taylor]: Taking taylor expansion of 2 in c
0.897 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.898 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.898 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.898 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.898 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.898 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.898 * [taylor]: Taking taylor expansion of -1 in c
0.898 * [taylor]: Taking taylor expansion of c in c
0.898 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.898 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.898 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.898 * [taylor]: Taking taylor expansion of -1 in c
0.898 * [taylor]: Taking taylor expansion of c in c
0.899 * [taylor]: Taking taylor expansion of 2 in c
0.899 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.899 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.899 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.899 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.899 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.899 * [taylor]: Taking taylor expansion of -1 in c
0.899 * [taylor]: Taking taylor expansion of c in c
0.899 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.899 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.899 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.899 * [taylor]: Taking taylor expansion of -1 in c
0.899 * [taylor]: Taking taylor expansion of c in c
0.900 * [taylor]: Taking taylor expansion of 2 in c
0.910 * * * [progress]: simplifying candidates
0.910 * [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)))))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (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))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.914 * * [simplify]: iteration  0 :  119  enodes  (cost  302 )
0.916 * * [simplify]: iteration  1 :  237  enodes  (cost  271 )
0.919 * * [simplify]: iteration  2 :  700  enodes  (cost  257 )
0.937 * * [simplify]: iteration  3 :  4121  enodes  (cost  249 )
1.056 * * [simplify]: iteration  4 :  5001  enodes  (cost  249 )
1.057 * [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 (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (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)))
  (expm1 (cosh c))
  (log1p (cosh c))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (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))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.058 * * * [progress]: adding candidates to table
1.208 * * [progress]: iteration 3 / 4
1.208 * * * [progress]: picking best candidate
1.249 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1.249 * * * [progress]: localizing error
1.260 * * * [progress]: generating rewritten candidates
1.260 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.261 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.265 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.267 * * * [progress]: generating series expansions
1.267 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.267 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.267 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.267 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.267 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.267 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.267 * [taylor]: Taking taylor expansion of 0 in a
1.267 * [taylor]: Taking taylor expansion of 0 in a
1.267 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.268 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.269 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.269 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.269 * [taylor]: Taking taylor expansion of 0 in a
1.269 * [taylor]: Taking taylor expansion of 0 in a
1.269 * [taylor]: Taking taylor expansion of 0 in a
1.269 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.269 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.269 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.269 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.269 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.269 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.269 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.269 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.270 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.270 * [taylor]: Taking taylor expansion of 0 in a
1.272 * [taylor]: Taking taylor expansion of 0 in a
1.275 * [taylor]: Taking taylor expansion of 0 in a
1.275 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.275 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.276 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.276 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.276 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.277 * [taylor]: Taking taylor expansion of 0 in a
1.278 * [taylor]: Taking taylor expansion of 0 in a
1.281 * [taylor]: Taking taylor expansion of 0 in a
1.281 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.281 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.282 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.283 * [taylor]: Taking taylor expansion of 0 in a
1.284 * [taylor]: Taking taylor expansion of 0 in a
1.287 * [taylor]: Taking taylor expansion of 0 in a
1.288 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.288 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1.288 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1.288 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1.288 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1.288 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.288 * [taylor]: Taking taylor expansion of (log E) in a
1.288 * [taylor]: Taking taylor expansion of E in a
1.288 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1.288 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1.288 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1.288 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.288 * [taylor]: Taking taylor expansion of (log E) in c
1.288 * [taylor]: Taking taylor expansion of E in c
1.289 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1.289 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1.289 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1.289 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.289 * [taylor]: Taking taylor expansion of (log E) in c
1.289 * [taylor]: Taking taylor expansion of E in c
1.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.291 * [taylor]: Taking taylor expansion of 0 in a
1.298 * [taylor]: Taking taylor expansion of 0 in a
1.304 * [taylor]: Taking taylor expansion of 0 in a
1.305 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1.305 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.305 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1.305 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.305 * [taylor]: Taking taylor expansion of (log E) in a
1.305 * [taylor]: Taking taylor expansion of E in a
1.305 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.305 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1.305 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1.305 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.305 * [taylor]: Taking taylor expansion of (log E) in c
1.305 * [taylor]: Taking taylor expansion of E in c
1.306 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.306 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1.306 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.306 * [taylor]: Taking taylor expansion of (log E) in c
1.306 * [taylor]: Taking taylor expansion of E in c
1.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.309 * [taylor]: Taking taylor expansion of 0 in a
1.312 * [taylor]: Taking taylor expansion of 0 in a
1.319 * [taylor]: Taking taylor expansion of 0 in a
1.319 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1.319 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.319 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1.319 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1.319 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.319 * [taylor]: Taking taylor expansion of (log E) in a
1.319 * [taylor]: Taking taylor expansion of E in a
1.319 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.319 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1.319 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1.319 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.319 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.320 * [taylor]: Taking taylor expansion of (log E) in c
1.320 * [taylor]: Taking taylor expansion of E in c
1.320 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.320 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1.320 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1.320 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.320 * [taylor]: Taking taylor expansion of (log E) in c
1.320 * [taylor]: Taking taylor expansion of E in c
1.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.323 * [taylor]: Taking taylor expansion of 0 in a
1.327 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.333 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.333 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.333 * [taylor]: Taking taylor expansion of (cosh c) in c
1.333 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.333 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.333 * [taylor]: Taking taylor expansion of (exp c) in c
1.333 * [taylor]: Taking taylor expansion of c in c
1.333 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.333 * [taylor]: Taking taylor expansion of (- c) in c
1.333 * [taylor]: Taking taylor expansion of c in c
1.333 * [taylor]: Taking taylor expansion of 2 in c
1.334 * [taylor]: Taking taylor expansion of (cosh c) in c
1.334 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.334 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.334 * [taylor]: Taking taylor expansion of (exp c) in c
1.334 * [taylor]: Taking taylor expansion of c in c
1.334 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.334 * [taylor]: Taking taylor expansion of (- c) in c
1.334 * [taylor]: Taking taylor expansion of c in c
1.334 * [taylor]: Taking taylor expansion of 2 in c
1.351 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.351 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.351 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.351 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.351 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.351 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.351 * [taylor]: Taking taylor expansion of c in c
1.351 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.351 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.351 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.351 * [taylor]: Taking taylor expansion of c in c
1.352 * [taylor]: Taking taylor expansion of 2 in c
1.352 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.352 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.352 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.352 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.352 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.352 * [taylor]: Taking taylor expansion of c in c
1.352 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.352 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.352 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.353 * [taylor]: Taking taylor expansion of c in c
1.353 * [taylor]: Taking taylor expansion of 2 in c
1.363 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.363 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.363 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.363 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.363 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.363 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.363 * [taylor]: Taking taylor expansion of -1 in c
1.363 * [taylor]: Taking taylor expansion of c in c
1.363 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.363 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.364 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.364 * [taylor]: Taking taylor expansion of -1 in c
1.364 * [taylor]: Taking taylor expansion of c in c
1.364 * [taylor]: Taking taylor expansion of 2 in c
1.364 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.364 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.364 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.364 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.364 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.364 * [taylor]: Taking taylor expansion of -1 in c
1.364 * [taylor]: Taking taylor expansion of c in c
1.365 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.365 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.365 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.365 * [taylor]: Taking taylor expansion of -1 in c
1.365 * [taylor]: Taking taylor expansion of c in c
1.365 * [taylor]: Taking taylor expansion of 2 in c
1.375 * * * [progress]: simplifying candidates
1.376 * [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 (pow E (log (fmod (cosh c) (log1p a)))))
  (log1p (pow E (log (fmod (cosh c) (log1p a)))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (pow E 1)
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  (pow E 1)
  (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log 1))
  (pow E (log (fmod (cosh c) (log1p a))))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow 1 (log (fmod (cosh c) (log1p a))))
  (pow E (log (fmod (cosh c) (log1p a))))
  (log (pow E (log (fmod (cosh c) (log1p a)))))
  (exp (pow E (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))))
  (cbrt (pow E (log (fmod (cosh c) (log1p a)))))
  (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (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))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
1.384 * * [simplify]: iteration  0 :  166  enodes  (cost  390 )
1.388 * * [simplify]: iteration  1 :  503  enodes  (cost  337 )
1.396 * * [simplify]: iteration  2 :  1910  enodes  (cost  326 )
1.442 * * [simplify]: iteration  3 :  5002  enodes  (cost  314 )
1.443 * [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)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (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)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  1
  (fmod (cosh c) (log1p a))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (cosh c))
  (log1p (cosh c))
  (* 2 (cosh c))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (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))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.444 * * * [progress]: adding candidates to table
1.609 * * [progress]: iteration 4 / 4
1.609 * * * [progress]: picking best candidate
1.664 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
1.664 * * * [progress]: localizing error
1.677 * * * [progress]: generating rewritten candidates
1.677 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
1.678 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.680 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.684 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.688 * * * [progress]: generating series expansions
1.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
1.688 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.688 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.688 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.689 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.690 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * [taylor]: Taking taylor expansion of 0 in a
1.690 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.691 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.691 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.691 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.691 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.691 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.692 * [taylor]: Taking taylor expansion of 0 in a
1.694 * [taylor]: Taking taylor expansion of 0 in a
1.697 * [taylor]: Taking taylor expansion of 0 in a
1.697 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.697 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.697 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.697 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.697 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.698 * [taylor]: Taking taylor expansion of 0 in a
1.703 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.706 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.707 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.707 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.708 * [taylor]: Taking taylor expansion of 0 in a
1.709 * [taylor]: Taking taylor expansion of 0 in a
1.712 * [taylor]: Taking taylor expansion of 0 in a
1.712 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.713 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1.713 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1.713 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1.713 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.713 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.713 * [taylor]: Taking taylor expansion of (log E) in a
1.713 * [taylor]: Taking taylor expansion of E in a
1.713 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1.713 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1.713 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.713 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.713 * [taylor]: Taking taylor expansion of (log E) in c
1.713 * [taylor]: Taking taylor expansion of E in c
1.713 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1.713 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1.713 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1.714 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.714 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.714 * [taylor]: Taking taylor expansion of (log E) in c
1.714 * [taylor]: Taking taylor expansion of E in c
1.714 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.716 * [taylor]: Taking taylor expansion of 0 in a
1.720 * [taylor]: Taking taylor expansion of 0 in a
1.726 * [taylor]: Taking taylor expansion of 0 in a
1.726 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1.726 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.726 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1.726 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1.726 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.726 * [taylor]: Taking taylor expansion of (log E) in a
1.726 * [taylor]: Taking taylor expansion of E in a
1.726 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.726 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1.726 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1.726 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.727 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.727 * [taylor]: Taking taylor expansion of (log E) in c
1.727 * [taylor]: Taking taylor expansion of E in c
1.727 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.727 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1.727 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1.727 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.727 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.727 * [taylor]: Taking taylor expansion of (log E) in c
1.727 * [taylor]: Taking taylor expansion of E in c
1.727 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.730 * [taylor]: Taking taylor expansion of 0 in a
1.734 * [taylor]: Taking taylor expansion of 0 in a
1.740 * [taylor]: Taking taylor expansion of 0 in a
1.740 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1.740 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.740 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1.740 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1.740 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.740 * [taylor]: Taking taylor expansion of (log E) in a
1.740 * [taylor]: Taking taylor expansion of E in a
1.741 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.741 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1.741 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1.741 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.741 * [taylor]: Taking taylor expansion of (log E) in c
1.741 * [taylor]: Taking taylor expansion of E in c
1.741 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.741 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1.741 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1.741 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.741 * [taylor]: Taking taylor expansion of (log E) in c
1.741 * [taylor]: Taking taylor expansion of E in c
1.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.744 * [taylor]: Taking taylor expansion of 0 in a
1.748 * [taylor]: Taking taylor expansion of 0 in a
1.754 * [taylor]: Taking taylor expansion of 0 in a
1.755 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.755 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.755 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.755 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.755 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.755 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.756 * [taylor]: Taking taylor expansion of 0 in a
1.757 * [taylor]: Taking taylor expansion of 0 in a
1.760 * [taylor]: Taking taylor expansion of 0 in a
1.761 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.761 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.761 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.761 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.761 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.762 * [taylor]: Taking taylor expansion of 0 in a
1.764 * [taylor]: Taking taylor expansion of 0 in a
1.767 * [taylor]: Taking taylor expansion of 0 in a
1.767 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.767 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.767 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.767 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.768 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.768 * [taylor]: Taking taylor expansion of 0 in a
1.770 * [taylor]: Taking taylor expansion of 0 in a
1.773 * [taylor]: Taking taylor expansion of 0 in a
1.773 * * * [progress]: simplifying candidates
1.774 * [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 (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (pow E (cbrt (pow 1 3)))
  (pow E (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow E (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E (cbrt 1))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (pow E (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E 1)
  (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (log (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2))
  (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2))
  (expm1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (log1p (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (log (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt 1)
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)))
  (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (cbrt (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))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.779 * * [simplify]: iteration  0 :  181  enodes  (cost  617 )
1.782 * * [simplify]: iteration  1 :  544  enodes  (cost  555 )
1.793 * * [simplify]: iteration  2 :  2604  enodes  (cost  555 )
1.842 * * [simplify]: iteration  3 :  5001  enodes  (cost  543 )
1.845 * [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)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (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))) (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)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  E
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (pow E (cbrt (log (fmod (cosh c) (log1p a)))))
  (pow E (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2)))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  1
  (log (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))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  1
  (log (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))))
  (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  1
  (log (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))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  1
  (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)))))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  1
  (log (fmod (cosh c) (log1p a)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3/2))
  (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))))
  (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.845 * * * [progress]: adding candidates to table
2.059 * [progress]: [Phase 3 of 3] Extracting.
2.060 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.064 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.064 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.163 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.249 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.355 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.452 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2)))> #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow E (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cbrt (pow (cosh c) 3)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow (pow E (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) (pow E (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log1p (expm1 (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>)
2.548 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
2.548 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3)))
2.549 * * [simplify]: iteration  0 :  16  enodes  (cost  13 )
2.549 * * [simplify]: iteration  1 :  18  enodes  (cost  13 )
2.549 * * [simplify]: iteration  2 :  18  enodes  (cost  13 )
2.549 * [simplify]: Simplified to:
   (pow E (cbrt (pow (log (* (pow (fmod (cosh c) (log1p a)) 1/2) (pow (fmod (cosh c) (log1p a)) 1/2))) 3)))
14.265 * [regime-testing]: Baseline error score: 34.70426830488212
14.265 * [regime-testing]: Oracle error score: 34.608532462303785
14.267 * [regime-testing]: End program error score: 34.70426830488212