6.789 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.348 * * * [progress]: [2/2] Setting up program.
0.350 * [progress]: [Phase 2 of 3] Improving.
0.350 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.352 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.354 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.355 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.356 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.357 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.358 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.359 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.361 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.363 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.369 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.569 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.571 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.571 * * [progress]: iteration 1 / 4
0.571 * * * [progress]: picking best candidate
0.573 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.573 * * * [progress]: localizing error
0.584 * * * [progress]: generating rewritten candidates
0.584 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.584 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.585 * * * [progress]: generating series expansions
0.585 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.585 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.587 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.587 * [taylor]: Taking taylor expansion of 0 in a
0.587 * [taylor]: Taking taylor expansion of 0 in a
0.587 * [taylor]: Taking taylor expansion of 0 in a
0.587 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.587 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.587 * [taylor]: Taking taylor expansion of (cosh c) in c
0.588 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.588 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.588 * [taylor]: Taking taylor expansion of (exp c) in c
0.588 * [taylor]: Taking taylor expansion of c in c
0.588 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.588 * [taylor]: Taking taylor expansion of (- c) in c
0.588 * [taylor]: Taking taylor expansion of c in c
0.589 * [taylor]: Taking taylor expansion of 2 in c
0.589 * [taylor]: Taking taylor expansion of (cosh c) in c
0.589 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.589 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.589 * [taylor]: Taking taylor expansion of (exp c) in c
0.589 * [taylor]: Taking taylor expansion of c in c
0.589 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.589 * [taylor]: Taking taylor expansion of (- c) in c
0.589 * [taylor]: Taking taylor expansion of c in c
0.590 * [taylor]: Taking taylor expansion of 2 in c
0.607 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.607 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.607 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.607 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.607 * [taylor]: Taking taylor expansion of c in c
0.607 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.607 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.607 * [taylor]: Taking taylor expansion of c in c
0.608 * [taylor]: Taking taylor expansion of 2 in c
0.608 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.608 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.608 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.608 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.608 * [taylor]: Taking taylor expansion of c in c
0.609 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.609 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.609 * [taylor]: Taking taylor expansion of c in c
0.609 * [taylor]: Taking taylor expansion of 2 in c
0.620 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.620 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.620 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.620 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.620 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.620 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.620 * [taylor]: Taking taylor expansion of -1 in c
0.620 * [taylor]: Taking taylor expansion of c in c
0.620 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.620 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.620 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.620 * [taylor]: Taking taylor expansion of -1 in c
0.620 * [taylor]: Taking taylor expansion of c in c
0.621 * [taylor]: Taking taylor expansion of 2 in c
0.621 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.621 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.621 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.621 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.621 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.621 * [taylor]: Taking taylor expansion of -1 in c
0.621 * [taylor]: Taking taylor expansion of c in c
0.622 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.622 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.622 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.622 * [taylor]: Taking taylor expansion of -1 in c
0.622 * [taylor]: Taking taylor expansion of c in c
0.622 * [taylor]: Taking taylor expansion of 2 in c
0.633 * * * [progress]: simplifying candidates
0.633 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (+ (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.636 * * [simplify]: iteration  0 :  76  enodes  (cost  89 )
0.637 * * [simplify]: iteration  1 :  159  enodes  (cost  79 )
0.641 * * [simplify]: iteration  2 :  542  enodes  (cost  71 )
0.657 * * [simplify]: iteration  3 :  3481  enodes  (cost  69 )
0.770 * * [simplify]: iteration  4 :  5001  enodes  (cost  69 )
0.771 * [simplify]: Simplified to:
   (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)))
  (* (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))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (cosh c)
  (cosh c)
