8.057 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.373 * * * [progress]: [2/2] Setting up program.
0.376 * [progress]: [Phase 2 of 3] Improving.
0.376 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.378 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.379 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.381 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.382 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.383 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.384 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.386 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.387 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.389 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.396 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.598 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.600 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.600 * * [progress]: iteration 1 / 4
0.600 * * * [progress]: picking best candidate
0.602 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.602 * * * [progress]: localizing error
0.609 * * * [progress]: generating rewritten candidates
0.609 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.609 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.610 * * * [progress]: generating series expansions
0.610 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.610 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.610 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.610 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.610 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.611 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.611 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.611 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.611 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.611 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.612 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.612 * [taylor]: Taking taylor expansion of 0 in a
0.612 * [taylor]: Taking taylor expansion of 0 in a
0.612 * [taylor]: Taking taylor expansion of 0 in a
0.612 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.612 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.612 * [taylor]: Taking taylor expansion of (cosh c) in c
0.613 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.613 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.613 * [taylor]: Taking taylor expansion of (exp c) in c
0.613 * [taylor]: Taking taylor expansion of c in c
0.613 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.613 * [taylor]: Taking taylor expansion of (- c) in c
0.613 * [taylor]: Taking taylor expansion of c in c
0.613 * [taylor]: Taking taylor expansion of 2 in c
0.614 * [taylor]: Taking taylor expansion of (cosh c) in c
0.614 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.614 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.614 * [taylor]: Taking taylor expansion of (exp c) in c
0.614 * [taylor]: Taking taylor expansion of c in c
0.614 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.614 * [taylor]: Taking taylor expansion of (- c) in c
0.614 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of 2 in c
0.637 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.637 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.637 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.637 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.637 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.637 * [taylor]: Taking taylor expansion of c in c
0.637 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.637 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.637 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.637 * [taylor]: Taking taylor expansion of c in c
0.638 * [taylor]: Taking taylor expansion of 2 in c
0.638 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.638 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.638 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.638 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.638 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.639 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.639 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.639 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of 2 in c
0.650 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.650 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.650 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.650 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.650 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.650 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.650 * [taylor]: Taking taylor expansion of -1 in c
0.650 * [taylor]: Taking taylor expansion of c in c
0.651 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.651 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.651 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.651 * [taylor]: Taking taylor expansion of -1 in c
0.651 * [taylor]: Taking taylor expansion of c in c
0.651 * [taylor]: Taking taylor expansion of 2 in c
0.651 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.652 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.652 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.652 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.652 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.652 * [taylor]: Taking taylor expansion of -1 in c
0.652 * [taylor]: Taking taylor expansion of c in c
0.652 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.652 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.652 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.652 * [taylor]: Taking taylor expansion of -1 in c
0.652 * [taylor]: Taking taylor expansion of c in c
0.653 * [taylor]: Taking taylor expansion of 2 in c
0.663 * * * [progress]: simplifying candidates
0.663 * [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.666 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.668 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.672 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.688 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.803 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.804 * [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.804 * * * [progress]: adding candidates to table
0.866 * * [progress]: iteration 2 / 4
0.866 * * * [progress]: picking best candidate
0.883 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.883 * * * [progress]: localizing error
0.892 * * * [progress]: generating rewritten candidates
0.892 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.892 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.892 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.899 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.902 * * * [progress]: generating series expansions
0.902 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.902 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.902 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.903 * [taylor]: Taking taylor expansion of 0 in a
0.903 * [taylor]: Taking taylor expansion of 0 in a
0.903 * [taylor]: Taking taylor expansion of 0 in a
0.903 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.904 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.906 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.907 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.907 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.907 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.907 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.908 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.908 * [taylor]: Taking taylor expansion of 0 in a
0.908 * [taylor]: Taking taylor expansion of 0 in a
0.908 * [taylor]: Taking taylor expansion of 0 in a
0.908 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.908 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.908 * [taylor]: Taking taylor expansion of (cosh c) in c
0.908 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.908 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.908 * [taylor]: Taking taylor expansion of (exp c) in c
0.908 * [taylor]: Taking taylor expansion of c in c
0.909 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.909 * [taylor]: Taking taylor expansion of (- c) in c
0.909 * [taylor]: Taking taylor expansion of c in c
0.909 * [taylor]: Taking taylor expansion of 2 in c
0.910 * [taylor]: Taking taylor expansion of (cosh c) in c
0.910 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.910 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.910 * [taylor]: Taking taylor expansion of (exp c) in c
0.910 * [taylor]: Taking taylor expansion of c in c
0.910 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.910 * [taylor]: Taking taylor expansion of (- c) in c
0.910 * [taylor]: Taking taylor expansion of c in c
0.910 * [taylor]: Taking taylor expansion of 2 in c
0.931 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.931 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.931 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.931 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.931 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.931 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.931 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.931 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.931 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.932 * [taylor]: Taking taylor expansion of 2 in c
0.932 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.932 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.932 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.932 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.932 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.932 * [taylor]: Taking taylor expansion of c in c
0.932 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.933 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.933 * [taylor]: Taking taylor expansion of c in c
0.933 * [taylor]: Taking taylor expansion of 2 in c
0.944 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.944 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.944 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.944 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.944 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.944 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.944 * [taylor]: Taking taylor expansion of -1 in c
0.944 * [taylor]: Taking taylor expansion of c in c
0.944 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.944 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.944 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.944 * [taylor]: Taking taylor expansion of -1 in c
0.944 * [taylor]: Taking taylor expansion of c in c
0.945 * [taylor]: Taking taylor expansion of 2 in c
0.945 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.945 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.945 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.945 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.945 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.945 * [taylor]: Taking taylor expansion of -1 in c
0.945 * [taylor]: Taking taylor expansion of c in c
0.946 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.946 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.946 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.946 * [taylor]: Taking taylor expansion of -1 in c
0.946 * [taylor]: Taking taylor expansion of c in c
0.946 * [taylor]: Taking taylor expansion of 2 in c
0.957 * * * [progress]: simplifying candidates
0.958 * [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 (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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.962 * * [simplify]: iteration  0 :  157  enodes  (cost  471 )
0.966 * * [simplify]: iteration  1 :  581  enodes  (cost  411 )
0.981 * * [simplify]: iteration  2 :  3253  enodes  (cost  381 )
1.093 * * [simplify]: iteration  3 :  5001  enodes  (cost  363 )
1.095 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (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 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (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 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.096 * * * [progress]: adding candidates to table
1.276 * * [progress]: iteration 3 / 4
1.276 * * * [progress]: picking best candidate
1.315 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))>
1.315 * * * [progress]: localizing error
1.328 * * * [progress]: generating rewritten candidates
1.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.329 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.329 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.336 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.346 * * * [progress]: generating series expansions
1.346 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.347 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.347 * [taylor]: Taking taylor expansion of 0 in a
1.347 * [taylor]: Taking taylor expansion of 0 in a
1.347 * [taylor]: Taking taylor expansion of 0 in a
1.347 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.348 * [taylor]: Taking taylor expansion of 0 in a
1.348 * [taylor]: Taking taylor expansion of 0 in a
1.348 * [taylor]: Taking taylor expansion of 0 in a
1.348 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.349 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.349 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.349 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.349 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.349 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.349 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.350 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.351 * [taylor]: Taking taylor expansion of 0 in a
1.351 * [taylor]: Taking taylor expansion of 0 in a
1.351 * [taylor]: Taking taylor expansion of 0 in a
1.351 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.351 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.351 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.352 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.354 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.354 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.354 * [taylor]: Taking taylor expansion of (cosh c) in c
1.354 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.354 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.354 * [taylor]: Taking taylor expansion of (exp c) in c
1.354 * [taylor]: Taking taylor expansion of c in c
1.354 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.354 * [taylor]: Taking taylor expansion of (- c) in c
1.354 * [taylor]: Taking taylor expansion of c in c
1.355 * [taylor]: Taking taylor expansion of 2 in c
1.355 * [taylor]: Taking taylor expansion of (cosh c) in c
1.355 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.355 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.355 * [taylor]: Taking taylor expansion of (exp c) in c
1.355 * [taylor]: Taking taylor expansion of c in c
1.355 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.355 * [taylor]: Taking taylor expansion of (- c) in c
1.355 * [taylor]: Taking taylor expansion of c in c
1.356 * [taylor]: Taking taylor expansion of 2 in c
1.373 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.373 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.373 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.373 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.373 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.373 * [taylor]: Taking taylor expansion of c in c
1.374 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.374 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.374 * [taylor]: Taking taylor expansion of c in c
1.375 * [taylor]: Taking taylor expansion of 2 in c
1.375 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.375 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.375 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.375 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.375 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.375 * [taylor]: Taking taylor expansion of c in c
1.375 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.375 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.375 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.375 * [taylor]: Taking taylor expansion of c in c
1.376 * [taylor]: Taking taylor expansion of 2 in c
1.389 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.389 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.390 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.390 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.390 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.390 * [taylor]: Taking taylor expansion of -1 in c
1.390 * [taylor]: Taking taylor expansion of c in c
1.390 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.390 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.390 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.390 * [taylor]: Taking taylor expansion of -1 in c
1.390 * [taylor]: Taking taylor expansion of c in c
1.391 * [taylor]: Taking taylor expansion of 2 in c
1.391 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.391 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.391 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.391 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.391 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.391 * [taylor]: Taking taylor expansion of -1 in c
1.391 * [taylor]: Taking taylor expansion of c in c
1.391 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.391 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.391 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.391 * [taylor]: Taking taylor expansion of -1 in c
1.391 * [taylor]: Taking taylor expansion of c in c
1.392 * [taylor]: Taking taylor expansion of 2 in c
1.403 * * * [progress]: simplifying candidates
1.404 * [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 (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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (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)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))) (cbrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
1.409 * * [simplify]: iteration  0 :  238  enodes  (cost  686 )
1.414 * * [simplify]: iteration  1 :  921  enodes  (cost  505 )
1.439 * * [simplify]: iteration  2 :  5001  enodes  (cost  465 )
1.442 * [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 (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 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (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))
  (+ (exp c) (exp (- c)))
  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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (fma (exp c) 1/2 (/ 1/2 (exp c)))
  (fma (exp c) 1/2 (/ 1/2 (exp c)))
1.443 * * * [progress]: adding candidates to table
1.689 * * [progress]: iteration 4 / 4
1.689 * * * [progress]: picking best candidate
1.729 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))>
1.729 * * * [progress]: localizing error
1.746 * * * [progress]: generating rewritten candidates
1.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.746 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.746 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.747 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2)
1.748 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.749 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.749 * [taylor]: Taking taylor expansion of 0 in a
1.749 * [taylor]: Taking taylor expansion of 0 in a
1.749 * [taylor]: Taking taylor expansion of 0 in a
1.749 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.749 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.750 * [taylor]: Taking taylor expansion of 0 in a
1.750 * [taylor]: Taking taylor expansion of 0 in a
1.750 * [taylor]: Taking taylor expansion of 0 in a
1.750 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.751 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.751 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.751 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.751 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.751 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.753 * [taylor]: Taking taylor expansion of 0 in a
1.753 * [taylor]: Taking taylor expansion of 0 in a
1.753 * [taylor]: Taking taylor expansion of 0 in a
1.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.753 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/3) in (c) around 0
1.753 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.753 * [taylor]: Taking taylor expansion of 1/3 in c
1.753 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.753 * [taylor]: Taking taylor expansion of (cosh c) in c
1.753 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.753 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.753 * [taylor]: Taking taylor expansion of (exp c) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.753 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.753 * [taylor]: Taking taylor expansion of (- c) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.754 * [taylor]: Taking taylor expansion of 2 in c
1.764 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.764 * [taylor]: Taking taylor expansion of 1/3 in c
1.764 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.764 * [taylor]: Taking taylor expansion of (cosh c) in c
1.764 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.764 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.764 * [taylor]: Taking taylor expansion of (exp c) in c
1.764 * [taylor]: Taking taylor expansion of c in c
1.764 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.764 * [taylor]: Taking taylor expansion of (- c) in c
1.764 * [taylor]: Taking taylor expansion of c in c
1.764 * [taylor]: Taking taylor expansion of 2 in c
1.800 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in (c) around 0
1.800 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.800 * [taylor]: Taking taylor expansion of 1/3 in c
1.800 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.800 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.800 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.800 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.800 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.800 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.800 * [taylor]: Taking taylor expansion of c in c
1.801 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.801 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.801 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.801 * [taylor]: Taking taylor expansion of c in c
1.801 * [taylor]: Taking taylor expansion of 2 in c
1.802 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.802 * [taylor]: Taking taylor expansion of 1/3 in c
1.802 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.802 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.802 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.802 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.802 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.802 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.802 * [taylor]: Taking taylor expansion of c in c
1.803 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.803 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.803 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.803 * [taylor]: Taking taylor expansion of c in c
1.803 * [taylor]: Taking taylor expansion of 2 in c
1.855 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in (c) around 0
1.855 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.855 * [taylor]: Taking taylor expansion of 1/3 in c
1.855 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.855 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.855 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.855 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.855 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.855 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.855 * [taylor]: Taking taylor expansion of -1 in c
1.855 * [taylor]: Taking taylor expansion of c in c
1.855 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.856 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.856 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.856 * [taylor]: Taking taylor expansion of -1 in c
1.856 * [taylor]: Taking taylor expansion of c in c
1.856 * [taylor]: Taking taylor expansion of 2 in c
1.857 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.857 * [taylor]: Taking taylor expansion of 1/3 in c
1.857 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.857 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.857 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.857 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.857 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.857 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.857 * [taylor]: Taking taylor expansion of -1 in c
1.857 * [taylor]: Taking taylor expansion of c in c
1.857 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.857 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.857 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.857 * [taylor]: Taking taylor expansion of -1 in c
1.857 * [taylor]: Taking taylor expansion of c in c
1.858 * [taylor]: Taking taylor expansion of 2 in c
1.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2)
1.907 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/3) in (c) around 0
1.907 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.907 * [taylor]: Taking taylor expansion of 1/3 in c
1.907 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.907 * [taylor]: Taking taylor expansion of (cosh c) in c
1.907 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.907 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.907 * [taylor]: Taking taylor expansion of (exp c) in c
1.907 * [taylor]: Taking taylor expansion of c in c
1.907 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.907 * [taylor]: Taking taylor expansion of (- c) in c
1.907 * [taylor]: Taking taylor expansion of c in c
1.908 * [taylor]: Taking taylor expansion of 2 in c
1.917 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.918 * [taylor]: Taking taylor expansion of 1/3 in c
1.918 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.918 * [taylor]: Taking taylor expansion of (cosh c) in c
1.918 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.918 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.918 * [taylor]: Taking taylor expansion of (exp c) in c
1.918 * [taylor]: Taking taylor expansion of c in c
1.918 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.918 * [taylor]: Taking taylor expansion of (- c) in c
1.918 * [taylor]: Taking taylor expansion of c in c
1.918 * [taylor]: Taking taylor expansion of 2 in c
1.954 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in (c) around 0
1.954 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.954 * [taylor]: Taking taylor expansion of 1/3 in c
1.954 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.954 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.954 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.954 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.954 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.954 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.954 * [taylor]: Taking taylor expansion of c in c
1.954 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.955 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.955 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.955 * [taylor]: Taking taylor expansion of c in c
1.955 * [taylor]: Taking taylor expansion of 2 in c
1.956 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.956 * [taylor]: Taking taylor expansion of 1/3 in c
1.956 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.956 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.956 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.956 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.956 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.956 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.956 * [taylor]: Taking taylor expansion of c in c
1.956 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.956 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.956 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.956 * [taylor]: Taking taylor expansion of c in c
1.957 * [taylor]: Taking taylor expansion of 2 in c
2.007 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in (c) around 0
2.007 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
2.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
2.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
2.007 * [taylor]: Taking taylor expansion of 1/3 in c
2.007 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
2.007 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.007 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.007 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.007 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.007 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.007 * [taylor]: Taking taylor expansion of -1 in c
2.007 * [taylor]: Taking taylor expansion of c in c
2.008 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.008 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.008 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.008 * [taylor]: Taking taylor expansion of -1 in c
2.008 * [taylor]: Taking taylor expansion of c in c
2.009 * [taylor]: Taking taylor expansion of 2 in c
2.009 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
2.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
2.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
2.009 * [taylor]: Taking taylor expansion of 1/3 in c
2.009 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
2.009 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
2.009 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
2.009 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
2.009 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.009 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.009 * [taylor]: Taking taylor expansion of -1 in c
2.009 * [taylor]: Taking taylor expansion of c in c
2.010 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
2.010 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
2.010 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.010 * [taylor]: Taking taylor expansion of -1 in c
2.010 * [taylor]: Taking taylor expansion of c in c
2.010 * [taylor]: Taking taylor expansion of 2 in c
2.056 * * * [progress]: simplifying candidates
2.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (log1p (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (* (* (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (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 (cbrt (cosh c)))
  (log1p (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt 1)
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (expm1 (cbrt (cosh c)))
  (log1p (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt 1)
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/3)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/3)
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/3)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/3)
2.061 * * [simplify]: iteration  0 :  111  enodes  (cost  354 )
2.063 * * [simplify]: iteration  1 :  214  enodes  (cost  314 )
2.067 * * [simplify]: iteration  2 :  609  enodes  (cost  224 )
2.083 * * [simplify]: iteration  3 :  3242  enodes  (cost  224 )
2.196 * * [simplify]: iteration  4 :  5001  enodes  (cost  222 )
2.198 * [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 (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 (cbrt (cosh c)))
  (log1p (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  1
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cosh c)
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (expm1 (cbrt (cosh c)))
  (log1p (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  1
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cosh c)
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow c 2) 1/6 (- 1 (* 1/72 (pow c 4))))
  (cbrt (cosh c))
  (cbrt (cosh c))
  (fma (pow c 2) 1/6 (- 1 (* 1/72 (pow c 4))))
  (cbrt (cosh c))
  (cbrt (cosh c))
2.198 * * * [progress]: adding candidates to table
2.405 * [progress]: [Phase 3 of 3] Extracting.
2.405 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.408 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.408 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.466 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.518 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.585 * * * * [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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>)
2.624 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.679 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (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) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (expm1 (log1p (* (sqrt (cosh c)) (sqrt (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) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))>)
2.734 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.735 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))))
2.735 * * [simplify]: iteration  0 :  16  enodes  (cost  18 )
2.735 * * [simplify]: iteration  1 :  16  enodes  (cost  18 )
2.736 * [simplify]: Simplified to:
   (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))))
13.732 * [regime-testing]: Baseline error score: 34.164646264736035
13.733 * [regime-testing]: Oracle error score: 34.095996144024966
13.734 * [regime-testing]: End program error score: 34.164646264736035