8.122 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.346 * * * [progress]: [2/2] Setting up program.
0.348 * [progress]: [Phase 2 of 3] Improving.
0.349 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.351 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.352 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.353 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.354 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.355 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.357 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.358 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.359 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.361 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.369 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.564 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.566 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.566 * * [progress]: iteration 1 / 4
0.566 * * * [progress]: picking best candidate
0.568 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.568 * * * [progress]: localizing error
0.574 * * * [progress]: generating rewritten candidates
0.574 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.575 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.576 * * * [progress]: generating series expansions
0.576 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.576 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.576 * [taylor]: Taking taylor expansion of 0 in a
0.576 * [taylor]: Taking taylor expansion of 0 in a
0.576 * [taylor]: Taking taylor expansion of 0 in a
0.576 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.577 * [taylor]: Taking taylor expansion of 0 in a
0.577 * [taylor]: Taking taylor expansion of 0 in a
0.577 * [taylor]: Taking taylor expansion of 0 in a
0.577 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.577 * [taylor]: Taking taylor expansion of 0 in a
0.577 * [taylor]: Taking taylor expansion of 0 in a
0.578 * [taylor]: Taking taylor expansion of 0 in a
0.578 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.578 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.578 * [taylor]: Taking taylor expansion of (cosh c) in c
0.578 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.578 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.578 * [taylor]: Taking taylor expansion of (exp c) in c
0.578 * [taylor]: Taking taylor expansion of c in c
0.578 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.578 * [taylor]: Taking taylor expansion of (- c) in c
0.578 * [taylor]: Taking taylor expansion of c in c
0.579 * [taylor]: Taking taylor expansion of 2 in c
0.579 * [taylor]: Taking taylor expansion of (cosh c) in c
0.579 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.579 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.579 * [taylor]: Taking taylor expansion of (exp c) in c
0.580 * [taylor]: Taking taylor expansion of c in c
0.580 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.580 * [taylor]: Taking taylor expansion of (- c) in c
0.580 * [taylor]: Taking taylor expansion of c in c
0.580 * [taylor]: Taking taylor expansion of 2 in c
0.597 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.597 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.597 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.597 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.597 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.597 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.597 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.597 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.597 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.598 * [taylor]: Taking taylor expansion of 2 in c
0.598 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.598 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.598 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.598 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.598 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.603 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.603 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.603 * [taylor]: Taking taylor expansion of c in c
0.603 * [taylor]: Taking taylor expansion of 2 in c
0.614 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.614 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.614 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.614 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.614 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.614 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.614 * [taylor]: Taking taylor expansion of -1 in c
0.614 * [taylor]: Taking taylor expansion of c in c
0.614 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.615 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.615 * [taylor]: Taking taylor expansion of -1 in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of 2 in c
0.615 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.615 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.615 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.615 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.615 * [taylor]: Taking taylor expansion of -1 in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.616 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.616 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.616 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.616 * [taylor]: Taking taylor expansion of -1 in c
0.616 * [taylor]: Taking taylor expansion of c in c
0.616 * [taylor]: Taking taylor expansion of 2 in c
0.626 * * * [progress]: simplifying candidates
0.627 * [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.629 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.631 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.635 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.650 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.762 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.762 * [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.762 * * * [progress]: adding candidates to table
0.824 * * [progress]: iteration 2 / 4
0.824 * * * [progress]: picking best candidate
0.846 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (expm1 (log1p (cosh c))) (log1p a)))>
0.846 * * * [progress]: localizing error
0.856 * * * [progress]: generating rewritten candidates
0.856 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.856 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.857 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.857 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.858 * * * [progress]: generating series expansions
0.858 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.858 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
0.858 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
0.858 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
0.858 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
0.858 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
0.858 * [taylor]: Taking taylor expansion of 0 in a
0.858 * [taylor]: Taking taylor expansion of 0 in a
0.858 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
0.859 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
0.859 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
0.859 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
0.859 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.860 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
0.860 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
0.860 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
0.860 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
0.860 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
0.860 * [taylor]: Taking taylor expansion of 0 in a
0.860 * [taylor]: Taking taylor expansion of 0 in a
0.860 * [taylor]: Taking taylor expansion of 0 in a
0.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.860 * [approximate]: Taking taylor expansion of (log1p (cosh c)) in (c) around 0
0.860 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.860 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.861 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.861 * [taylor]: Taking taylor expansion of 1 in c
0.861 * [taylor]: Taking taylor expansion of (cosh c) in c
0.861 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.861 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.861 * [taylor]: Taking taylor expansion of (exp c) in c
0.861 * [taylor]: Taking taylor expansion of c in c
0.861 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.861 * [taylor]: Taking taylor expansion of (- c) in c
0.861 * [taylor]: Taking taylor expansion of c in c
0.861 * [taylor]: Taking taylor expansion of 2 in c
0.862 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.863 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.863 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.863 * [taylor]: Taking taylor expansion of 1 in c
0.863 * [taylor]: Taking taylor expansion of (cosh c) in c
0.863 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.863 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.863 * [taylor]: Taking taylor expansion of (exp c) in c
0.863 * [taylor]: Taking taylor expansion of c in c
0.863 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.863 * [taylor]: Taking taylor expansion of (- c) in c
0.863 * [taylor]: Taking taylor expansion of c in c
0.863 * [taylor]: Taking taylor expansion of 2 in c
0.895 * [approximate]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in (c) around 0
0.895 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
0.895 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
0.895 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
0.895 * [taylor]: Taking taylor expansion of 1 in c
0.895 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.895 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.895 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.895 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.895 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.895 * [taylor]: Taking taylor expansion of c in c
0.895 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.895 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.895 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.895 * [taylor]: Taking taylor expansion of c in c
0.896 * [taylor]: Taking taylor expansion of 2 in c
0.896 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
0.896 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
0.896 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
0.896 * [taylor]: Taking taylor expansion of 1 in c
0.896 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.896 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.897 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.897 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.897 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.897 * [taylor]: Taking taylor expansion of c in c
0.897 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.897 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.897 * [taylor]: Taking taylor expansion of c in c
0.897 * [taylor]: Taking taylor expansion of 2 in c
0.930 * [approximate]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in (c) around 0
0.930 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
0.930 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
0.930 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
0.930 * [taylor]: Taking taylor expansion of 1 in c
0.930 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.931 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.931 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.931 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.931 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.931 * [taylor]: Taking taylor expansion of -1 in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.931 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.931 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.931 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.931 * [taylor]: Taking taylor expansion of -1 in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.932 * [taylor]: Taking taylor expansion of 2 in c
0.932 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
0.932 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
0.932 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
0.932 * [taylor]: Taking taylor expansion of 1 in c
0.932 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.932 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.932 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.932 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.932 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.932 * [taylor]: Taking taylor expansion of -1 in c
0.932 * [taylor]: Taking taylor expansion of c in c
0.932 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.933 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.933 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.933 * [taylor]: Taking taylor expansion of -1 in c
0.933 * [taylor]: Taking taylor expansion of c in c
0.933 * [taylor]: Taking taylor expansion of 2 in c
0.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.970 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh c))) in (c) around 0
0.970 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh c))) in c
0.970 * [taylor]: Rewrote expression to (- (exp (log1p (cosh c))) 1)
0.970 * [taylor]: Taking taylor expansion of (exp (log1p (cosh c))) in c
0.970 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.970 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.970 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.970 * [taylor]: Taking taylor expansion of 1 in c
0.970 * [taylor]: Taking taylor expansion of (cosh c) in c
0.970 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.970 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.970 * [taylor]: Taking taylor expansion of (exp c) in c
0.970 * [taylor]: Taking taylor expansion of c in c
0.970 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.970 * [taylor]: Taking taylor expansion of (- c) in c
0.970 * [taylor]: Taking taylor expansion of c in c
0.971 * [taylor]: Taking taylor expansion of 2 in c
0.972 * [taylor]: Taking taylor expansion of 1 in c
0.972 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh c))) in c
0.972 * [taylor]: Rewrote expression to (- (exp (log1p (cosh c))) 1)
0.972 * [taylor]: Taking taylor expansion of (exp (log1p (cosh c))) in c
0.972 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.972 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.972 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.972 * [taylor]: Taking taylor expansion of 1 in c
0.972 * [taylor]: Taking taylor expansion of (cosh c) in c
0.972 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.972 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.972 * [taylor]: Taking taylor expansion of (exp c) in c
0.972 * [taylor]: Taking taylor expansion of c in c
0.972 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.972 * [taylor]: Taking taylor expansion of (- c) in c
0.972 * [taylor]: Taking taylor expansion of c in c
0.973 * [taylor]: Taking taylor expansion of 2 in c
0.974 * [taylor]: Taking taylor expansion of 1 in c
1.013 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in (c) around 0
1.013 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in c
1.013 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ 1 c)))) 1)
1.013 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ 1 c)))) in c
1.013 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.013 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.013 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.013 * [taylor]: Taking taylor expansion of 1 in c
1.013 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.013 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.013 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.013 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.013 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.013 * [taylor]: Taking taylor expansion of c in c
1.014 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.014 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.014 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.014 * [taylor]: Taking taylor expansion of c in c
1.014 * [taylor]: Taking taylor expansion of 2 in c
1.015 * [taylor]: Taking taylor expansion of 1 in c
1.015 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in c
1.015 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ 1 c)))) 1)
1.015 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ 1 c)))) in c
1.015 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.015 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.015 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.015 * [taylor]: Taking taylor expansion of 1 in c
1.015 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.015 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.015 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.015 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.015 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.015 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.015 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.016 * [taylor]: Taking taylor expansion of 2 in c
1.016 * [taylor]: Taking taylor expansion of 1 in c
1.065 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh (/ -1 c)))) in (c) around 0
1.065 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ -1 c)))) in c
1.065 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ -1 c)))) 1)
1.065 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ -1 c)))) in c
1.065 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.065 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.065 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.065 * [taylor]: Taking taylor expansion of 1 in c
1.065 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.066 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.066 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.066 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.066 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.066 * [taylor]: Taking taylor expansion of -1 in c
1.066 * [taylor]: Taking taylor expansion of c in c
1.066 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.066 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.066 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.066 * [taylor]: Taking taylor expansion of -1 in c
1.066 * [taylor]: Taking taylor expansion of c in c
1.067 * [taylor]: Taking taylor expansion of 2 in c
1.067 * [taylor]: Taking taylor expansion of 1 in c
1.067 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ -1 c)))) in c
1.067 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ -1 c)))) 1)
1.067 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ -1 c)))) in c
1.067 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.067 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.067 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.067 * [taylor]: Taking taylor expansion of 1 in c
1.067 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.067 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.067 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.067 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.067 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.067 * [taylor]: Taking taylor expansion of -1 in c
1.067 * [taylor]: Taking taylor expansion of c in c
1.068 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.068 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.068 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.068 * [taylor]: Taking taylor expansion of -1 in c
1.068 * [taylor]: Taking taylor expansion of c in c
1.068 * [taylor]: Taking taylor expansion of 2 in c
1.069 * [taylor]: Taking taylor expansion of 1 in c
1.112 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.112 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.112 * [taylor]: Taking taylor expansion of (cosh c) in c
1.112 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.112 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.112 * [taylor]: Taking taylor expansion of (exp c) in c
1.112 * [taylor]: Taking taylor expansion of c in c
1.112 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.112 * [taylor]: Taking taylor expansion of (- c) in c
1.112 * [taylor]: Taking taylor expansion of c in c
1.113 * [taylor]: Taking taylor expansion of 2 in c
1.113 * [taylor]: Taking taylor expansion of (cosh c) in c
1.114 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.114 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.114 * [taylor]: Taking taylor expansion of (exp c) in c
1.114 * [taylor]: Taking taylor expansion of c in c
1.114 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.114 * [taylor]: Taking taylor expansion of (- c) in c
1.114 * [taylor]: Taking taylor expansion of c in c
1.119 * [taylor]: Taking taylor expansion of 2 in c
1.136 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.136 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.136 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.136 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.136 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.136 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.136 * [taylor]: Taking taylor expansion of c in c
1.136 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.136 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.136 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.136 * [taylor]: Taking taylor expansion of c in c
1.137 * [taylor]: Taking taylor expansion of 2 in c
1.137 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.137 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.137 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.137 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.137 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.137 * [taylor]: Taking taylor expansion of c in c
1.137 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.137 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.137 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.137 * [taylor]: Taking taylor expansion of c in c
1.138 * [taylor]: Taking taylor expansion of 2 in c
1.148 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.148 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.148 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.148 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.148 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.148 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.148 * [taylor]: Taking taylor expansion of -1 in c
1.148 * [taylor]: Taking taylor expansion of c in c
1.148 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.148 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.148 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.148 * [taylor]: Taking taylor expansion of -1 in c
1.148 * [taylor]: Taking taylor expansion of c in c
1.149 * [taylor]: Taking taylor expansion of 2 in c
1.149 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.149 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.149 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.149 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.149 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.149 * [taylor]: Taking taylor expansion of -1 in c
1.149 * [taylor]: Taking taylor expansion of c in c
1.150 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.150 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.150 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.150 * [taylor]: Taking taylor expansion of -1 in c
1.150 * [taylor]: Taking taylor expansion of c in c
1.150 * [taylor]: Taking taylor expansion of 2 in c
1.160 * * * [progress]: simplifying candidates
1.161 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (* (fmod (expm1 (log1p (cosh c))) (log1p a)) (fmod (expm1 (log1p (cosh c))) (log1p a))) (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (+ 1 (cosh c))
  (expm1 (log1p (cosh c)))
  (log1p (log1p (cosh c)))
  (log (log1p (cosh c)))
  (exp (log1p (cosh c)))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (* (* (log1p (cosh c)) (log1p (cosh c))) (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (exp (log1p (cosh c)))
  (expm1 (expm1 (log1p (cosh c))))
  (log1p (expm1 (log1p (cosh c))))
  (log (expm1 (log1p (cosh c))))
  (exp (expm1 (log1p (cosh c))))
  (* (cbrt (expm1 (log1p (cosh c)))) (cbrt (expm1 (log1p (cosh c)))))
  (cbrt (expm1 (log1p (cosh c))))
  (* (* (expm1 (log1p (cosh c))) (expm1 (log1p (cosh c)))) (expm1 (log1p (cosh c))))
  (sqrt (expm1 (log1p (cosh c))))
  (sqrt (expm1 (log1p (cosh c))))
  (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 (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (- (+ (* 1/4 (pow c 2)) (log 2)) (* 1/96 (pow c 4)))
  (log (+ (* 1/2 (exp (- c))) (+ (* 1/2 (exp c)) 1)))
  (log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1)))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (+ (* 1/2 (exp c)) (* 1/2 (exp (- c))))
  (+ (* 1/2 (exp (* -1 c))) (* 1/2 (exp c)))
  (+ (* 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.164 * * [simplify]: iteration  0 :  136  enodes  (cost  229 )
1.167 * * [simplify]: iteration  1 :  275  enodes  (cost  206 )
1.171 * * [simplify]: iteration  2 :  832  enodes  (cost  178 )
1.191 * * [simplify]: iteration  3 :  4740  enodes  (cost  174 )
1.323 * * [simplify]: iteration  4 :  5001  enodes  (cost  174 )
1.324 * [simplify]: Simplified to:
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (+ 1 (cosh c))
  (cosh c)
  (log1p (log1p (cosh c)))
  (log (log1p (cosh c)))
  (+ 1 (cosh c))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (+ 1 (cosh c))
  (expm1 (cosh c))
  (log1p (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))
  (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 (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fma (pow c 2) 1/4 (- (log 2) (* 1/96 (pow c 4))))
  (log1p (cosh c))
  (log1p (cosh c))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.324 * * * [progress]: adding candidates to table
1.458 * * [progress]: iteration 3 / 4
1.459 * * * [progress]: picking best candidate
1.488 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))>
1.488 * * * [progress]: localizing error
1.502 * * * [progress]: generating rewritten candidates
1.502 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.503 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.503 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.506 * * * [progress]: generating series expansions
1.506 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.506 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
1.506 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.506 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.506 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.506 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.506 * [taylor]: Taking taylor expansion of 0 in a
1.506 * [taylor]: Taking taylor expansion of 0 in a
1.507 * [taylor]: Taking taylor expansion of 0 in a
1.507 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.507 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
1.508 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.508 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.508 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.508 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.509 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.509 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in (c a) around 0
1.509 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.509 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.509 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.509 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.510 * [taylor]: Taking taylor expansion of 0 in a
1.512 * [taylor]: Taking taylor expansion of 0 in a
1.515 * [taylor]: Taking taylor expansion of 0 in a
1.515 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in (c a) around 0
1.515 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
1.515 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.515 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
1.515 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.516 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
1.516 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.516 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
1.516 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.517 * [taylor]: Taking taylor expansion of 0 in a
1.519 * [taylor]: Taking taylor expansion of 0 in a
1.522 * [taylor]: Taking taylor expansion of 0 in a
1.522 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in (c a) around 0
1.522 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
1.522 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.522 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
1.522 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.523 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
1.523 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.523 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
1.523 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.524 * [taylor]: Taking taylor expansion of 0 in a
1.526 * [taylor]: Taking taylor expansion of 0 in a
1.529 * [taylor]: Taking taylor expansion of 0 in a
1.529 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.529 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
1.529 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.529 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.529 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.530 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.530 * [taylor]: Taking taylor expansion of 0 in a
1.530 * [taylor]: Taking taylor expansion of 0 in a
1.530 * [taylor]: Taking taylor expansion of 0 in a
1.530 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
1.530 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.530 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.530 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
1.530 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
1.531 * [taylor]: Taking taylor expansion of 0 in a
1.531 * [taylor]: Taking taylor expansion of 0 in a
1.531 * [taylor]: Taking taylor expansion of 0 in a
1.531 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
1.531 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.531 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.531 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.531 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.532 * [taylor]: Taking taylor expansion of 0 in a
1.532 * [taylor]: Taking taylor expansion of 0 in a
1.532 * [taylor]: Taking taylor expansion of 0 in a
1.532 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.532 * [approximate]: Taking taylor expansion of (log1p (cosh c)) in (c) around 0
1.532 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.532 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.532 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.532 * [taylor]: Taking taylor expansion of 1 in c
1.532 * [taylor]: Taking taylor expansion of (cosh c) in c
1.532 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.532 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.532 * [taylor]: Taking taylor expansion of (exp c) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.532 * [taylor]: Taking taylor expansion of (- c) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.533 * [taylor]: Taking taylor expansion of 2 in c
1.534 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.534 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.534 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.534 * [taylor]: Taking taylor expansion of 1 in c
1.534 * [taylor]: Taking taylor expansion of (cosh c) in c
1.534 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.534 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.534 * [taylor]: Taking taylor expansion of (exp c) in c
1.534 * [taylor]: Taking taylor expansion of c in c
1.534 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.534 * [taylor]: Taking taylor expansion of (- c) in c
1.534 * [taylor]: Taking taylor expansion of c in c
1.534 * [taylor]: Taking taylor expansion of 2 in c
1.567 * [approximate]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in (c) around 0
1.567 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.567 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.567 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.567 * [taylor]: Taking taylor expansion of 1 in c
1.567 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.567 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.567 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.567 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.567 * [taylor]: Taking taylor expansion of c in c
1.567 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.567 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.567 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.567 * [taylor]: Taking taylor expansion of c in c
1.568 * [taylor]: Taking taylor expansion of 2 in c
1.568 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.568 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.568 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.568 * [taylor]: Taking taylor expansion of 1 in c
1.568 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.568 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.569 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.569 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.569 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.569 * [taylor]: Taking taylor expansion of c in c
1.569 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.569 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.569 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.569 * [taylor]: Taking taylor expansion of c in c
1.569 * [taylor]: Taking taylor expansion of 2 in c
1.602 * [approximate]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in (c) around 0
1.602 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.602 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.602 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.602 * [taylor]: Taking taylor expansion of 1 in c
1.602 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.602 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.602 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.602 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.602 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.602 * [taylor]: Taking taylor expansion of -1 in c
1.602 * [taylor]: Taking taylor expansion of c in c
1.603 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.603 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.603 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.603 * [taylor]: Taking taylor expansion of -1 in c
1.603 * [taylor]: Taking taylor expansion of c in c
1.603 * [taylor]: Taking taylor expansion of 2 in c
1.604 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.604 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.604 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.604 * [taylor]: Taking taylor expansion of 1 in c
1.604 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.604 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.604 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.604 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.604 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.604 * [taylor]: Taking taylor expansion of -1 in c
1.604 * [taylor]: Taking taylor expansion of c in c
1.604 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.604 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.604 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.604 * [taylor]: Taking taylor expansion of -1 in c
1.604 * [taylor]: Taking taylor expansion of c in c
1.605 * [taylor]: Taking taylor expansion of 2 in c
1.637 * * * [progress]: simplifying candidates
1.637 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (* (fmod (expm1 (log1p (cosh c))) (log1p a)) (fmod (expm1 (log1p (cosh c))) (log1p a))) (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log1p (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log 1)
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (expm1 (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (log1p (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (* (cbrt (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (cbrt (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (* (* (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (sqrt (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (sqrt (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (+ 1 (cosh c))
  (expm1 (log1p (cosh c)))
  (log1p (log1p (cosh c)))
  (log (log1p (cosh c)))
  (exp (log1p (cosh c)))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (* (* (log1p (cosh c)) (log1p (cosh c))) (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (- (+ (* 1/4 (pow c 2)) (log 2)) (* 1/96 (pow c 4)))
  (log (+ (* 1/2 (exp (- c))) (+ (* 1/2 (exp c)) 1)))
  (log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1)))
1.641 * * [simplify]: iteration  0 :  128  enodes  (cost  441 )
1.643 * * [simplify]: iteration  1 :  252  enodes  (cost  393 )
1.647 * * [simplify]: iteration  2 :  652  enodes  (cost  377 )
1.661 * * [simplify]: iteration  3 :  3085  enodes  (cost  363 )
1.744 * * [simplify]: iteration  4 :  5002  enodes  (cost  362 )
1.746 * [simplify]: Simplified to:
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) 2)
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log1p (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  0
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  E
  (pow (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) 2)
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  1
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) 2)
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (+ 1 (cosh c))
  (cosh c)
  (log1p (log1p (cosh c)))
  (log (log1p (cosh c)))
  (+ 1 (cosh c))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fma (pow c 2) 1/4 (- (log 2) (* 1/96 (pow c 4))))
  (log1p (cosh c))
  (log1p (cosh c))
1.746 * * * [progress]: adding candidates to table
1.915 * * [progress]: iteration 4 / 4
1.915 * * * [progress]: picking best candidate
1.974 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))>
1.974 * * * [progress]: localizing error
1.991 * * * [progress]: generating rewritten candidates
1.991 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.992 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.999 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.003 * * * [progress]: generating series expansions
2.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
2.003 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
2.003 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.003 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.003 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.003 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.003 * [taylor]: Taking taylor expansion of 0 in a
2.003 * [taylor]: Taking taylor expansion of 0 in a
2.003 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
2.004 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.004 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.004 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.004 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.005 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
2.005 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.005 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.005 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.005 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.005 * [taylor]: Taking taylor expansion of 0 in a
2.005 * [taylor]: Taking taylor expansion of 0 in a
2.005 * [taylor]: Taking taylor expansion of 0 in a
2.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
2.005 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in (c a) around 0
2.005 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.005 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.006 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.006 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.006 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.006 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.006 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.006 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.007 * [taylor]: Taking taylor expansion of 0 in a
2.009 * [taylor]: Taking taylor expansion of 0 in a
2.012 * [taylor]: Taking taylor expansion of 0 in a
2.012 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in (c a) around 0
2.012 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.012 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.012 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.012 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.013 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.013 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.013 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.013 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.014 * [taylor]: Taking taylor expansion of 0 in a
2.015 * [taylor]: Taking taylor expansion of 0 in a
2.019 * [taylor]: Taking taylor expansion of 0 in a
2.019 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in (c a) around 0
2.019 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.019 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.019 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.019 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.019 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.019 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.020 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.020 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.021 * [taylor]: Taking taylor expansion of 0 in a
2.025 * [taylor]: Taking taylor expansion of 0 in a
2.029 * [taylor]: Taking taylor expansion of 0 in a
2.029 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.029 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
2.029 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.029 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.029 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.029 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.030 * [taylor]: Taking taylor expansion of 0 in a
2.030 * [taylor]: Taking taylor expansion of 0 in a
2.030 * [taylor]: Taking taylor expansion of 0 in a
2.030 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
2.030 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.030 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.030 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.030 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.030 * [taylor]: Taking taylor expansion of 0 in a
2.031 * [taylor]: Taking taylor expansion of 0 in a
2.031 * [taylor]: Taking taylor expansion of 0 in a
2.031 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
2.031 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.031 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.031 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.031 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.031 * [taylor]: Taking taylor expansion of 0 in a
2.032 * [taylor]: Taking taylor expansion of 0 in a
2.032 * [taylor]: Taking taylor expansion of 0 in a
2.032 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.032 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in (c a) around 0
2.032 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.032 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.032 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.032 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.032 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.032 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.032 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.032 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.033 * [taylor]: Taking taylor expansion of 0 in a
2.035 * [taylor]: Taking taylor expansion of 0 in a
2.038 * [taylor]: Taking taylor expansion of 0 in a
2.038 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in (c a) around 0
2.038 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.038 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.039 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.039 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.039 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.039 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.039 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.039 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.040 * [taylor]: Taking taylor expansion of 0 in a
2.042 * [taylor]: Taking taylor expansion of 0 in a
2.045 * [taylor]: Taking taylor expansion of 0 in a
2.045 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in (c a) around 0
2.045 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.045 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.045 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.045 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.046 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.046 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.046 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.046 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.047 * [taylor]: Taking taylor expansion of 0 in a
2.049 * [taylor]: Taking taylor expansion of 0 in a
2.052 * [taylor]: Taking taylor expansion of 0 in a
2.052 * * * [progress]: simplifying candidates
2.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (* (fmod (expm1 (log1p (cosh c))) (log1p a)) (fmod (expm1 (log1p (cosh c))) (log1p a))) (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log1p (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log 1)
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (expm1 (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (log1p (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (expm1 (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (log1p (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (log (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
  (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (* (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
  (cbrt (pow (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))
  (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (cbrt 1)
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (/ 3 2)))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (/ 3 2)))
  (* (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (* (* (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))) (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
2.057 * * [simplify]: iteration  0 :  121  enodes  (cost  723 )
2.059 * * [simplify]: iteration  1 :  306  enodes  (cost  694 )
2.064 * * [simplify]: iteration  2 :  810  enodes  (cost  694 )
2.080 * * [simplify]: iteration  3 :  3664  enodes  (cost  694 )
2.147 * * [simplify]: iteration  4 :  5001  enodes  (cost  652 )
2.150 * [simplify]: Simplified to:
   (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log1p (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  0
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (expm1 (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log1p (fmod (expm1 (log1p (cosh c))) (log1p a)))
  E
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  E
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  E
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  E
  (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  E
  (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3/2)))
  (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
  (exp (sqrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))
  E
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log1p (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (log (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  1
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  1
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  1
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  1
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  (cbrt (sqrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
  1
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3/2))
  (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3/2))
  (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2)
  (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (sqrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
2.150 * * * [progress]: adding candidates to table
2.375 * [progress]: [Phase 3 of 3] Extracting.
2.375 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (expm1 (log (+ 1 (cosh c)))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))))>)
2.383 * * * [regime-changes]: Trying 4 branch expressions: ((log1p a) (cosh c) c a)
2.383 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (expm1 (log (+ 1 (cosh c)))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))))>)
2.488 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (expm1 (log (+ 1 (cosh c)))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))))>)
2.580 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (expm1 (log (+ 1 (cosh c)))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))))>)
2.683 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)) 3))))> #<alt (λ (a c) (cbrt (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 2))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))) (cbrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (sqrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (expm1 (log (+ 1 (cosh c)))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) (log (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))) 3))))> #<alt (λ (a c) (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))) (log1p a)))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) 3))))>)
2.785 * * * [regime]: Found split indices: #<option (#s(si 15 255))>
2.785 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
2.786 * * [simplify]: iteration  0 :  13  enodes  (cost  23 )
2.786 * [simplify]: Simplified to:
   (pow (exp (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))) (cbrt (* (log (fmod (expm1 (log1p (cosh c))) (log1p a))) (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
14.971 * [regime-testing]: Baseline error score: 34.13949793169549
14.971 * [regime-testing]: Oracle error score: 32.92328968315468
14.973 * [regime-testing]: End program error score: 34.13949793169549