7.666 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.368 * * * [progress]: [2/2] Setting up program.
0.370 * [progress]: [Phase 2 of 3] Improving.
0.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.370 * [simplify]: Sending expressions to egg_math:
 (fmod (cosh h0) (log1p h1))
0.377 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.378 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.379 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.380 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.381 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.383 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.384 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.385 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.387 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.395 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.593 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.595 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.595 * * [progress]: iteration 1 / 4
0.595 * * * [progress]: picking best candidate
0.597 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.597 * * * [progress]: localizing error
0.604 * * * [progress]: generating rewritten candidates
0.604 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.604 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.606 * * * [progress]: generating series expansions
0.606 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.606 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.606 * [taylor]: Taking taylor expansion of 0 in a
0.606 * [taylor]: Taking taylor expansion of 0 in a
0.606 * [taylor]: Taking taylor expansion of 0 in a
0.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.607 * [taylor]: Taking taylor expansion of 0 in a
0.607 * [taylor]: Taking taylor expansion of 0 in a
0.607 * [taylor]: Taking taylor expansion of 0 in a
0.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.608 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.608 * [taylor]: Taking taylor expansion of (cosh c) in c
0.608 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.608 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.608 * [taylor]: Taking taylor expansion of (exp c) in c
0.608 * [taylor]: Taking taylor expansion of c in c
0.608 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.608 * [taylor]: Taking taylor expansion of (- c) in c
0.608 * [taylor]: Taking taylor expansion of c in c
0.609 * [taylor]: Taking taylor expansion of 2 in c
0.610 * [taylor]: Taking taylor expansion of (cosh c) in c
0.610 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.610 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.610 * [taylor]: Taking taylor expansion of (exp c) in c
0.610 * [taylor]: Taking taylor expansion of c in c
0.610 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.610 * [taylor]: Taking taylor expansion of (- c) in c
0.610 * [taylor]: Taking taylor expansion of c in c
0.610 * [taylor]: Taking taylor expansion of 2 in c
0.626 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.626 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.626 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.626 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.626 * [taylor]: Taking taylor expansion of c in c
0.627 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.627 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.627 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.627 * [taylor]: Taking taylor expansion of c in c
0.627 * [taylor]: Taking taylor expansion of 2 in c
0.627 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.628 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.628 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.628 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.628 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of 2 in c
0.637 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.637 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.637 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.637 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.637 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.637 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.637 * [taylor]: Taking taylor expansion of -1 in c
0.637 * [taylor]: Taking taylor expansion of c in c
0.638 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.638 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.638 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.638 * [taylor]: Taking taylor expansion of -1 in c
0.638 * [taylor]: Taking taylor expansion of c in c
0.638 * [taylor]: Taking taylor expansion of 2 in c
0.638 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.638 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.639 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.639 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.639 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.639 * [taylor]: Taking taylor expansion of -1 in c
0.639 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.639 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.639 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.639 * [taylor]: Taking taylor expansion of -1 in c
0.639 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of 2 in c
0.648 * * * [progress]: simplifying candidates
0.649 * [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.649 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (cosh h0) (log1p h1)))
 (log1p (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (expm1 (cosh h0))
 (log1p (cosh h0))
 (+ (exp h0) (exp (- h0)))
 (log (cosh h0))
 (exp (cosh h0))
 (* (cbrt (cosh h0)) (cbrt (cosh h0)))
 (cbrt (cosh h0))
 (* (* (cosh h0) (cosh h0)) (cosh h0))
 (sqrt (cosh h0))
 (sqrt (cosh h0))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (+ (* 1/24 (pow h0 4)) (+ (* 1/2 (pow h0 2)) 1))
 (* 1/2 (+ (exp h0) (exp (- h0))))
 (* 1/2 (+ (exp (* -1 h0)) (exp h0)))
0.651 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.653 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.657 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.672 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.782 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.783 * [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.783 * * * [progress]: adding candidates to table
0.843 * * [progress]: iteration 2 / 4
0.843 * * * [progress]: picking best candidate
0.866 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (expm1 (log1p (cosh c))) (log1p a)))>
0.866 * * * [progress]: localizing error
0.876 * * * [progress]: generating rewritten candidates
0.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.876 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.876 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.879 * * * [progress]: generating series expansions
0.879 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.879 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
0.879 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
0.879 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
0.879 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
0.879 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
0.879 * [taylor]: Taking taylor expansion of 0 in a
0.879 * [taylor]: Taking taylor expansion of 0 in a
0.879 * [taylor]: Taking taylor expansion of 0 in a
0.880 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
0.880 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
0.880 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
0.880 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
0.880 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.881 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
0.881 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
0.881 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
0.881 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
0.881 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
0.881 * [taylor]: Taking taylor expansion of 0 in a
0.881 * [taylor]: Taking taylor expansion of 0 in a
0.881 * [taylor]: Taking taylor expansion of 0 in a
0.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.882 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh c))) in (c) around 0
0.882 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh c))) in c
0.882 * [taylor]: Rewrote expression to (- (exp (log1p (cosh c))) 1)
0.882 * [taylor]: Taking taylor expansion of (exp (log1p (cosh c))) in c
0.882 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.882 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.882 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.882 * [taylor]: Taking taylor expansion of 1 in c
0.882 * [taylor]: Taking taylor expansion of (cosh c) in c
0.882 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.882 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.882 * [taylor]: Taking taylor expansion of (exp c) in c
0.882 * [taylor]: Taking taylor expansion of c in c
0.882 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.882 * [taylor]: Taking taylor expansion of (- c) in c
0.882 * [taylor]: Taking taylor expansion of c in c
0.883 * [taylor]: Taking taylor expansion of 2 in c
0.884 * [taylor]: Taking taylor expansion of 1 in c
0.884 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh c))) in c
0.884 * [taylor]: Rewrote expression to (- (exp (log1p (cosh c))) 1)
0.884 * [taylor]: Taking taylor expansion of (exp (log1p (cosh c))) in c
0.884 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
0.884 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
0.884 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
0.884 * [taylor]: Taking taylor expansion of 1 in c
0.884 * [taylor]: Taking taylor expansion of (cosh c) in c
0.884 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.884 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.884 * [taylor]: Taking taylor expansion of (exp c) in c
0.884 * [taylor]: Taking taylor expansion of c in c
0.885 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.885 * [taylor]: Taking taylor expansion of (- c) in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.885 * [taylor]: Taking taylor expansion of 2 in c
0.886 * [taylor]: Taking taylor expansion of 1 in c
0.923 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in (c) around 0
0.923 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in c
0.923 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ 1 c)))) 1)
0.923 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ 1 c)))) in c
0.923 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
0.923 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
0.923 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
0.923 * [taylor]: Taking taylor expansion of 1 in c
0.923 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.923 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.923 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.923 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.923 * [taylor]: Taking taylor expansion of c in c
0.924 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.924 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.924 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.924 * [taylor]: Taking taylor expansion of c in c
0.924 * [taylor]: Taking taylor expansion of 2 in c
0.925 * [taylor]: Taking taylor expansion of 1 in c
0.925 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ 1 c)))) in c
0.925 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ 1 c)))) 1)
0.925 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ 1 c)))) in c
0.925 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
0.925 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
0.925 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
0.925 * [taylor]: Taking taylor expansion of 1 in c
0.925 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.925 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.925 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.925 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.925 * [taylor]: Taking taylor expansion of c in c
0.925 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.925 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.925 * [taylor]: Taking taylor expansion of c in c
0.926 * [taylor]: Taking taylor expansion of 2 in c
0.926 * [taylor]: Taking taylor expansion of 1 in c
0.971 * [approximate]: Taking taylor expansion of (expm1 (log1p (cosh (/ -1 c)))) in (c) around 0
0.971 * [taylor]: Taking taylor expansion of (expm1 (log1p (cosh (/ -1 c)))) in c
0.971 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ -1 c)))) 1)
0.971 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ -1 c)))) in c
0.971 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
0.971 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
0.971 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
0.971 * [taylor]: Taking taylor expansion of 1 in c
0.971 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.971 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.971 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.971 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.971 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.971 * [taylor]: Taking taylor expansion of -1 in c
0.971 * [taylor]: Taking taylor expansion of c in c
0.971 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.971 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.971 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.971 * [taylor]: Taking taylor expansion of -1 in c
0.971 * [taylor]: Taking taylor expansion of c in c
0.972 * [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 (/ -1 c)))) in c
0.972 * [taylor]: Rewrote expression to (- (exp (log1p (cosh (/ -1 c)))) 1)
0.973 * [taylor]: Taking taylor expansion of (exp (log1p (cosh (/ -1 c)))) in c
0.973 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
0.973 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
0.973 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
0.973 * [taylor]: Taking taylor expansion of 1 in c
0.973 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.973 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.973 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.973 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.973 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.973 * [taylor]: Taking taylor expansion of -1 in c
0.973 * [taylor]: Taking taylor expansion of c in c
0.973 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.973 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.973 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.973 * [taylor]: Taking taylor expansion of -1 in c
0.973 * [taylor]: Taking taylor expansion of c in c
0.974 * [taylor]: Taking taylor expansion of 2 in c
0.974 * [taylor]: Taking taylor expansion of 1 in c
1.015 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.015 * [approximate]: Taking taylor expansion of (log1p (cosh c)) in (c) around 0
1.015 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.015 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.015 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.015 * [taylor]: Taking taylor expansion of 1 in c
1.015 * [taylor]: Taking taylor expansion of (cosh c) in c
1.015 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.015 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.015 * [taylor]: Taking taylor expansion of (exp c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.015 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.015 * [taylor]: Taking taylor expansion of (- c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.016 * [taylor]: Taking taylor expansion of 2 in c
1.017 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.017 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.017 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.017 * [taylor]: Taking taylor expansion of 1 in c
1.017 * [taylor]: Taking taylor expansion of (cosh c) in c
1.017 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.017 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.017 * [taylor]: Taking taylor expansion of (exp c) in c
1.017 * [taylor]: Taking taylor expansion of c in c
1.017 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.017 * [taylor]: Taking taylor expansion of (- c) in c
1.017 * [taylor]: Taking taylor expansion of c in c
1.017 * [taylor]: Taking taylor expansion of 2 in c
1.047 * [approximate]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in (c) around 0
1.047 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.047 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.047 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.047 * [taylor]: Taking taylor expansion of 1 in c
1.047 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.047 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.047 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.047 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.047 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.047 * [taylor]: Taking taylor expansion of c in c
1.047 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.047 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.047 * [taylor]: Taking taylor expansion of c in c
1.048 * [taylor]: Taking taylor expansion of 2 in c
1.048 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.048 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.048 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.048 * [taylor]: Taking taylor expansion of 1 in c
1.048 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.048 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.048 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.048 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.048 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.048 * [taylor]: Taking taylor expansion of c in c
1.049 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.049 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.049 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.049 * [taylor]: Taking taylor expansion of c in c
1.049 * [taylor]: Taking taylor expansion of 2 in c
1.079 * [approximate]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in (c) around 0
1.079 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.079 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.079 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.079 * [taylor]: Taking taylor expansion of 1 in c
1.079 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.079 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.079 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.079 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.079 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.079 * [taylor]: Taking taylor expansion of -1 in c
1.079 * [taylor]: Taking taylor expansion of c in c
1.080 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.080 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.080 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.080 * [taylor]: Taking taylor expansion of -1 in c
1.080 * [taylor]: Taking taylor expansion of c in c
1.080 * [taylor]: Taking taylor expansion of 2 in c
1.081 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.081 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.081 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.081 * [taylor]: Taking taylor expansion of 1 in c
1.081 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.081 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.081 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.081 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.081 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.081 * [taylor]: Taking taylor expansion of -1 in c
1.081 * [taylor]: Taking taylor expansion of c in c
1.081 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.081 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.081 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.081 * [taylor]: Taking taylor expansion of -1 in c
1.081 * [taylor]: Taking taylor expansion of c in c
1.082 * [taylor]: Taking taylor expansion of 2 in c
1.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.115 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.115 * [taylor]: Taking taylor expansion of (cosh c) in c
1.115 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.115 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.115 * [taylor]: Taking taylor expansion of (exp c) in c
1.115 * [taylor]: Taking taylor expansion of c in c
1.115 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.115 * [taylor]: Taking taylor expansion of (- c) in c
1.115 * [taylor]: Taking taylor expansion of c in c
1.116 * [taylor]: Taking taylor expansion of 2 in c
1.116 * [taylor]: Taking taylor expansion of (cosh c) in c
1.116 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.116 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.116 * [taylor]: Taking taylor expansion of (exp c) in c
1.116 * [taylor]: Taking taylor expansion of c in c
1.116 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.116 * [taylor]: Taking taylor expansion of (- c) in c
1.116 * [taylor]: Taking taylor expansion of c in c
1.117 * [taylor]: Taking taylor expansion of 2 in c
1.132 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.132 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.132 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.132 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.132 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.132 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.132 * [taylor]: Taking taylor expansion of c in c
1.132 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.133 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.133 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.133 * [taylor]: Taking taylor expansion of c in c
1.133 * [taylor]: Taking taylor expansion of 2 in c
1.133 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.133 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.133 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.133 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.133 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.133 * [taylor]: Taking taylor expansion of c in c
1.134 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.134 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.134 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.134 * [taylor]: Taking taylor expansion of c in c
1.134 * [taylor]: Taking taylor expansion of 2 in c
1.144 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.144 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.144 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.144 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.144 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.144 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.144 * [taylor]: Taking taylor expansion of -1 in c
1.144 * [taylor]: Taking taylor expansion of c in c
1.144 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.144 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.144 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.144 * [taylor]: Taking taylor expansion of -1 in c
1.144 * [taylor]: Taking taylor expansion of c in c
1.145 * [taylor]: Taking taylor expansion of 2 in c
1.145 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.145 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.145 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.145 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.145 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.145 * [taylor]: Taking taylor expansion of -1 in c
1.145 * [taylor]: Taking taylor expansion of c in c
1.145 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.145 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.145 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.145 * [taylor]: Taking taylor expansion of -1 in c
1.145 * [taylor]: Taking taylor expansion of c in c
1.146 * [taylor]: Taking taylor expansion of 2 in c
1.154 * * * [progress]: simplifying candidates
1.155 * [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)))
  (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))))
  (+ 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)))
  (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/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/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) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