0.771 * * * [progress]: adding candidates to table
0.823 * * [progress]: iteration 2 / 4
0.823 * * * [progress]: picking best candidate
0.840 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))>
0.840 * * * [progress]: localizing error
0.848 * * * [progress]: generating rewritten candidates
0.848 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.849 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.850 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.860 * * * [progress]: generating series expansions
0.860 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.860 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.861 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.861 * [taylor]: Taking taylor expansion of 0 in a
0.862 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.862 * [taylor]: Taking taylor expansion of 0 in a
0.862 * [taylor]: Taking taylor expansion of 0 in a
0.862 * [taylor]: Taking taylor expansion of 0 in a
0.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.862 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
0.862 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.862 * [taylor]: Taking taylor expansion of (cosh c) in c
0.863 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.863 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.863 * [taylor]: Taking taylor expansion of (exp c) in c
0.863 * [taylor]: Taking taylor expansion of c in c
0.863 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.863 * [taylor]: Taking taylor expansion of (- c) in c
0.863 * [taylor]: Taking taylor expansion of c in c
0.863 * [taylor]: Taking taylor expansion of 2 in c
0.871 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.871 * [taylor]: Taking taylor expansion of (cosh c) in c
0.871 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.871 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.871 * [taylor]: Taking taylor expansion of (exp c) in c
0.871 * [taylor]: Taking taylor expansion of c in c
0.871 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.871 * [taylor]: Taking taylor expansion of (- c) in c
0.871 * [taylor]: Taking taylor expansion of c in c
0.872 * [taylor]: Taking taylor expansion of 2 in c
0.891 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
0.891 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.891 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.891 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.891 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.891 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.891 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.891 * [taylor]: Taking taylor expansion of c in c
0.891 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.891 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.891 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.891 * [taylor]: Taking taylor expansion of c in c
0.892 * [taylor]: Taking taylor expansion of 2 in c
0.893 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.893 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.893 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.893 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.893 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.893 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.893 * [taylor]: Taking taylor expansion of c in c
0.893 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.894 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.894 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.894 * [taylor]: Taking taylor expansion of c in c
0.894 * [taylor]: Taking taylor expansion of 2 in c
0.909 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
0.909 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.909 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.909 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.909 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.909 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.909 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.909 * [taylor]: Taking taylor expansion of -1 in c
0.909 * [taylor]: Taking taylor expansion of c in c
0.909 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.909 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.909 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.909 * [taylor]: Taking taylor expansion of -1 in c
0.909 * [taylor]: Taking taylor expansion of c in c
0.910 * [taylor]: Taking taylor expansion of 2 in c
0.911 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.911 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.911 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.911 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.911 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.911 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.911 * [taylor]: Taking taylor expansion of -1 in c
0.911 * [taylor]: Taking taylor expansion of c in c
0.912 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.912 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.912 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.912 * [taylor]: Taking taylor expansion of -1 in c
0.912 * [taylor]: Taking taylor expansion of c in c
0.912 * [taylor]: Taking taylor expansion of 2 in c
0.927 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.927 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
0.927 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.927 * [taylor]: Taking taylor expansion of (cosh c) in c
0.927 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.927 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.927 * [taylor]: Taking taylor expansion of (exp c) in c
0.927 * [taylor]: Taking taylor expansion of c in c
0.927 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.927 * [taylor]: Taking taylor expansion of (- c) in c
0.927 * [taylor]: Taking taylor expansion of c in c
0.928 * [taylor]: Taking taylor expansion of 2 in c
0.931 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
0.931 * [taylor]: Taking taylor expansion of (cosh c) in c
0.931 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.931 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.931 * [taylor]: Taking taylor expansion of (exp c) in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.931 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.931 * [taylor]: Taking taylor expansion of (- c) in c
0.931 * [taylor]: Taking taylor expansion of c in c
0.932 * [taylor]: Taking taylor expansion of 2 in c
0.956 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
0.956 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.956 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.956 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.956 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.956 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.956 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.956 * [taylor]: Taking taylor expansion of c in c
0.956 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.956 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.956 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.956 * [taylor]: Taking taylor expansion of c in c
0.957 * [taylor]: Taking taylor expansion of 2 in c
0.958 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
0.958 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.959 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.959 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.959 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.959 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.959 * [taylor]: Taking taylor expansion of c in c
0.959 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.959 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.959 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.959 * [taylor]: Taking taylor expansion of c in c
0.959 * [taylor]: Taking taylor expansion of 2 in c
0.974 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
0.974 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.975 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.975 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.975 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.975 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.975 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.975 * [taylor]: Taking taylor expansion of -1 in c
0.975 * [taylor]: Taking taylor expansion of c in c
0.975 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.975 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.975 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.975 * [taylor]: Taking taylor expansion of -1 in c
0.975 * [taylor]: Taking taylor expansion of c in c
0.976 * [taylor]: Taking taylor expansion of 2 in c
0.977 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
0.977 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.977 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.977 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.977 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.977 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.977 * [taylor]: Taking taylor expansion of -1 in c
0.977 * [taylor]: Taking taylor expansion of c in c
0.977 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.977 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.977 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.977 * [taylor]: Taking taylor expansion of -1 in c
0.977 * [taylor]: Taking taylor expansion of c in c
0.978 * [taylor]: Taking taylor expansion of 2 in c
0.993 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.993 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.993 * [taylor]: Taking taylor expansion of (cosh c) in c
0.993 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.993 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.993 * [taylor]: Taking taylor expansion of (exp c) in c
0.993 * [taylor]: Taking taylor expansion of c in c
0.993 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.993 * [taylor]: Taking taylor expansion of (- c) in c
0.993 * [taylor]: Taking taylor expansion of c in c
0.993 * [taylor]: Taking taylor expansion of 2 in c
0.994 * [taylor]: Taking taylor expansion of (cosh c) in c
0.994 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.994 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.994 * [taylor]: Taking taylor expansion of (exp c) in c
0.994 * [taylor]: Taking taylor expansion of c in c
0.994 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.994 * [taylor]: Taking taylor expansion of (- c) in c
0.994 * [taylor]: Taking taylor expansion of c in c
0.995 * [taylor]: Taking taylor expansion of 2 in c
1.011 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.011 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.011 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.011 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.011 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.011 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.011 * [taylor]: Taking taylor expansion of c in c
1.012 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.012 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.012 * [taylor]: Taking taylor expansion of c in c
1.012 * [taylor]: Taking taylor expansion of 2 in c
1.012 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.012 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.012 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.012 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.012 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.012 * [taylor]: Taking taylor expansion of c in c
1.013 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.013 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.013 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.013 * [taylor]: Taking taylor expansion of c in c
1.013 * [taylor]: Taking taylor expansion of 2 in c
1.024 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.024 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.024 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.024 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.024 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.024 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.024 * [taylor]: Taking taylor expansion of -1 in c
1.024 * [taylor]: Taking taylor expansion of c in c
1.024 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.024 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.024 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.024 * [taylor]: Taking taylor expansion of -1 in c
1.024 * [taylor]: Taking taylor expansion of c in c
1.025 * [taylor]: Taking taylor expansion of 2 in c
1.025 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.025 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.025 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.025 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.025 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.025 * [taylor]: Taking taylor expansion of -1 in c
1.025 * [taylor]: Taking taylor expansion of c in c
1.025 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.025 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.025 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.025 * [taylor]: Taking taylor expansion of -1 in c
1.025 * [taylor]: Taking taylor expansion of c in c
1.026 * [taylor]: Taking taylor expansion of 2 in c
1.041 * * * [progress]: simplifying candidates
1.042 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (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)))
  (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)))
  (+ 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.047 * * [simplify]: iteration  0 :  174  enodes  (cost  427 )
1.050 * * [simplify]: iteration  1 :  669  enodes  (cost  381 )
1.075 * * [simplify]: iteration  2 :  5001  enodes  (cost  355 )
1.076 * [simplify]: Simplified to:
   (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)))
  (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)))
  (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)))
  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))
  (- (+ (* 1/4 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (* (sqrt (+ (exp (* -1 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 (* -1 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))
  (cosh c)
  (cosh c)
1.077 * * * [progress]: adding candidates to table
1.274 * * [progress]: iteration 3 / 4
1.274 * * * [progress]: picking best candidate
1.299 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))>
1.299 * * * [progress]: localizing error
1.315 * * * [progress]: generating rewritten candidates
1.315 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.316 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.338 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.344 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.346 * * * [progress]: generating series expansions
1.346 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.347 * [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.347 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
1.347 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
1.348 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
1.348 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (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.349 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [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.350 * [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.351 * [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.351 * [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.352 * [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.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 * [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.354 * [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.354 * [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.355 * [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.355 * [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.356 * [taylor]: Taking taylor expansion of 0 in a
1.356 * [taylor]: Taking taylor expansion of 0 in a
1.356 * [taylor]: Taking taylor expansion of 0 in a
1.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.357 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
1.357 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
1.357 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.357 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.357 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.357 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.357 * [taylor]: Taking taylor expansion of -1 in c
1.357 * [taylor]: Taking taylor expansion of c in c
1.358 * [taylor]: Taking taylor expansion of (exp c) in c
1.358 * [taylor]: Taking taylor expansion of c in c
1.360 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.360 * [taylor]: Taking taylor expansion of 1/2 in c
1.361 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
1.361 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.361 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.361 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.361 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.361 * [taylor]: Taking taylor expansion of -1 in c
1.361 * [taylor]: Taking taylor expansion of c in c
1.362 * [taylor]: Taking taylor expansion of (exp c) in c
1.362 * [taylor]: Taking taylor expansion of c in c
1.364 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.364 * [taylor]: Taking taylor expansion of 1/2 in c
1.418 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
1.418 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.418 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.418 * [taylor]: Taking taylor expansion of 1/2 in c
1.419 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.419 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.419 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.419 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.419 * [taylor]: Taking taylor expansion of c in c
1.420 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.420 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.420 * [taylor]: Taking taylor expansion of -1 in c
1.420 * [taylor]: Taking taylor expansion of c in c
1.420 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.420 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.420 * [taylor]: Taking taylor expansion of 1/2 in c
1.421 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.421 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.421 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.421 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.421 * [taylor]: Taking taylor expansion of c in c
1.421 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.421 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.421 * [taylor]: Taking taylor expansion of -1 in c
1.422 * [taylor]: Taking taylor expansion of c in c
1.437 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
1.437 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.437 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.437 * [taylor]: Taking taylor expansion of 1/2 in c
1.438 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.438 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.438 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.438 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.438 * [taylor]: Taking taylor expansion of c in c
1.438 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.438 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.438 * [taylor]: Taking taylor expansion of -1 in c
1.438 * [taylor]: Taking taylor expansion of c in c
1.439 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
1.439 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
1.439 * [taylor]: Taking taylor expansion of 1/2 in c
1.440 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.440 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.440 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.440 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.440 * [taylor]: Taking taylor expansion of c in c
1.440 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.440 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.440 * [taylor]: Taking taylor expansion of -1 in c
1.440 * [taylor]: Taking taylor expansion of c in c
1.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.455 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in (c) around 0
1.455 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.455 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.455 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.455 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.455 * [taylor]: Taking taylor expansion of -1 in c
1.455 * [taylor]: Taking taylor expansion of c in c
1.456 * [taylor]: Taking taylor expansion of (exp c) in c
1.456 * [taylor]: Taking taylor expansion of c in c
1.458 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
1.458 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
1.458 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
1.458 * [taylor]: Taking taylor expansion of (* -1 c) in c
1.458 * [taylor]: Taking taylor expansion of -1 in c
1.458 * [taylor]: Taking taylor expansion of c in c
1.459 * [taylor]: Taking taylor expansion of (exp c) in c
1.459 * [taylor]: Taking taylor expansion of c in c
1.492 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in (c) around 0
1.492 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.492 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.492 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.492 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.492 * [taylor]: Taking taylor expansion of c in c
1.492 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.492 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.492 * [taylor]: Taking taylor expansion of -1 in c
1.492 * [taylor]: Taking taylor expansion of c in c
1.493 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.493 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.493 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.493 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.493 * [taylor]: Taking taylor expansion of c in c
1.494 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.494 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.494 * [taylor]: Taking taylor expansion of -1 in c
1.494 * [taylor]: Taking taylor expansion of c in c
1.499 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in (c) around 0
1.499 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.499 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.499 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.499 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.499 * [taylor]: Taking taylor expansion of c in c
1.499 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.499 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.499 * [taylor]: Taking taylor expansion of -1 in c
1.499 * [taylor]: Taking taylor expansion of c in c
1.500 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
1.500 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
1.500 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.500 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.500 * [taylor]: Taking taylor expansion of c in c
1.500 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.500 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.500 * [taylor]: Taking taylor expansion of -1 in c
1.500 * [taylor]: Taking taylor expansion of c in c
1.505 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.505 * [approximate]: Taking taylor expansion of (sqrt (cosh c)) in (c) around 0
1.505 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
1.505 * [taylor]: Taking taylor expansion of (cosh c) in c
1.505 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.505 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.505 * [taylor]: Taking taylor expansion of (exp c) in c
1.505 * [taylor]: Taking taylor expansion of c in c
1.505 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.505 * [taylor]: Taking taylor expansion of (- c) in c
1.505 * [taylor]: Taking taylor expansion of c in c
1.506 * [taylor]: Taking taylor expansion of 2 in c
1.509 * [taylor]: Taking taylor expansion of (sqrt (cosh c)) in c
1.509 * [taylor]: Taking taylor expansion of (cosh c) in c
1.509 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.509 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.509 * [taylor]: Taking taylor expansion of (exp c) in c
1.509 * [taylor]: Taking taylor expansion of c in c
1.509 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.509 * [taylor]: Taking taylor expansion of (- c) in c
1.509 * [taylor]: Taking taylor expansion of c in c
1.510 * [taylor]: Taking taylor expansion of 2 in c
1.528 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in (c) around 0
1.528 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
1.528 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.528 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.528 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.528 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.528 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.528 * [taylor]: Taking taylor expansion of c in c
1.529 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.529 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.529 * [taylor]: Taking taylor expansion of c in c
1.529 * [taylor]: Taking taylor expansion of 2 in c
1.531 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 c))) in c
1.531 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.531 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.531 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.531 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.531 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.531 * [taylor]: Taking taylor expansion of c in c
1.531 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.531 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.531 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.531 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of 2 in c
1.546 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in (c) around 0
1.546 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
1.547 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.547 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.547 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.547 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.547 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.547 * [taylor]: Taking taylor expansion of -1 in c
1.547 * [taylor]: Taking taylor expansion of c in c
1.547 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.547 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.547 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.547 * [taylor]: Taking taylor expansion of -1 in c
1.547 * [taylor]: Taking taylor expansion of c in c
1.548 * [taylor]: Taking taylor expansion of 2 in c
1.549 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 c))) in c
1.549 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.549 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.549 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.549 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.549 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.549 * [taylor]: Taking taylor expansion of -1 in c
1.549 * [taylor]: Taking taylor expansion of c in c
1.549 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.550 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.550 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.550 * [taylor]: Taking taylor expansion of -1 in c
1.550 * [taylor]: Taking taylor expansion of c in c
1.550 * [taylor]: Taking taylor expansion of 2 in c
1.564 * * * [progress]: simplifying candidates
1.566 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (+ (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))
  (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))))
  (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.576 * * [simplify]: iteration  0 :  287  enodes  (cost  730 )
1.580 * * [simplify]: iteration  1 :  932  enodes  (cost  686 )
1.600 * * [simplify]: iteration  2 :  4804  enodes  (cost  657 )
1.738 * * [simplify]: iteration  3 :  5002  enodes  (cost  657 )
1.741 * [simplify]: Simplified to:
   (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (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))
  (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)))
  (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))))
  (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))
  (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 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))
  (+ (sqrt 2) (+ (* 1/2 (/ (pow c 2) (sqrt 2))) (* (/ (pow c 4) (sqrt 2)) -1/48)))
  (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 c) (exp (- c)))) (sqrt 1/2))
