6.671 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.350 * * * [progress]: [2/2] Setting up program.
0.353 * [progress]: [Phase 2 of 3] Improving.
0.353 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.355 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.356 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.357 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.359 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.360 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.361 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.362 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.364 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.366 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.374 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.577 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.578 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.578 * * [progress]: iteration 1 / 4
0.578 * * * [progress]: picking best candidate
0.580 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.580 * * * [progress]: localizing error
0.590 * * * [progress]: generating rewritten candidates
0.590 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.591 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.591 * * * [progress]: generating series expansions
0.592 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.592 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.594 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.594 * [taylor]: Taking taylor expansion of (cosh c) in c
0.594 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.594 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.594 * [taylor]: Taking taylor expansion of (exp c) in c
0.594 * [taylor]: Taking taylor expansion of c in c
0.594 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.594 * [taylor]: Taking taylor expansion of (- c) in c
0.594 * [taylor]: Taking taylor expansion of c in c
0.595 * [taylor]: Taking taylor expansion of 2 in c
0.596 * [taylor]: Taking taylor expansion of (cosh c) in c
0.596 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.596 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.596 * [taylor]: Taking taylor expansion of (exp c) in c
0.596 * [taylor]: Taking taylor expansion of c in c
0.596 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.596 * [taylor]: Taking taylor expansion of (- c) in c
0.596 * [taylor]: Taking taylor expansion of c in c
0.596 * [taylor]: Taking taylor expansion of 2 in c
0.614 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.614 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.614 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.614 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.614 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.614 * [taylor]: Taking taylor expansion of c in c
0.614 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.614 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.614 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.614 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of 2 in c
0.615 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.615 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.615 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.615 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.616 * [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 -1 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 -1 in c
0.627 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of 2 in c
0.628 * [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 -1 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 -1 in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.629 * [taylor]: Taking taylor expansion of 2 in c
0.639 * * * [progress]: simplifying candidates
0.639 * [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.642 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.644 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.647 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.663 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.771 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.772 * [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.772 * * * [progress]: adding candidates to table
0.833 * * [progress]: iteration 2 / 4
0.833 * * * [progress]: picking best candidate
0.849 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))>
0.849 * * * [progress]: localizing error
0.860 * * * [progress]: generating rewritten candidates
0.860 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.860 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.861 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.862 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.872 * * * [progress]: generating series expansions
0.872 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.872 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.875 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
0.875 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.875 * [taylor]: Taking taylor expansion of (cosh c) in c
0.875 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.875 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.875 * [taylor]: Taking taylor expansion of (exp c) in c
0.875 * [taylor]: Taking taylor expansion of c in c
0.875 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.875 * [taylor]: Taking taylor expansion of (- c) in c
0.875 * [taylor]: Taking taylor expansion of c in c
0.876 * [taylor]: Taking taylor expansion of 2 in c
0.879 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.879 * [taylor]: Taking taylor expansion of (cosh c) in c
0.879 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.879 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.879 * [taylor]: Taking taylor expansion of (exp c) in c
0.879 * [taylor]: Taking taylor expansion of c in c
0.879 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.879 * [taylor]: Taking taylor expansion of (- c) in c
0.879 * [taylor]: Taking taylor expansion of c in c
0.880 * [taylor]: Taking taylor expansion of 2 in c
0.898 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
0.898 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.898 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.898 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.898 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.898 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.898 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.898 * [taylor]: Taking taylor expansion of c in c
0.899 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.899 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.899 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.899 * [taylor]: Taking taylor expansion of c in c
0.899 * [taylor]: Taking taylor expansion of 2 in c
0.901 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.901 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.901 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.901 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.901 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.901 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.901 * [taylor]: Taking taylor expansion of c in c
0.901 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.901 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.901 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.901 * [taylor]: Taking taylor expansion of c in c
0.902 * [taylor]: Taking taylor expansion of 2 in c
0.916 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
0.916 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.916 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.917 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.917 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.917 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.917 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.917 * [taylor]: Taking taylor expansion of -1 in c
0.917 * [taylor]: Taking taylor expansion of c in c
0.917 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.917 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.917 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.917 * [taylor]: Taking taylor expansion of -1 in c
0.917 * [taylor]: Taking taylor expansion of c in c
0.918 * [taylor]: Taking taylor expansion of 2 in c
0.919 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.919 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.919 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.919 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.919 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.919 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.919 * [taylor]: Taking taylor expansion of -1 in c
0.919 * [taylor]: Taking taylor expansion of c in c
0.919 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.919 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.919 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.919 * [taylor]: Taking taylor expansion of -1 in c
0.919 * [taylor]: Taking taylor expansion of c in c
0.920 * [taylor]: Taking taylor expansion of 2 in c
0.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.938 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
0.938 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.938 * [taylor]: Taking taylor expansion of (cosh c) in c
0.938 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.938 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.938 * [taylor]: Taking taylor expansion of (exp c) in c
0.938 * [taylor]: Taking taylor expansion of c in c
0.938 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.938 * [taylor]: Taking taylor expansion of (- c) in c
0.938 * [taylor]: Taking taylor expansion of c in c
0.939 * [taylor]: Taking taylor expansion of 2 in c
0.942 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.942 * [taylor]: Taking taylor expansion of (cosh c) in c
0.942 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.942 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.942 * [taylor]: Taking taylor expansion of (exp c) in c
0.942 * [taylor]: Taking taylor expansion of c in c
0.942 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.942 * [taylor]: Taking taylor expansion of (- c) in c
0.942 * [taylor]: Taking taylor expansion of c in c
0.942 * [taylor]: Taking taylor expansion of 2 in c
0.961 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
0.961 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.961 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.961 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.961 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.961 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.961 * [taylor]: Taking taylor expansion of c in c
0.961 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.962 * [taylor]: Taking taylor expansion of c in c
0.962 * [taylor]: Taking taylor expansion of 2 in c
0.963 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.963 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.963 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.963 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.963 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.963 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.963 * [taylor]: Taking taylor expansion of c in c
0.964 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.964 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.964 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.964 * [taylor]: Taking taylor expansion of c in c
0.964 * [taylor]: Taking taylor expansion of 2 in c
0.979 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
0.979 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.979 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.979 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.979 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.979 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.979 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.979 * [taylor]: Taking taylor expansion of -1 in c
0.979 * [taylor]: Taking taylor expansion of c in c
0.980 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.980 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.980 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.980 * [taylor]: Taking taylor expansion of -1 in c
0.980 * [taylor]: Taking taylor expansion of c in c
0.980 * [taylor]: Taking taylor expansion of 2 in c
0.982 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.982 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.982 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.982 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.982 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.982 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.982 * [taylor]: Taking taylor expansion of -1 in c
0.982 * [taylor]: Taking taylor expansion of c in c
0.982 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.982 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.982 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.982 * [taylor]: Taking taylor expansion of -1 in c
0.982 * [taylor]: Taking taylor expansion of c in c
0.983 * [taylor]: Taking taylor expansion of 2 in c
0.997 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.997 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.997 * [taylor]: Taking taylor expansion of (cosh c) in c
0.997 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.997 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.997 * [taylor]: Taking taylor expansion of (exp c) in c
0.997 * [taylor]: Taking taylor expansion of c in c
0.997 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.997 * [taylor]: Taking taylor expansion of (- c) in c
0.997 * [taylor]: Taking taylor expansion of c in c
0.998 * [taylor]: Taking taylor expansion of 2 in c
0.998 * [taylor]: Taking taylor expansion of (cosh c) in c
0.998 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.998 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.998 * [taylor]: Taking taylor expansion of (exp c) in c
0.998 * [taylor]: Taking taylor expansion of c in c
0.998 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.998 * [taylor]: Taking taylor expansion of (- c) in c
0.999 * [taylor]: Taking taylor expansion of c in c
0.999 * [taylor]: Taking taylor expansion of 2 in c
1.018 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.018 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.018 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.018 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.018 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.018 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.018 * [taylor]: Taking taylor expansion of c in c
1.018 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.018 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.018 * [taylor]: Taking taylor expansion of c in c
1.019 * [taylor]: Taking taylor expansion of 2 in c
1.019 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.019 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.019 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.019 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.019 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.019 * [taylor]: Taking taylor expansion of c in c
1.019 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.019 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.019 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.019 * [taylor]: Taking taylor expansion of c in c
1.020 * [taylor]: Taking taylor expansion of 2 in c
1.030 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.030 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.030 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.030 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.030 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.030 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.030 * [taylor]: Taking taylor expansion of -1 in c
1.030 * [taylor]: Taking taylor expansion of c in c
1.031 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.031 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.031 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.031 * [taylor]: Taking taylor expansion of -1 in c
1.031 * [taylor]: Taking taylor expansion of c in c
1.031 * [taylor]: Taking taylor expansion of 2 in c
1.031 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.032 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.032 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.032 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.032 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.032 * [taylor]: Taking taylor expansion of -1 in c
1.032 * [taylor]: Taking taylor expansion of c in c
1.032 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.032 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.032 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.032 * [taylor]: Taking taylor expansion of -1 in c
1.032 * [taylor]: Taking taylor expansion of c in c
1.033 * [taylor]: Taking taylor expansion of 2 in c
1.042 * * * [progress]: simplifying candidates
1.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c)))
  (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt 1)
  (sqrt (cosh c))
  (sqrt (+ (exp c) (exp (- c))))
  (sqrt 2)
  (/ 1 2)
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c)))
  (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt 1)
  (sqrt (cosh c))
  (sqrt (+ (exp c) (exp (- c))))
  (sqrt 2)
  (/ 1 2)
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (expm1 (* (sqrt (cosh c)) (sqrt (cosh c))))
  (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (cosh c) (cosh c))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (cosh c) (cosh c))
  (+ 1 1)
  (+ (log (sqrt (cosh c))) (log (sqrt (cosh c))))
  (log (* (sqrt (cosh c)) (sqrt (cosh c))))
  (exp (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))) (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))))
  (* (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))) (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))))
  (cbrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (* (sqrt (cosh c)) (sqrt (cosh c)))) (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (cosh c) (cosh c))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt 2) (sqrt 2))
  (* (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (* (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cbrt (cosh c))) (sqrt (cbrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 1 1)
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (cosh c)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) 1)
  (* (cbrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cbrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/4 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (- (+ (* 1/4 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (+ (* 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.048 * * [simplify]: iteration  0 :  183  enodes  (cost  465 )
1.052 * * [simplify]: iteration  1 :  709  enodes  (cost  417 )
1.076 * * [simplify]: iteration  2 :  5001  enodes  (cost  391 )
1.078 * [simplify]: Simplified to:
   (expm1 (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (pow (sqrt (cosh c)) 3)
  (fabs (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  1
  (sqrt (cosh c))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt 2)
  1/2
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (pow (sqrt (cosh c)) 3)
  (fabs (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  1
  (sqrt (cosh c))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt 2)
  1/2
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (expm1 (* (sqrt (cosh c)) (sqrt (cosh c))))
  (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))
  1
  1
  2
  1
  1
  (* (cosh c) (cosh c))
  (cosh c)
  (* (cosh c) (cosh c))
  2
  (log (cosh c))
  (log (cosh c))
  (exp (cosh c))
  (pow (cosh c) 3)
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (* (cosh c) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (* (cosh c) 2)
  2
  (pow (cbrt (sqrt (cosh c))) 4)
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  (cosh c)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  (cosh c)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  2
  1
  (* (pow (cbrt (sqrt (cosh c))) 4) (cbrt (sqrt (cosh c))))
  (* (fabs (cbrt (cosh c))) (sqrt (cosh c)))
  (pow (sqrt (sqrt (cosh c))) 3)
  (sqrt (cosh c))
  (pow (sqrt (sqrt (cosh c))) 3)
  (sqrt (cosh c))
  (pow (cbrt (sqrt (cosh c))) 4)
  (* (sqrt (cbrt (cosh c))) (sqrt (cosh c)))
  (pow (sqrt (sqrt (cosh c))) 3)
  (cosh c)
  (pow (sqrt (sqrt (cosh c))) 3)
  (cosh c)
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow c 2) 1/4 (- 1 (* 1/96 (pow c 4))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (fma (pow c 2) 1/4 (- 1 (* 1/96 (pow c 4))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.078 * * * [progress]: adding candidates to table
1.296 * * [progress]: iteration 3 / 4
1.296 * * * [progress]: picking best candidate
1.321 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))>
1.321 * * * [progress]: localizing error
1.338 * * * [progress]: generating rewritten candidates
1.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.338 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
1.366 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.368 * * * [progress]: generating series expansions
1.369 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.369 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in (c a) around 0
1.369 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
1.370 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
1.370 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
1.371 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
1.372 * [taylor]: Taking taylor expansion of 0 in a
1.372 * [taylor]: Taking taylor expansion of 0 in a
1.372 * [taylor]: Taking taylor expansion of 0 in a
1.373 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in (c a) around 0
1.373 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in a
1.373 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
1.373 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
1.374 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ 1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ 1 a))) in a
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in (c a) around 0
1.376 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
1.376 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
1.377 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
1.377 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.380 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
1.380 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
1.380 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.380 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.380 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.380 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.380 * [taylor]: Taking taylor expansion of -1 in c
1.380 * [taylor]: Taking taylor expansion of c in c
1.380 * [taylor]: Taking taylor expansion of (exp c) in c
1.380 * [taylor]: Taking taylor expansion of c in c
1.383 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.383 * [taylor]: Taking taylor expansion of 1/2 in c
1.383 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
1.383 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.383 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.383 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.383 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.383 * [taylor]: Taking taylor expansion of -1 in c
1.383 * [taylor]: Taking taylor expansion of c in c
1.384 * [taylor]: Taking taylor expansion of (exp c) in c
1.384 * [taylor]: Taking taylor expansion of c in c
1.386 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.386 * [taylor]: Taking taylor expansion of 1/2 in c
1.435 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
1.435 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.435 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.435 * [taylor]: Taking taylor expansion of 1/2 in c
1.436 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.436 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.436 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.436 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.436 * [taylor]: Taking taylor expansion of c in c
1.436 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.437 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.437 * [taylor]: Taking taylor expansion of -1 in c
1.437 * [taylor]: Taking taylor expansion of c in c
1.443 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.443 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.443 * [taylor]: Taking taylor expansion of 1/2 in c
1.444 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.444 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.444 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.444 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.444 * [taylor]: Taking taylor expansion of c in c
1.444 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.444 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.444 * [taylor]: Taking taylor expansion of -1 in c
1.444 * [taylor]: Taking taylor expansion of c in c
1.460 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
1.460 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.460 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.460 * [taylor]: Taking taylor expansion of 1/2 in c
1.461 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.461 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.461 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.461 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.461 * [taylor]: Taking taylor expansion of c in c
1.461 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.461 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.461 * [taylor]: Taking taylor expansion of -1 in c
1.461 * [taylor]: Taking taylor expansion of c in c
1.462 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.462 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.462 * [taylor]: Taking taylor expansion of 1/2 in c
1.463 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.463 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.463 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.463 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.463 * [taylor]: Taking taylor expansion of c in c
1.463 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.463 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.463 * [taylor]: Taking taylor expansion of -1 in c
1.463 * [taylor]: Taking taylor expansion of c in c
1.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
1.478 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in (c) around 0
1.478 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.478 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.478 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.478 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.478 * [taylor]: Taking taylor expansion of -1 in c
1.478 * [taylor]: Taking taylor expansion of c in c
1.479 * [taylor]: Taking taylor expansion of (exp c) in c
1.479 * [taylor]: Taking taylor expansion of c in c
1.481 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.481 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.481 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.481 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.481 * [taylor]: Taking taylor expansion of -1 in c
1.481 * [taylor]: Taking taylor expansion of c in c
1.482 * [taylor]: Taking taylor expansion of (exp c) in c
1.482 * [taylor]: Taking taylor expansion of c in c
1.510 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in (c) around 0
1.510 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.510 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.510 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.510 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.510 * [taylor]: Taking taylor expansion of c in c
1.510 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.510 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.510 * [taylor]: Taking taylor expansion of -1 in c
1.510 * [taylor]: Taking taylor expansion of c in c
1.511 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.511 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.511 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.511 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.511 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.511 * [taylor]: Taking taylor expansion of -1 in c
1.511 * [taylor]: Taking taylor expansion of c in c
1.516 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in (c) around 0
1.516 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.516 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.516 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.516 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.516 * [taylor]: Taking taylor expansion of c in c
1.517 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.517 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.517 * [taylor]: Taking taylor expansion of -1 in c
1.517 * [taylor]: Taking taylor expansion of c in c
1.518 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.518 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.518 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.518 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.518 * [taylor]: Taking taylor expansion of c in c
1.518 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.518 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.518 * [taylor]: Taking taylor expansion of -1 in c
1.518 * [taylor]: Taking taylor expansion of c in c
1.527 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.527 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
1.527 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
1.527 * [taylor]: Taking taylor expansion of (cosh c) in c
1.528 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.528 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.528 * [taylor]: Taking taylor expansion of (exp c) in c
1.528 * [taylor]: Taking taylor expansion of c in c
1.528 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.528 * [taylor]: Taking taylor expansion of (- c) in c
1.528 * [taylor]: Taking taylor expansion of c in c
1.528 * [taylor]: Taking taylor expansion of 2 in c
1.531 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
1.532 * [taylor]: Taking taylor expansion of (cosh c) in c
1.532 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.532 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.532 * [taylor]: Taking taylor expansion of (exp c) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.532 * [taylor]: Taking taylor expansion of (- c) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of 2 in c
1.551 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
1.551 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
1.551 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.551 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.551 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.551 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.551 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.551 * [taylor]: Taking taylor expansion of c in c
1.552 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.552 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.552 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.552 * [taylor]: Taking taylor expansion of c in c
1.552 * [taylor]: Taking taylor expansion of 2 in c
1.554 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
1.554 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.554 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.554 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.554 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.554 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.554 * [taylor]: Taking taylor expansion of c in c
1.554 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.554 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.554 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.554 * [taylor]: Taking taylor expansion of c in c
1.555 * [taylor]: Taking taylor expansion of 2 in c
1.569 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
1.569 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
1.569 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.570 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.570 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.570 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.570 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.570 * [taylor]: Taking taylor expansion of -1 in c
1.570 * [taylor]: Taking taylor expansion of c in c
1.570 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.570 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.570 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.570 * [taylor]: Taking taylor expansion of -1 in c
1.570 * [taylor]: Taking taylor expansion of c in c
1.571 * [taylor]: Taking taylor expansion of 2 in c
1.572 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
1.572 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.572 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.572 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.572 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.572 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.572 * [taylor]: Taking taylor expansion of -1 in c
1.572 * [taylor]: Taking taylor expansion of c in c
1.572 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.572 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.572 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.572 * [taylor]: Taking taylor expansion of -1 in c
1.572 * [taylor]: Taking taylor expansion of c in c
1.573 * [taylor]: Taking taylor expansion of 2 in c
1.588 * * * [progress]: simplifying candidates
1.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (+ (log (sqrt (+ (exp (* -1 c)) (exp c)))) (log (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (+ (exp (* -1 c)) (exp c)))) (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)))
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (* (cbrt 1/2) (cbrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) 1)
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (expm1 (sqrt (+ (exp (* -1 c)) (exp c))))
  (log1p (sqrt (+ (exp (* -1 c)) (exp c))))
  (log (sqrt (+ (exp (* -1 c)) (exp c))))
  (exp (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))))
  (cbrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (* (cbrt (+ (exp (* -1 c)) (exp c))) (cbrt (+ (exp (* -1 c)) (exp c)))))
  (sqrt (cbrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt 1)
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt 1)
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3)))
  (sqrt (+ (* (exp (* -1 c)) (exp (* -1 c))) (- (* (exp c) (exp c)) (* (exp (* -1 c)) (exp c)))))
  (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c))))
  (sqrt (- (exp (* -1 c)) (exp c)))
  (/ 1 2)
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c)))
  (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt 1)
  (sqrt (cosh c))
  (sqrt (+ (exp c) (exp (- c))))
  (sqrt 2)
  (/ 1 2)
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (- (+ (* 1/24 (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2))) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (sqrt 2) (sqrt 1/2)))) (* 1/8 (/ (* (sqrt 1/2) (pow c 4)) (pow (sqrt 2) 3))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (- (+ (* 1/2 (/ (pow c 2) (sqrt 2))) (+ (sqrt 2) (* 1/24 (/ (pow c 4) (sqrt 2))))) (* 1/8 (/ (pow c 4) (pow (sqrt 2) 3))))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (- (+ (* 1/4 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
1.595 * * [simplify]: iteration  0 :  302  enodes  (cost  787 )
1.600 * * [simplify]: iteration  1 :  1008  enodes  (cost  730 )
1.621 * * [simplify]: iteration  2 :  5002  enodes  (cost  715 )
1.624 * [simplify]: Simplified to:
   (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (cosh c)
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (cosh c)
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) 3)
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) 3)
  (cosh c)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (fabs (cbrt 1/2)) (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (expm1 (sqrt (+ (exp (* -1 c)) (exp c))))
  (log1p (sqrt (+ (exp (* -1 c)) (exp c))))
  (log (sqrt (+ (exp (* -1 c)) (exp c))))
  (exp (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))))
  (cbrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (pow (sqrt (+ (exp (* -1 c)) (exp c))) 3)
  (fabs (cbrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (cbrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  1
  (sqrt (+ (exp (* -1 c)) (exp c)))
  1
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (hypot (pow (exp c) 3/2) (pow (exp (* -1 c)) 3/2))
  (sqrt (+ (* (exp (* -1 c)) (exp (* -1 c))) (- (* (exp c) (exp c)) (* (exp (* -1 c)) (exp c)))))
  (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c))))
  (sqrt (- (exp (* -1 c)) (exp c)))
  1/2
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (sqrt (sqrt (+ (exp (* -1 c)) (exp c))))
  (expm1 (sqrt (cosh c)))
  (log1p (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (exp (sqrt (cosh c)))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (cosh c)))
  (pow (sqrt (cosh c)) 3)
  (fabs (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  1
  (sqrt (cosh c))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt 2)
  1/2
  (sqrt (sqrt (cosh c)))
  (sqrt (sqrt (cosh c)))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (+ (* 1/2 (/ (pow c 2) (sqrt 2))) (+ (sqrt 2) (* (/ (pow c 4) (sqrt 2)) -1/48)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (fma (pow c 2) 1/4 (- 1 (* 1/96 (pow c 4))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))
1.624 * * * [progress]: adding candidates to table
1.947 * * [progress]: iteration 4 / 4
1.948 * * * [progress]: picking best candidate
1.997 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>
1.997 * * * [progress]: localizing error
2.016 * * * [progress]: generating rewritten candidates
2.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.016 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.016 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
2.037 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
2.058 * * * [progress]: generating series expansions
2.058 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.059 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in (c a) around 0
2.059 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.059 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.060 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.060 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.061 * [taylor]: Taking taylor expansion of 0 in a
2.061 * [taylor]: Taking taylor expansion of 0 in a
2.061 * [taylor]: Taking taylor expansion of 0 in a
2.062 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in (c a) around 0
2.062 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in a
2.062 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
2.063 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
2.063 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ 1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ 1 a))) in a
2.064 * [taylor]: Taking taylor expansion of 0 in a
2.064 * [taylor]: Taking taylor expansion of 0 in a
2.064 * [taylor]: Taking taylor expansion of 0 in a
2.066 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in (c a) around 0
2.066 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
2.066 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
2.066 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
2.067 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * [taylor]: Taking taylor expansion of 0 in a
2.068 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.069 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in (c a) around 0
2.069 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.069 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.070 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.070 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.072 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in (c a) around 0
2.072 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in a
2.072 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
2.073 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (cosh (/ 1 c)))) (sqrt 1/2)) (log1p (/ 1 a))) in c
2.073 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ 1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ 1 a))) in a
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.075 * [approximate]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in (c a) around 0
2.075 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
2.076 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
2.076 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in c
2.077 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh (/ -1 c)) (+ (exp (/ 1 c)) (exp (/ -1 c))))) (sqrt 1/2)) (log1p (/ -1 a))) in a
2.078 * [taylor]: Taking taylor expansion of 0 in a
2.078 * [taylor]: Taking taylor expansion of 0 in a
2.078 * [taylor]: Taking taylor expansion of 0 in a
2.078 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
2.079 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
2.079 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.079 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.079 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.079 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.079 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.079 * [taylor]: Taking taylor expansion of -1 in c
2.079 * [taylor]: Taking taylor expansion of c in c
2.080 * [taylor]: Taking taylor expansion of (exp c) in c
2.080 * [taylor]: Taking taylor expansion of c in c
2.082 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.082 * [taylor]: Taking taylor expansion of 1/2 in c
2.083 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.083 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.083 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.083 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.083 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.083 * [taylor]: Taking taylor expansion of -1 in c
2.083 * [taylor]: Taking taylor expansion of c in c
2.083 * [taylor]: Taking taylor expansion of (exp c) in c
2.083 * [taylor]: Taking taylor expansion of c in c
2.085 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.086 * [taylor]: Taking taylor expansion of 1/2 in c
2.139 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.139 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.139 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.139 * [taylor]: Taking taylor expansion of 1/2 in c
2.140 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.140 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.140 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.140 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.140 * [taylor]: Taking taylor expansion of c in c
2.140 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.140 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.140 * [taylor]: Taking taylor expansion of -1 in c
2.140 * [taylor]: Taking taylor expansion of c in c
2.141 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.141 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.141 * [taylor]: Taking taylor expansion of 1/2 in c
2.141 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.142 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.142 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.142 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.142 * [taylor]: Taking taylor expansion of c in c
2.142 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.142 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.142 * [taylor]: Taking taylor expansion of -1 in c
2.142 * [taylor]: Taking taylor expansion of c in c
2.157 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.158 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.158 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.158 * [taylor]: Taking taylor expansion of 1/2 in c
2.158 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.158 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.158 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.158 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.158 * [taylor]: Taking taylor expansion of c in c
2.159 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.159 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.159 * [taylor]: Taking taylor expansion of -1 in c
2.159 * [taylor]: Taking taylor expansion of c in c
2.159 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.159 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.159 * [taylor]: Taking taylor expansion of 1/2 in c
2.160 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.160 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.160 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.160 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.160 * [taylor]: Taking taylor expansion of c in c
2.160 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.161 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.161 * [taylor]: Taking taylor expansion of -1 in c
2.161 * [taylor]: Taking taylor expansion of c in c
2.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.176 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
2.176 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.176 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.176 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.176 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.176 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.176 * [taylor]: Taking taylor expansion of -1 in c
2.176 * [taylor]: Taking taylor expansion of c in c
2.177 * [taylor]: Taking taylor expansion of (exp c) in c
2.177 * [taylor]: Taking taylor expansion of c in c
2.179 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.179 * [taylor]: Taking taylor expansion of 1/2 in c
2.180 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.180 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.180 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.180 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.180 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.180 * [taylor]: Taking taylor expansion of -1 in c
2.180 * [taylor]: Taking taylor expansion of c in c
2.180 * [taylor]: Taking taylor expansion of (exp c) in c
2.180 * [taylor]: Taking taylor expansion of c in c
2.183 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.183 * [taylor]: Taking taylor expansion of 1/2 in c
2.237 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.237 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.237 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.237 * [taylor]: Taking taylor expansion of 1/2 in c
2.238 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.238 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.238 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.238 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.238 * [taylor]: Taking taylor expansion of c in c
2.238 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.238 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.238 * [taylor]: Taking taylor expansion of -1 in c
2.239 * [taylor]: Taking taylor expansion of c in c
2.239 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.239 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.239 * [taylor]: Taking taylor expansion of 1/2 in c
2.240 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.240 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.240 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.240 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.240 * [taylor]: Taking taylor expansion of c in c
2.240 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.240 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.240 * [taylor]: Taking taylor expansion of -1 in c
2.240 * [taylor]: Taking taylor expansion of c in c
2.256 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.256 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.256 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.256 * [taylor]: Taking taylor expansion of 1/2 in c
2.257 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.257 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.257 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.257 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.257 * [taylor]: Taking taylor expansion of c in c
2.257 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.257 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.257 * [taylor]: Taking taylor expansion of -1 in c
2.257 * [taylor]: Taking taylor expansion of c in c
2.258 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.258 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.258 * [taylor]: Taking taylor expansion of 1/2 in c
2.259 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.259 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.259 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.259 * [taylor]: Taking taylor expansion of c in c
2.259 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.259 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.259 * [taylor]: Taking taylor expansion of -1 in c
2.259 * [taylor]: Taking taylor expansion of c in c
2.279 * * * [progress]: simplifying candidates
2.282 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (+ (log (sqrt (+ (exp (* -1 c)) (exp c)))) (log (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (+ (exp (* -1 c)) (exp c)))) (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)))
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (* (cbrt 1/2) (cbrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) 1)
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (+ (log (sqrt (+ (exp (* -1 c)) (exp c)))) (log (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (+ (exp (* -1 c)) (exp c)))) (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)))
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (+ (exp (* -1 c)) (exp c)) 1/2)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (* (cbrt 1/2) (cbrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) 1)
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (- (+ (* 1/24 (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2))) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (sqrt 2) (sqrt 1/2)))) (* 1/8 (/ (* (sqrt 1/2) (pow c 4)) (pow (sqrt 2) 3))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (- (+ (* 1/24 (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2))) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (sqrt 2) (sqrt 1/2)))) (* 1/8 (/ (* (sqrt 1/2) (pow c 4)) (pow (sqrt 2) 3))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
2.287 * * [simplify]: iteration  0 :  214  enodes  (cost  1098 )
2.291 * * [simplify]: iteration  1 :  692  enodes  (cost  1026 )
2.305 * * [simplify]: iteration  2 :  3209  enodes  (cost  984 )
2.381 * * [simplify]: iteration  3 :  5003  enodes  (cost  982 )
2.385 * [simplify]: Simplified to:
   (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (cosh c)
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (cosh c)
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) 3)
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) 3)
  (cosh c)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (fabs (cbrt 1/2)) (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (expm1 (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log1p (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (cosh c)
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (cosh c)
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (log (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (exp (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) 3)
  (* (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))))
  (cbrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (pow (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) 3)
  (cosh c)
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (sqrt (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (* (cbrt (sqrt 1/2)) (cbrt (sqrt 1/2))))
  (* (fabs (cbrt 1/2)) (sqrt (+ (exp (* -1 c)) (exp c))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt (sqrt 1/2)))
  (sqrt (+ (exp (* -1 c)) (exp c)))
  (* (cbrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (cbrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (pow (exp (* -1 c)) 3) (pow (exp c) 3))) (sqrt 1/2))
  (* (sqrt (- (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp c)))) (sqrt 1/2))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a))
  (fma (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48 (fma 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2)) (* (sqrt 2) (sqrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (fma (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48 (fma 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2)) (* (sqrt 2) (sqrt 1/2))))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
2.385 * * * [progress]: adding candidates to table
2.816 * [progress]: [Phase 3 of 3] Extracting.
2.816 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
2.821 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.821 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
2.892 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
2.955 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))>)
2.981 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
3.058 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
3.087 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
3.154 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (pow (sqrt (sqrt (cosh c))) 3) (sqrt (sqrt (cosh c)))) (log1p a)))> #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (+ (* (sqrt 2) (sqrt 1/2)) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))) (log1p a)))> #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))) (cbrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))> #<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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)) 3)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (sqrt (cosh c)) (* (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))) (* (sqrt (sqrt (+ (exp (* -1 c)) (exp c)))) (sqrt (sqrt 1/2))))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a)))))>)
3.222 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
3.222 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
3.223 * * [simplify]: iteration  0 :  23  enodes  (cost  27 )
3.223 * * [simplify]: iteration  1 :  23  enodes  (cost  27 )
3.223 * [simplify]: Simplified to:
   (* (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))) (log1p a))))
14.793 * [regime-testing]: Baseline error score: 33.712886248286786
14.793 * [regime-testing]: Oracle error score: 32.76984153454999
14.795 * [regime-testing]: End program error score: 33.712886248286786