1.155 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (log1p (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (log (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (exp (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (* (cbrt (fmod (expm1 (log1p (cosh h0))) (log1p h1))) (cbrt (fmod (expm1 (log1p (cosh h0))) (log1p h1))))
 (cbrt (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (* (* (fmod (expm1 (log1p (cosh h0))) (log1p h1)) (fmod (expm1 (log1p (cosh h0))) (log1p h1))) (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (sqrt (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (sqrt (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (exp (log1p (cosh h0)))
 (expm1 (expm1 (log1p (cosh h0))))
 (log1p (expm1 (log1p (cosh h0))))
 (log (expm1 (log1p (cosh h0))))
 (exp (expm1 (log1p (cosh h0))))
 (* (cbrt (expm1 (log1p (cosh h0)))) (cbrt (expm1 (log1p (cosh h0)))))
 (cbrt (expm1 (log1p (cosh h0))))
 (* (* (expm1 (log1p (cosh h0))) (expm1 (log1p (cosh h0)))) (expm1 (log1p (cosh h0))))
 (sqrt (expm1 (log1p (cosh h0))))
 (sqrt (expm1 (log1p (cosh h0))))
 (+ 1 (cosh h0))
 (expm1 (log1p (cosh h0)))
 (log1p (log1p (cosh h0)))
 (log (log1p (cosh h0)))
 (exp (log1p (cosh h0)))
 (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))
 (cbrt (log1p (cosh h0)))
 (* (* (log1p (cosh h0)) (log1p (cosh h0))) (log1p (cosh h0)))
 (sqrt (log1p (cosh h0)))
 (sqrt (log1p (cosh h0)))
 (expm1 (cosh h0))
 (log1p (cosh h0))
 (+ (exp h0) (exp (- h0)))
 (log (cosh h0))
 (exp (cosh h0))
 (* (cbrt (cosh h0)) (cbrt (cosh h0)))
 (cbrt (cosh h0))
 (* (* (cosh h0) (cosh h0)) (cosh h0))
 (sqrt (cosh h0))
 (sqrt (cosh h0))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (+ (* 1/24 (pow h0 4)) (+ (* 1/2 (pow h0 2)) 1))
 (+ (* 1/2 (exp h0)) (* 1/2 (exp (- h0))))
 (+ (* 1/2 (exp (* -1 h0))) (* 1/2 (exp h0)))
 (- (+ (* 1/4 (pow h0 2)) (log 2)) (* 1/96 (pow h0 4)))
 (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1)))
 (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1)))
 (+ (* 1/24 (pow h0 4)) (+ (* 1/2 (pow h0 2)) 1))
 (* 1/2 (+ (exp h0) (exp (- h0))))
 (* 1/2 (+ (exp (* -1 h0)) (exp h0)))
1.158 * * [simplify]: iteration  0 :  136  enodes  (cost  229 )
1.161 * * [simplify]: iteration  1 :  275  enodes  (cost  206 )
1.165 * * [simplify]: iteration  2 :  832  enodes  (cost  178 )
1.185 * * [simplify]: iteration  3 :  4741  enodes  (cost  174 )
1.318 * * [simplify]: iteration  4 :  5001  enodes  (cost  174 )
1.319 * [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))
  (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))
  (+ 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)))
  (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 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
  (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)
1.320 * * * [progress]: adding candidates to table
1.449 * * [progress]: iteration 3 / 4
1.449 * * * [progress]: picking best candidate
1.475 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))>
1.476 * * * [progress]: localizing error
1.488 * * * [progress]: generating rewritten candidates
1.488 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.501 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.503 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.506 * * * [progress]: generating series expansions
1.506 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.507 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
1.507 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
1.507 * [taylor]: Taking taylor expansion of 0 in a
1.507 * [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.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.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.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
1.509 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
1.509 * [taylor]: Taking taylor expansion of 0 in a
1.509 * [taylor]: Taking taylor expansion of 0 in a
1.509 * [taylor]: Taking taylor expansion of 0 in a
1.509 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.509 * [approximate]: Taking taylor expansion of (log1p (cosh c)) in (c) around 0
1.509 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.509 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.509 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.509 * [taylor]: Taking taylor expansion of 1 in c
1.509 * [taylor]: Taking taylor expansion of (cosh c) in c
1.510 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.510 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.510 * [taylor]: Taking taylor expansion of (exp c) in c
1.510 * [taylor]: Taking taylor expansion of c in c
1.510 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.510 * [taylor]: Taking taylor expansion of (- c) in c
1.510 * [taylor]: Taking taylor expansion of c in c
1.510 * [taylor]: Taking taylor expansion of 2 in c
1.511 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.511 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.511 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.511 * [taylor]: Taking taylor expansion of 1 in c
1.511 * [taylor]: Taking taylor expansion of (cosh c) in c
1.511 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.511 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.511 * [taylor]: Taking taylor expansion of (exp c) in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.511 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.511 * [taylor]: Taking taylor expansion of (- c) in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.512 * [taylor]: Taking taylor expansion of 2 in c
1.542 * [approximate]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in (c) around 0
1.542 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.542 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.542 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.542 * [taylor]: Taking taylor expansion of 1 in c
1.542 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.542 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.542 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.542 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.542 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.542 * [taylor]: Taking taylor expansion of c in c
1.542 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.542 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.542 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.542 * [taylor]: Taking taylor expansion of c in c
1.543 * [taylor]: Taking taylor expansion of 2 in c
1.543 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.543 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.543 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.543 * [taylor]: Taking taylor expansion of 1 in c
1.543 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.543 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.543 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.543 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.543 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.543 * [taylor]: Taking taylor expansion of c in c
1.544 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.544 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.544 * [taylor]: Taking taylor expansion of c in c
1.544 * [taylor]: Taking taylor expansion of 2 in c
1.574 * [approximate]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in (c) around 0
1.574 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.575 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.575 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.575 * [taylor]: Taking taylor expansion of 1 in c
1.575 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.575 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.575 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.575 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.575 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.575 * [taylor]: Taking taylor expansion of -1 in c
1.575 * [taylor]: Taking taylor expansion of c in c
1.575 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.575 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.575 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.575 * [taylor]: Taking taylor expansion of -1 in c
1.575 * [taylor]: Taking taylor expansion of c in c
1.576 * [taylor]: Taking taylor expansion of 2 in c
1.576 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.576 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.576 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.576 * [taylor]: Taking taylor expansion of 1 in c
1.576 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.576 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.576 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.576 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.576 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.576 * [taylor]: Taking taylor expansion of -1 in c
1.576 * [taylor]: Taking taylor expansion of c in c
1.576 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.577 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.577 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.577 * [taylor]: Taking taylor expansion of -1 in c
1.577 * [taylor]: Taking taylor expansion of c in c
1.577 * [taylor]: Taking taylor expansion of 2 in c
1.607 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.607 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh c))) in (c) around 0
1.607 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
1.607 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.607 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.607 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.607 * [taylor]: Taking taylor expansion of 1 in c
1.607 * [taylor]: Taking taylor expansion of (cosh c) in c
1.607 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.607 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.607 * [taylor]: Taking taylor expansion of (exp c) in c
1.607 * [taylor]: Taking taylor expansion of c in c
1.607 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.607 * [taylor]: Taking taylor expansion of (- c) in c
1.607 * [taylor]: Taking taylor expansion of c in c
1.608 * [taylor]: Taking taylor expansion of 2 in c
1.612 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
1.612 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.612 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.612 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.612 * [taylor]: Taking taylor expansion of 1 in c
1.612 * [taylor]: Taking taylor expansion of (cosh c) in c
1.612 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.612 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.612 * [taylor]: Taking taylor expansion of (exp c) in c
1.612 * [taylor]: Taking taylor expansion of c in c
1.612 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.612 * [taylor]: Taking taylor expansion of (- c) in c
1.612 * [taylor]: Taking taylor expansion of c in c
1.613 * [taylor]: Taking taylor expansion of 2 in c
1.662 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in (c) around 0
1.662 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
1.662 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.662 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.662 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.662 * [taylor]: Taking taylor expansion of 1 in c
1.662 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.662 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.662 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.662 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.662 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.662 * [taylor]: Taking taylor expansion of c in c
1.662 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.662 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.662 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.662 * [taylor]: Taking taylor expansion of c in c
1.663 * [taylor]: Taking taylor expansion of 2 in c
1.665 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
1.665 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.665 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.665 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.665 * [taylor]: Taking taylor expansion of 1 in c
1.665 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.665 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.665 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.665 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.665 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.665 * [taylor]: Taking taylor expansion of c in c
1.665 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.665 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.665 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.665 * [taylor]: Taking taylor expansion of c in c
1.666 * [taylor]: Taking taylor expansion of 2 in c
1.703 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in (c) around 0
1.703 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
1.703 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.703 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.703 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.703 * [taylor]: Taking taylor expansion of 1 in c
1.703 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.703 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.703 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.703 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.703 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.703 * [taylor]: Taking taylor expansion of -1 in c
1.703 * [taylor]: Taking taylor expansion of c in c
1.704 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.704 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.704 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.704 * [taylor]: Taking taylor expansion of -1 in c
1.704 * [taylor]: Taking taylor expansion of c in c
1.704 * [taylor]: Taking taylor expansion of 2 in c
1.706 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
1.706 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.706 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.706 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.706 * [taylor]: Taking taylor expansion of 1 in c
1.706 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.707 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.707 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.707 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.707 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.707 * [taylor]: Taking taylor expansion of -1 in c
1.707 * [taylor]: Taking taylor expansion of c in c
1.707 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.707 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.707 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.707 * [taylor]: Taking taylor expansion of -1 in c
1.707 * [taylor]: Taking taylor expansion of c in c
1.707 * [taylor]: Taking taylor expansion of 2 in c
1.740 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.740 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh c))) in (c) around 0
1.740 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
1.740 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.741 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.741 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.741 * [taylor]: Taking taylor expansion of 1 in c
1.741 * [taylor]: Taking taylor expansion of (cosh c) in c
1.741 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.741 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.741 * [taylor]: Taking taylor expansion of (exp c) in c
1.741 * [taylor]: Taking taylor expansion of c in c
1.741 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.741 * [taylor]: Taking taylor expansion of (- c) in c
1.741 * [taylor]: Taking taylor expansion of c in c
1.741 * [taylor]: Taking taylor expansion of 2 in c
1.745 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
1.746 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
1.746 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
1.746 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
1.746 * [taylor]: Taking taylor expansion of 1 in c
1.746 * [taylor]: Taking taylor expansion of (cosh c) in c
1.746 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.746 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.746 * [taylor]: Taking taylor expansion of (exp c) in c
1.746 * [taylor]: Taking taylor expansion of c in c
1.746 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.746 * [taylor]: Taking taylor expansion of (- c) in c
1.746 * [taylor]: Taking taylor expansion of c in c
1.746 * [taylor]: Taking taylor expansion of 2 in c
1.794 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in (c) around 0
1.795 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
1.795 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.795 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.795 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.795 * [taylor]: Taking taylor expansion of 1 in c
1.795 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.795 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.795 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.795 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.795 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.795 * [taylor]: Taking taylor expansion of c in c
1.795 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.795 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.795 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.795 * [taylor]: Taking taylor expansion of c in c
1.796 * [taylor]: Taking taylor expansion of 2 in c
1.798 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
1.798 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
1.798 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
1.798 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
1.798 * [taylor]: Taking taylor expansion of 1 in c
1.798 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.798 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.798 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.798 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.798 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.798 * [taylor]: Taking taylor expansion of c in c
1.798 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.798 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.798 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.798 * [taylor]: Taking taylor expansion of c in c
1.799 * [taylor]: Taking taylor expansion of 2 in c
1.832 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in (c) around 0
1.832 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
1.832 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.833 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.833 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.833 * [taylor]: Taking taylor expansion of 1 in c
1.833 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.833 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.833 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.833 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.833 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.833 * [taylor]: Taking taylor expansion of -1 in c
1.833 * [taylor]: Taking taylor expansion of c in c
1.833 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.833 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.833 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.833 * [taylor]: Taking taylor expansion of -1 in c
1.833 * [taylor]: Taking taylor expansion of c in c
1.834 * [taylor]: Taking taylor expansion of 2 in c
1.836 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
1.836 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
1.836 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
1.836 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
1.836 * [taylor]: Taking taylor expansion of 1 in c
1.836 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.836 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.836 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.836 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.836 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.836 * [taylor]: Taking taylor expansion of -1 in c
1.836 * [taylor]: Taking taylor expansion of c in c
1.836 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.836 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.836 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.836 * [taylor]: Taking taylor expansion of -1 in c
1.836 * [taylor]: Taking taylor expansion of c in c
1.837 * [taylor]: Taking taylor expansion of 2 in c
1.873 * * * [progress]: simplifying candidates
1.874 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log1p (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (exp (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (* (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (log1p (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (+ 1 1)
  (+ (log (sqrt (log1p (cosh c)))) (log (sqrt (log1p (cosh c)))))
  (log (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (exp (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))) (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))
  (* (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))))
  (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (sqrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (sqrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))))
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* 1 1)
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (log1p (cosh c))) (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))))
  (* (sqrt (log1p (cosh c))) (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))))
  (* (sqrt (log1p (cosh c))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (log1p (cosh c))) (sqrt 1))
  (* (sqrt (log1p (cosh c))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (log1p (cosh c))) 1)
  (* (cbrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt 1)
  (sqrt (log1p (cosh c)))
  (/ 1 2)
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt 1)
  (sqrt (log1p (cosh c)))
  (/ 1 2)
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (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))
  (- (+ (* 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)))
  (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow c 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow c 4)))))
  (sqrt (log (+ (* 1/2 (exp (- c))) (+ (* 1/2 (exp c)) 1))))
  (sqrt (log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1))))
  (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow c 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow c 4)))))
  (sqrt (log (+ (* 1/2 (exp (- c))) (+ (* 1/2 (exp c)) 1))))
  (sqrt (log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1))))