1.741 * * * [progress]: adding candidates to table
2.033 * * [progress]: iteration 4 / 4
2.033 * * * [progress]: picking best candidate
2.082 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>
2.083 * * * [progress]: localizing error
2.102 * * * [progress]: generating rewritten candidates
2.102 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.102 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.103 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
2.121 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
2.141 * * * [progress]: generating series expansions
2.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.142 * [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.142 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.143 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.143 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.144 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.144 * [taylor]: Taking taylor expansion of 0 in a
2.145 * [taylor]: Taking taylor expansion of 0 in a
2.145 * [taylor]: Taking taylor expansion of 0 in a
2.145 * [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.145 * [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.146 * [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.146 * [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.147 * [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.148 * [taylor]: Taking taylor expansion of 0 in a
2.148 * [taylor]: Taking taylor expansion of 0 in a
2.148 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [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.149 * [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.149 * [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.150 * [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.150 * [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.151 * [taylor]: Taking taylor expansion of 0 in a
2.151 * [taylor]: Taking taylor expansion of 0 in a
2.151 * [taylor]: Taking taylor expansion of 0 in a
2.152 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.152 * [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.152 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.153 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.156 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in c
2.156 * [taylor]: Taking taylor expansion of (fmod (* (sqrt (* (cosh c) (+ (exp (* -1 c)) (exp c)))) (sqrt 1/2)) (log1p a)) in a
2.157 * [taylor]: Taking taylor expansion of 0 in a
2.157 * [taylor]: Taking taylor expansion of 0 in a
2.157 * [taylor]: Taking taylor expansion of 0 in a
2.158 * [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.158 * [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.159 * [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.159 * [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.160 * [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.161 * [taylor]: Taking taylor expansion of 0 in a
2.161 * [taylor]: Taking taylor expansion of 0 in a
2.161 * [taylor]: Taking taylor expansion of 0 in a
2.162 * [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.162 * [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.162 * [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.163 * [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.163 * [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.164 * [taylor]: Taking taylor expansion of 0 in a
2.164 * [taylor]: Taking taylor expansion of 0 in a
2.164 * [taylor]: Taking taylor expansion of 0 in a
2.165 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
2.165 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
2.165 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.165 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.165 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.165 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.165 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.165 * [taylor]: Taking taylor expansion of -1 in c
2.165 * [taylor]: Taking taylor expansion of c in c
2.166 * [taylor]: Taking taylor expansion of (exp c) in c
2.166 * [taylor]: Taking taylor expansion of c in c
2.168 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.168 * [taylor]: Taking taylor expansion of 1/2 in c
2.169 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.169 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.169 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.169 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.169 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.169 * [taylor]: Taking taylor expansion of -1 in c
2.169 * [taylor]: Taking taylor expansion of c in c
2.170 * [taylor]: Taking taylor expansion of (exp c) in c
2.170 * [taylor]: Taking taylor expansion of c in c
2.172 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.172 * [taylor]: Taking taylor expansion of 1/2 in c
2.222 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.222 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.222 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.222 * [taylor]: Taking taylor expansion of 1/2 in c
2.223 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.223 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.223 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.223 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.223 * [taylor]: Taking taylor expansion of c in c
2.223 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.223 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.223 * [taylor]: Taking taylor expansion of -1 in c
2.223 * [taylor]: Taking taylor expansion of c in c
2.224 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.224 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.224 * [taylor]: Taking taylor expansion of 1/2 in c
2.225 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.225 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.225 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.225 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.225 * [taylor]: Taking taylor expansion of c in c
2.225 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.225 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.225 * [taylor]: Taking taylor expansion of -1 in c
2.225 * [taylor]: Taking taylor expansion of c in c
2.246 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.246 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.246 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.246 * [taylor]: Taking taylor expansion of 1/2 in c
2.246 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.246 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.246 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.246 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.246 * [taylor]: Taking taylor expansion of c in c
2.247 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.247 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.247 * [taylor]: Taking taylor expansion of -1 in c
2.247 * [taylor]: Taking taylor expansion of c in c
2.248 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.248 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.248 * [taylor]: Taking taylor expansion of 1/2 in c
2.248 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.248 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.248 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.248 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.248 * [taylor]: Taking taylor expansion of c in c
2.249 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.249 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.249 * [taylor]: Taking taylor expansion of -1 in c
2.249 * [taylor]: Taking taylor expansion of c in c
2.264 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
2.264 * [approximate]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in (c) around 0
2.264 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.264 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.264 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.264 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.264 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.264 * [taylor]: Taking taylor expansion of -1 in c
2.264 * [taylor]: Taking taylor expansion of c in c
2.265 * [taylor]: Taking taylor expansion of (exp c) in c
2.265 * [taylor]: Taking taylor expansion of c in c
2.267 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.267 * [taylor]: Taking taylor expansion of 1/2 in c
2.268 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) in c
2.268 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (* -1 c)) (exp c))) in c
2.268 * [taylor]: Taking taylor expansion of (+ (exp (* -1 c)) (exp c)) in c
2.268 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c
2.268 * [taylor]: Taking taylor expansion of (* -1 c) in c
2.268 * [taylor]: Taking taylor expansion of -1 in c
2.268 * [taylor]: Taking taylor expansion of c in c
2.268 * [taylor]: Taking taylor expansion of (exp c) in c
2.268 * [taylor]: Taking taylor expansion of c in c
2.271 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.271 * [taylor]: Taking taylor expansion of 1/2 in c
2.325 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.325 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.325 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.325 * [taylor]: Taking taylor expansion of 1/2 in c
2.326 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.326 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.326 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.326 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.326 * [taylor]: Taking taylor expansion of c in c
2.326 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.326 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.326 * [taylor]: Taking taylor expansion of -1 in c
2.326 * [taylor]: Taking taylor expansion of c in c
2.327 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.327 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.327 * [taylor]: Taking taylor expansion of 1/2 in c
2.328 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.328 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.328 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.328 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.328 * [taylor]: Taking taylor expansion of c in c
2.328 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.328 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.328 * [taylor]: Taking taylor expansion of -1 in c
2.328 * [taylor]: Taking taylor expansion of c in c
2.343 * [approximate]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in (c) around 0
2.343 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.343 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.344 * [taylor]: Taking taylor expansion of 1/2 in c
2.344 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.344 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.344 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.344 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.344 * [taylor]: Taking taylor expansion of c in c
2.345 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.345 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.345 * [taylor]: Taking taylor expansion of -1 in c
2.345 * [taylor]: Taking taylor expansion of c in c
2.345 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c))))) in c
2.345 * [taylor]: Taking taylor expansion of (sqrt 1/2) in c
2.345 * [taylor]: Taking taylor expansion of 1/2 in c
2.346 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c
2.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c
2.346 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
2.346 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.346 * [taylor]: Taking taylor expansion of c in c
2.346 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
2.346 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.346 * [taylor]: Taking taylor expansion of -1 in c
2.346 * [taylor]: Taking taylor expansion of c in c
2.362 * * * [progress]: simplifying candidates
2.364 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (+ (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))
  (* (+ (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.369 * * [simplify]: iteration  0 :  207  enodes  (cost  1016 )
2.373 * * [simplify]: iteration  1 :  662  enodes  (cost  944 )
2.386 * * [simplify]: iteration  2 :  3115  enodes  (cost  902 )
2.460 * * [simplify]: iteration  3 :  5001  enodes  (cost  902 )
2.463 * [simplify]: Simplified to:
   (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))
  (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))
  (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))
  (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48)))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
  (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2))
2.464 * * * [progress]: adding candidates to table
2.852 * [progress]: [Phase 3 of 3] Extracting.
2.852 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
2.858 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.858 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
2.933 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
2.997 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
3.020 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
3.103 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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.133 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
3.204 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))) (cbrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (+ (* (sqrt 2) (sqrt 1/2)) (+ (* 1/2 (/ (* (sqrt 1/2) (pow c 2)) (sqrt 2))) (* (/ (* (sqrt 1/2) (pow c 4)) (sqrt 2)) -1/48))) (sqrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (fmod (* (sqrt (sqrt (cosh c))) (pow (sqrt (sqrt (cosh c))) 3)) (log1p a)))> #<alt (λ (a c) (fmod (* (/ (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 2)) (sqrt (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) (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (* (sqrt (+ (exp c) (exp (- c)))) (sqrt 1/2))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (* (* (* (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 (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a)))))>)
3.273 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
3.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
3.274 * * [simplify]: iteration  0 :  23  enodes  (cost  27 )
3.274 * * [simplify]: iteration  1 :  23  enodes  (cost  27 )
3.274 * [simplify]: Simplified to:
   (* (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (* (sqrt (+ (exp (* -1 c)) (exp c))) (sqrt 1/2)) (sqrt (cosh c))) (log1p a))))
14.814 * [regime-testing]: Baseline error score: 33.712886248286786
14.815 * [regime-testing]: Oracle error score: 32.766846512601305
14.816 * [regime-testing]: End program error score: 33.712886248286786