1.874 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log1p (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (exp (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (* (* (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)) (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (log1p (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (+ 1/2 1/2)
 (+ 1/2 (/ 1 2))
 (+ 1 1)
 (+ (/ 1 2) 1/2)
 (+ (/ 1 2) (/ 1 2))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (+ 1 1)
 (+ (log (sqrt (log1p (cosh h0)))) (log (sqrt (log1p (cosh h0)))))
 (log (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (exp (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0)))) (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0)))))
 (* (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))))
 (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (sqrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (sqrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))) (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))))
 (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))) (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))))
 (* (sqrt (cbrt (log1p (cosh h0)))) (sqrt (cbrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* 1 1)
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* 2 1/2)
 (* 2 1)
 (* 2 (/ 1 2))
 (* (sqrt (log1p (cosh h0))) (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))))
 (* (sqrt (log1p (cosh h0))) (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))))
 (* (sqrt (log1p (cosh h0))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (log1p (cosh h0))) (sqrt 1))
 (* (sqrt (log1p (cosh h0))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (log1p (cosh h0))) 1)
 (* (cbrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (cbrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (expm1 (sqrt (log1p (cosh h0))))
 (log1p (sqrt (log1p (cosh h0))))
 (log (sqrt (log1p (cosh h0))))
 (exp (sqrt (log1p (cosh h0))))
 (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0)))))
 (cbrt (sqrt (log1p (cosh h0))))
 (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0)))))
 (sqrt (cbrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt 1)
 (sqrt (log1p (cosh h0)))
 (/ 1 2)
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (expm1 (sqrt (log1p (cosh h0))))
 (log1p (sqrt (log1p (cosh h0))))
 (log (sqrt (log1p (cosh h0))))
 (exp (sqrt (log1p (cosh h0))))
 (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0)))))
 (cbrt (sqrt (log1p (cosh h0))))
 (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0)))))
 (sqrt (cbrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt 1)
 (sqrt (log1p (cosh h0)))
 (/ 1 2)
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (- (+ (* 1/4 (pow h0 2)) (log 2)) (* 1/96 (pow h0 4)))
 (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1)))
 (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1)))
 (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow h0 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow h0 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow h0 4)))))
 (sqrt (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1))))
 (sqrt (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1))))
 (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow h0 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow h0 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow h0 4)))))
 (sqrt (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1))))
 (sqrt (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1))))
1.879 * * [simplify]: iteration  0 :  210  enodes  (cost  635 )
1.883 * * [simplify]: iteration  1 :  770  enodes  (cost  557 )
1.902 * * [simplify]: iteration  2 :  4110  enodes  (cost  499 )
2.033 * * [simplify]: iteration  3 :  5001  enodes  (cost  499 )
2.035 * [simplify]: Simplified to:
   (expm1 (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log1p (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (exp (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (cosh c)
  (log1p (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  1
  1
  2
  1
  1
  (pow (sqrt (log1p (cosh c))) 4)
  (log1p (cosh c))
  (pow (sqrt (log1p (cosh c))) 4)
  2
  (* 2 (log (sqrt (log1p (cosh c)))))
  (* 2 (log (sqrt (log1p (cosh c)))))
  (pow (exp 1) (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (pow (sqrt (log1p (cosh c))) 4)
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (pow (cbrt (sqrt (log1p (cosh c)))) 4)
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  (log1p (cosh c))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  (log1p (cosh c))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  2
  1
  (* (pow (cbrt (sqrt (log1p (cosh c)))) 4) (cbrt (sqrt (log1p (cosh c)))))
  (* (fabs (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (sqrt (log1p (cosh c)))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (sqrt (log1p (cosh c)))
  (pow (cbrt (sqrt (log1p (cosh c)))) 4)
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (log1p (cosh c))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (log1p (cosh c))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (pow (sqrt (log1p (cosh c))) 3)
  (fabs (cbrt (log1p (cosh c))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  1
  (sqrt (log1p (cosh c)))
  1/2
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (pow (sqrt (log1p (cosh c))) 3)
  (fabs (cbrt (log1p (cosh c))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  1
  (sqrt (log1p (cosh c)))
  1/2
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (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))
  (fma (pow c 2) 1/4 (- (log 2) (* 1/96 (pow c 4))))
  (log1p (cosh c))
  (log1p (cosh c))
  (- (+ (sqrt (log 2)) (* (sqrt (/ 1 (log 2))) (- (* (pow c 2) 1/8) (* (pow c 4) 1/192)))) (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (- (+ (sqrt (log 2)) (* (sqrt (/ 1 (log 2))) (- (* (pow c 2) 1/8) (* (pow c 4) 1/192)))) (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
2.036 * * * [progress]: adding candidates to table
2.252 * * [progress]: iteration 4 / 4
2.252 * * * [progress]: picking best candidate
2.296 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))>
2.296 * * * [progress]: localizing error
2.312 * * * [progress]: generating rewritten candidates
2.312 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.312 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.314 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.327 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.330 * * * [progress]: generating series expansions
2.330 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.331 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in (c a) around 0
2.331 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.331 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.331 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.331 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.331 * [taylor]: Taking taylor expansion of 0 in a
2.331 * [taylor]: Taking taylor expansion of 0 in a
2.331 * [taylor]: Taking taylor expansion of 0 in a
2.331 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
2.331 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.332 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.332 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.332 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.332 * [taylor]: Taking taylor expansion of 0 in a
2.332 * [taylor]: Taking taylor expansion of 0 in a
2.332 * [taylor]: Taking taylor expansion of 0 in a
2.332 * [approximate]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0
2.332 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.333 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.333 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.333 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.333 * [taylor]: Taking taylor expansion of 0 in a
2.333 * [taylor]: Taking taylor expansion of 0 in a
2.333 * [taylor]: Taking taylor expansion of 0 in a
2.333 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.333 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in (c a) around 0
2.333 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.333 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.334 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.334 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.334 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in c
2.334 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in c
2.334 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh c))) (log1p a))) in a
2.334 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh c))) (log1p a)) in a
2.335 * [taylor]: Taking taylor expansion of 0 in a
2.337 * [taylor]: Taking taylor expansion of 0 in a
2.340 * [taylor]: Taking taylor expansion of 0 in a
2.340 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in (c a) around 0
2.340 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.340 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.340 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.340 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.340 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in c
2.341 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in c
2.341 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a)))) in a
2.341 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ 1 c)))) (log1p (/ 1 a))) in a
2.342 * [taylor]: Taking taylor expansion of 0 in a
2.343 * [taylor]: Taking taylor expansion of 0 in a
2.346 * [taylor]: Taking taylor expansion of 0 in a
2.347 * [approximate]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in (c a) around 0
2.347 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.347 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.347 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.347 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in c
2.347 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in c
2.347 * [taylor]: Taking taylor expansion of (log (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a)))) in a
2.347 * [taylor]: Taking taylor expansion of (fmod (expm1 (log1p (cosh (/ -1 c)))) (log1p (/ -1 a))) in a
2.348 * [taylor]: Taking taylor expansion of 0 in a
2.350 * [taylor]: Taking taylor expansion of 0 in a
2.353 * [taylor]: Taking taylor expansion of 0 in a
2.353 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.353 * [approximate]: Taking taylor expansion of (log1p (cosh c)) in (c) around 0
2.353 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
2.353 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
2.353 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
2.353 * [taylor]: Taking taylor expansion of 1 in c
2.353 * [taylor]: Taking taylor expansion of (cosh c) in c
2.354 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
2.354 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
2.354 * [taylor]: Taking taylor expansion of (exp c) in c
2.354 * [taylor]: Taking taylor expansion of c in c
2.354 * [taylor]: Taking taylor expansion of (exp (- c)) in c
2.354 * [taylor]: Taking taylor expansion of (- c) in c
2.354 * [taylor]: Taking taylor expansion of c in c
2.354 * [taylor]: Taking taylor expansion of 2 in c
2.355 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
2.355 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
2.355 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
2.355 * [taylor]: Taking taylor expansion of 1 in c
2.355 * [taylor]: Taking taylor expansion of (cosh c) in c
2.355 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
2.355 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
2.355 * [taylor]: Taking taylor expansion of (exp c) in c
2.355 * [taylor]: Taking taylor expansion of c in c
2.355 * [taylor]: Taking taylor expansion of (exp (- c)) in c
2.355 * [taylor]: Taking taylor expansion of (- c) in c
2.355 * [taylor]: Taking taylor expansion of c in c
2.356 * [taylor]: Taking taylor expansion of 2 in c
2.386 * [approximate]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in (c) around 0
2.386 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
2.386 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
2.386 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
2.386 * [taylor]: Taking taylor expansion of 1 in c
2.386 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
2.386 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
2.386 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
2.386 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.386 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.386 * [taylor]: Taking taylor expansion of c in c
2.386 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
2.386 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
2.386 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.386 * [taylor]: Taking taylor expansion of c in c
2.387 * [taylor]: Taking taylor expansion of 2 in c
2.387 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
2.387 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
2.387 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
2.387 * [taylor]: Taking taylor expansion of 1 in c
2.387 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
2.387 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
2.387 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
2.387 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.387 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.387 * [taylor]: Taking taylor expansion of c in c
2.388 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
2.388 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
2.388 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.388 * [taylor]: Taking taylor expansion of c in c
2.388 * [taylor]: Taking taylor expansion of 2 in c
2.418 * [approximate]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in (c) around 0
2.418 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
2.418 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
2.418 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
2.418 * [taylor]: Taking taylor expansion of 1 in c
2.418 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.418 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.418 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.418 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.418 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.418 * [taylor]: Taking taylor expansion of -1 in c
2.418 * [taylor]: Taking taylor expansion of c in c
2.419 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.419 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.419 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.419 * [taylor]: Taking taylor expansion of -1 in c
2.419 * [taylor]: Taking taylor expansion of c in c
2.419 * [taylor]: Taking taylor expansion of 2 in c
2.420 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
2.420 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
2.420 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
2.420 * [taylor]: Taking taylor expansion of 1 in c
2.420 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.420 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.420 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.420 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.420 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.420 * [taylor]: Taking taylor expansion of -1 in c
2.420 * [taylor]: Taking taylor expansion of c in c
2.420 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.420 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.420 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.420 * [taylor]: Taking taylor expansion of -1 in c
2.420 * [taylor]: Taking taylor expansion of c in c
2.421 * [taylor]: Taking taylor expansion of 2 in c
2.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.453 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh c))) in (c) around 0
2.453 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
2.453 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
2.453 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
2.453 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
2.453 * [taylor]: Taking taylor expansion of 1 in c
2.453 * [taylor]: Taking taylor expansion of (cosh c) in c
2.453 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
2.453 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
2.453 * [taylor]: Taking taylor expansion of (exp c) in c
2.453 * [taylor]: Taking taylor expansion of c in c
2.453 * [taylor]: Taking taylor expansion of (exp (- c)) in c
2.453 * [taylor]: Taking taylor expansion of (- c) in c
2.453 * [taylor]: Taking taylor expansion of c in c
2.454 * [taylor]: Taking taylor expansion of 2 in c
2.458 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh c))) in c
2.458 * [taylor]: Taking taylor expansion of (log1p (cosh c)) in c
2.459 * [taylor]: Rewrote expression to (log (+ 1 (cosh c)))
2.459 * [taylor]: Taking taylor expansion of (+ 1 (cosh c)) in c
2.459 * [taylor]: Taking taylor expansion of 1 in c
2.459 * [taylor]: Taking taylor expansion of (cosh c) in c
2.459 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
2.459 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
2.459 * [taylor]: Taking taylor expansion of (exp c) in c
2.459 * [taylor]: Taking taylor expansion of c in c
2.459 * [taylor]: Taking taylor expansion of (exp (- c)) in c
2.459 * [taylor]: Taking taylor expansion of (- c) in c
2.459 * [taylor]: Taking taylor expansion of c in c
2.459 * [taylor]: Taking taylor expansion of 2 in c
2.504 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in (c) around 0
2.504 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
2.504 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
2.504 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
2.504 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
2.504 * [taylor]: Taking taylor expansion of 1 in c
2.504 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
2.505 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
2.505 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
2.505 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.505 * [taylor]: Taking taylor expansion of c in c
2.505 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
2.505 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
2.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.505 * [taylor]: Taking taylor expansion of c in c
2.505 * [taylor]: Taking taylor expansion of 2 in c
2.508 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ 1 c)))) in c
2.508 * [taylor]: Taking taylor expansion of (log1p (cosh (/ 1 c))) in c
2.508 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ 1 c))))
2.508 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ 1 c))) in c
2.508 * [taylor]: Taking taylor expansion of 1 in c
2.508 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
2.508 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
2.508 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
2.508 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.508 * [taylor]: Taking taylor expansion of c in c
2.508 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
2.508 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
2.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.508 * [taylor]: Taking taylor expansion of c in c
2.509 * [taylor]: Taking taylor expansion of 2 in c
2.545 * [approximate]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in (c) around 0
2.545 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
2.545 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
2.545 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
2.545 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
2.545 * [taylor]: Taking taylor expansion of 1 in c
2.545 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.545 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.545 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.545 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.545 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.545 * [taylor]: Taking taylor expansion of -1 in c
2.545 * [taylor]: Taking taylor expansion of c in c
2.546 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.546 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.546 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.546 * [taylor]: Taking taylor expansion of -1 in c
2.546 * [taylor]: Taking taylor expansion of c in c
2.546 * [taylor]: Taking taylor expansion of 2 in c
2.548 * [taylor]: Taking taylor expansion of (sqrt (log1p (cosh (/ -1 c)))) in c
2.548 * [taylor]: Taking taylor expansion of (log1p (cosh (/ -1 c))) in c
2.548 * [taylor]: Rewrote expression to (log (+ 1 (cosh (/ -1 c))))
2.548 * [taylor]: Taking taylor expansion of (+ 1 (cosh (/ -1 c))) in c
2.548 * [taylor]: Taking taylor expansion of 1 in c
2.548 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.548 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.548 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.548 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.548 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.548 * [taylor]: Taking taylor expansion of -1 in c
2.548 * [taylor]: Taking taylor expansion of c in c
2.549 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.549 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.549 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.549 * [taylor]: Taking taylor expansion of -1 in c
2.549 * [taylor]: Taking taylor expansion of c in c
2.549 * [taylor]: Taking taylor expansion of 2 in c
2.582 * * * [progress]: simplifying candidates
2.583 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log1p (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (exp (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (* (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (expm1 (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log1p (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))
  (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log 1)
  (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))
  (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (* (* (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (log1p (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (+ 1 1)
  (+ (log (sqrt (log1p (cosh c)))) (log (sqrt (log1p (cosh c)))))
  (log (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (exp (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))) (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))
  (* (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))))
  (cbrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (log1p (cosh c)) (log1p (cosh c)))
  (sqrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (sqrt (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))))
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* 1 1)
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (sqrt (log1p (cosh c)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (log1p (cosh c))) (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))))
  (* (sqrt (log1p (cosh c))) (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))))
  (* (sqrt (log1p (cosh c))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (log1p (cosh c))) (sqrt 1))
  (* (sqrt (log1p (cosh c))) (sqrt (sqrt (log1p (cosh c)))))
  (* (sqrt (log1p (cosh c))) 1)
  (* (cbrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (* (sqrt (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (* (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c)))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt 1)
  (sqrt (log1p (cosh c)))
  (/ 1 2)
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (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)))
  (- (+ (* 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)))
  (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow c 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow c 4)))))
  (sqrt (log (+ (* 1/2 (exp (- c))) (+ (* 1/2 (exp c)) 1))))
  (sqrt (log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1))))
2.584 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log1p (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (exp (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (* (* (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)) (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (expm1 (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (log1p (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (log (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))))
 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (log 1)
 (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))
 (log (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (exp (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))))
 (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (* (* (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))) (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))) (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))
 (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (log1p (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (+ 1/2 1/2)
 (+ 1/2 (/ 1 2))
 (+ 1 1)
 (+ (/ 1 2) 1/2)
 (+ (/ 1 2) (/ 1 2))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (+ 1 1)
 (+ (log (sqrt (log1p (cosh h0)))) (log (sqrt (log1p (cosh h0)))))
 (log (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (exp (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0)))) (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0)))))
 (* (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))))
 (cbrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (log1p (cosh h0)) (log1p (cosh h0)))
 (sqrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (sqrt (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))))
 (* (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))) (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))))
 (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))) (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))))
 (* (sqrt (cbrt (log1p (cosh h0)))) (sqrt (cbrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* 1 1)
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (sqrt (log1p (cosh h0)))))
 (* 2 1/2)
 (* 2 1)
 (* 2 (/ 1 2))
 (* (sqrt (log1p (cosh h0))) (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0))))))
 (* (sqrt (log1p (cosh h0))) (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0))))))
 (* (sqrt (log1p (cosh h0))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (log1p (cosh h0))) (sqrt 1))
 (* (sqrt (log1p (cosh h0))) (sqrt (sqrt (log1p (cosh h0)))))
 (* (sqrt (log1p (cosh h0))) 1)
 (* (cbrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (cbrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (* (sqrt (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))
 (expm1 (sqrt (log1p (cosh h0))))
 (log1p (sqrt (log1p (cosh h0))))
 (log (sqrt (log1p (cosh h0))))
 (exp (sqrt (log1p (cosh h0))))
 (* (cbrt (sqrt (log1p (cosh h0)))) (cbrt (sqrt (log1p (cosh h0)))))
 (cbrt (sqrt (log1p (cosh h0))))
 (* (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0)))) (sqrt (log1p (cosh h0))))
 (sqrt (* (cbrt (log1p (cosh h0))) (cbrt (log1p (cosh h0)))))
 (sqrt (cbrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt 1)
 (sqrt (log1p (cosh h0)))
 (/ 1 2)
 (sqrt (sqrt (log1p (cosh h0))))
 (sqrt (sqrt (log1p (cosh h0))))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (fmod (expm1 (log1p (cosh h0))) (log1p h1))
 (log (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (log (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (log (fmod (expm1 (log1p (cosh h0))) (log1p h1)))
 (- (+ (* 1/4 (pow h0 2)) (log 2)) (* 1/96 (pow h0 4)))
 (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1)))
 (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1)))
 (- (+ (sqrt (log 2)) (* 1/8 (* (sqrt (/ 1 (log 2))) (pow h0 2)))) (+ (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow h0 4))) (* 1/192 (* (sqrt (/ 1 (log 2))) (pow h0 4)))))
 (sqrt (log (+ (* 1/2 (exp (- h0))) (+ (* 1/2 (exp h0)) 1))))
 (sqrt (log (+ (* 1/2 (exp (* -1 h0))) (+ (* 1/2 (exp h0)) 1))))
2.589 * * [simplify]: iteration  0 :  226  enodes  (cost  754 )
2.593 * * [simplify]: iteration  1 :  788  enodes  (cost  640 )
2.612 * * [simplify]: iteration  2 :  4167  enodes  (cost  596 )
2.746 * * [simplify]: iteration  3 :  5001  enodes  (cost  596 )
2.749 * [simplify]: Simplified to:
   (expm1 (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log1p (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (log (fmod (expm1 (log1p (cosh c))) (log1p a)))
  (exp (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (pow (fmod (expm1 (log1p (cosh c))) (log1p a)) 3)
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))
  (expm1 (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log1p (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))
  (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (log (sqrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (fmod (expm1 (log1p (cosh c))) (log1p a))
  (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))
  (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)
  (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (sqrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))
  (cosh c)
  (log1p (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c)))))
  1
  1
  2
  1
  1
  (pow (sqrt (log1p (cosh c))) 4)
  (log1p (cosh c))
  (pow (sqrt (log1p (cosh c))) 4)
  2
  (* 2 (log (sqrt (log1p (cosh c)))))
  (* 2 (log (sqrt (log1p (cosh c)))))
  (pow (exp 1) (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (pow (log1p (cosh c)) 3)
  (pow (sqrt (log1p (cosh c))) 4)
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (pow (cbrt (sqrt (log1p (cosh c)))) 4)
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))
  (cbrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  (log1p (cosh c))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  (log1p (cosh c))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
  1
  2
  1
  (* (pow (cbrt (sqrt (log1p (cosh c)))) 4) (cbrt (sqrt (log1p (cosh c)))))
  (* (fabs (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (sqrt (log1p (cosh c)))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (sqrt (log1p (cosh c)))
  (pow (cbrt (sqrt (log1p (cosh c)))) 4)
  (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c))))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (log1p (cosh c))
  (pow (sqrt (sqrt (log1p (cosh c)))) 3)
  (log1p (cosh c))
  (expm1 (sqrt (log1p (cosh c))))
  (log1p (sqrt (log1p (cosh c))))
  (log (sqrt (log1p (cosh c))))
  (exp (sqrt (log1p (cosh c))))
  (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c)))))
  (cbrt (sqrt (log1p (cosh c))))
  (pow (sqrt (log1p (cosh c))) 3)
  (fabs (cbrt (log1p (cosh c))))
  (sqrt (cbrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (sqrt (log1p (cosh c))))
  1
  (sqrt (log1p (cosh c)))
  1/2
  (sqrt (sqrt (log1p (cosh c))))
  (sqrt (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)))
  (fma (pow c 2) 1/4 (- (log 2) (* 1/96 (pow c 4))))
  (log1p (cosh c))
  (log1p (cosh c))
  (- (+ (sqrt (log 2)) (* (sqrt (/ 1 (log 2))) (- (* (pow c 2) 1/8) (* (pow c 4) 1/192)))) (* 1/128 (* (sqrt (/ 1 (pow (log 2) 3))) (pow c 4))))
  (sqrt (log1p (cosh c)))
  (sqrt (log1p (cosh c)))
2.750 * * * [progress]: adding candidates to table
3.008 * [progress]: [Phase 3 of 3] Extracting.
3.008 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.013 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
3.013 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.086 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.150 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.229 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>)
3.255 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.322 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (cbrt (sqrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (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) (* (* (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (log (cbrt (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (* (cbrt (log1p (cosh c))) (cbrt (log1p (cosh c))))) (* (sqrt (cbrt (log1p (cosh c)))) (sqrt (log1p (cosh c)))))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (log (exp (sqrt (log1p (cosh c))))))) (log1p a)))))> #<alt (λ (a c) (fmod (expm1 (* (sqrt (log1p (cosh c))) (* (fabs (cbrt (log1p (cosh c)))) (sqrt (cbrt (log1p (cosh c))))))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (expm1 (* (* (cbrt (sqrt (log1p (cosh c)))) (cbrt (sqrt (log1p (cosh c))))) (pow (cbrt (sqrt (log1p (cosh c)))) 4))) (log1p a)))))>)
3.392 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
3.392 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))))
3.393 * [simplify]: Sending expressions to egg_math:
 (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh h0))) (sqrt (log1p (cosh h0))))) (log1p h1))))))
3.393 * * [simplify]: iteration  0 :  15  enodes  (cost  39 )
3.393 * * [simplify]: iteration  1 :  15  enodes  (cost  39 )
3.393 * [simplify]: Simplified to:
   (exp (* (* (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a)))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))) (cbrt (log (fmod (expm1 (* (sqrt (log1p (cosh c))) (sqrt (log1p (cosh c))))) (log1p a))))))
15.102 * [regime-testing]: Baseline error score: 34.758158392483075
15.102 * [regime-testing]: Oracle error score: 33.1663551183331
15.104 * [regime-testing]: End program error score: 34.758158392483075