6.323 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.307 * * * [progress]: [2/2] Setting up program.
0.309 * [progress]: [Phase 2 of 3] Improving.
0.310 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.312 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.313 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.314 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.315 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.317 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.318 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.319 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.320 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.322 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.329 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.526 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.527 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.528 * * [progress]: iteration 1 / 4
0.528 * * * [progress]: picking best candidate
0.530 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.530 * * * [progress]: localizing error
0.536 * * * [progress]: generating rewritten candidates
0.536 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.537 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.538 * * * [progress]: generating series expansions
0.538 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.538 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.538 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.539 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.539 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.539 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.539 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.539 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.540 * [taylor]: Taking taylor expansion of 0 in a
0.540 * [taylor]: Taking taylor expansion of 0 in a
0.540 * [taylor]: Taking taylor expansion of 0 in a
0.540 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.540 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [taylor]: Taking taylor expansion of 0 in a
0.541 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.541 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.541 * [taylor]: Taking taylor expansion of (cosh c) in c
0.541 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.541 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.541 * [taylor]: Taking taylor expansion of (exp c) in c
0.541 * [taylor]: Taking taylor expansion of c in c
0.541 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.541 * [taylor]: Taking taylor expansion of (- c) in c
0.541 * [taylor]: Taking taylor expansion of c in c
0.542 * [taylor]: Taking taylor expansion of 2 in c
0.542 * [taylor]: Taking taylor expansion of (cosh c) in c
0.542 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.542 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.542 * [taylor]: Taking taylor expansion of (exp c) in c
0.542 * [taylor]: Taking taylor expansion of c in c
0.542 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.542 * [taylor]: Taking taylor expansion of (- c) in c
0.542 * [taylor]: Taking taylor expansion of c in c
0.543 * [taylor]: Taking taylor expansion of 2 in c
0.559 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.559 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.559 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.559 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.559 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.559 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.559 * [taylor]: Taking taylor expansion of c in c
0.560 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.560 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.560 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.560 * [taylor]: Taking taylor expansion of c in c
0.560 * [taylor]: Taking taylor expansion of 2 in c
0.560 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.560 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.561 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.561 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.561 * [taylor]: Taking taylor expansion of c in c
0.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.561 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.561 * [taylor]: Taking taylor expansion of c in c
0.561 * [taylor]: Taking taylor expansion of 2 in c
0.575 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.575 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.575 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.575 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.575 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.575 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.575 * [taylor]: Taking taylor expansion of -1 in c
0.575 * [taylor]: Taking taylor expansion of c in c
0.576 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.576 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.576 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.576 * [taylor]: Taking taylor expansion of -1 in c
0.576 * [taylor]: Taking taylor expansion of c in c
0.576 * [taylor]: Taking taylor expansion of 2 in c
0.577 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.577 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.577 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.577 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.577 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.577 * [taylor]: Taking taylor expansion of -1 in c
0.577 * [taylor]: Taking taylor expansion of c in c
0.577 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.577 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.577 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.577 * [taylor]: Taking taylor expansion of -1 in c
0.577 * [taylor]: Taking taylor expansion of c in c
0.578 * [taylor]: Taking taylor expansion of 2 in c
0.587 * * * [progress]: simplifying candidates
0.588 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.590 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.592 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.596 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.611 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.723 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.724 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (cosh c))
  (log1p (cosh c))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
0.724 * * * [progress]: adding candidates to table
0.785 * * [progress]: iteration 2 / 4
0.785 * * * [progress]: picking best candidate
0.802 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))>
0.802 * * * [progress]: localizing error
0.812 * * * [progress]: generating rewritten candidates
0.812 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.813 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.819 * * * [progress]: generating series expansions
0.819 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.819 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.821 * [taylor]: Taking taylor expansion of 0 in a
0.821 * [taylor]: Taking taylor expansion of 0 in a
0.821 * [taylor]: Taking taylor expansion of 0 in a
0.821 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.822 * [taylor]: Taking taylor expansion of 0 in a
0.822 * [taylor]: Taking taylor expansion of 0 in a
0.822 * [taylor]: Taking taylor expansion of 0 in a
0.822 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.822 * [approximate]: Taking taylor expansion of (log (cosh c)) in (c) around 0
0.822 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
0.822 * [taylor]: Taking taylor expansion of (cosh c) in c
0.822 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.822 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.822 * [taylor]: Taking taylor expansion of (exp c) in c
0.822 * [taylor]: Taking taylor expansion of c in c
0.822 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.822 * [taylor]: Taking taylor expansion of (- c) in c
0.822 * [taylor]: Taking taylor expansion of c in c
0.823 * [taylor]: Taking taylor expansion of 2 in c
0.824 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
0.824 * [taylor]: Taking taylor expansion of (cosh c) in c
0.824 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.824 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.824 * [taylor]: Taking taylor expansion of (exp c) in c
0.824 * [taylor]: Taking taylor expansion of c in c
0.824 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.824 * [taylor]: Taking taylor expansion of (- c) in c
0.824 * [taylor]: Taking taylor expansion of c in c
0.825 * [taylor]: Taking taylor expansion of 2 in c
0.901 * [approximate]: Taking taylor expansion of (log (cosh (/ 1 c))) in (c) around 0
0.901 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
0.901 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.901 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.901 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.901 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.901 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.901 * [taylor]: Taking taylor expansion of c in c
0.901 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.901 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.901 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.901 * [taylor]: Taking taylor expansion of c in c
0.902 * [taylor]: Taking taylor expansion of 2 in c
0.902 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
0.902 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.902 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.902 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.902 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.902 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.902 * [taylor]: Taking taylor expansion of c in c
0.903 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.903 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.903 * [taylor]: Taking taylor expansion of c in c
0.903 * [taylor]: Taking taylor expansion of 2 in c
0.937 * [approximate]: Taking taylor expansion of (log (cosh (/ -1 c))) in (c) around 0
0.937 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
0.937 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.937 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.937 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.937 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.937 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.937 * [taylor]: Taking taylor expansion of -1 in c
0.937 * [taylor]: Taking taylor expansion of c in c
0.937 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.937 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.937 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.937 * [taylor]: Taking taylor expansion of -1 in c
0.937 * [taylor]: Taking taylor expansion of c in c
0.938 * [taylor]: Taking taylor expansion of 2 in c
0.938 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
0.938 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.938 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.938 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.938 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.938 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.938 * [taylor]: Taking taylor expansion of -1 in c
0.938 * [taylor]: Taking taylor expansion of c in c
0.939 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.939 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.939 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.939 * [taylor]: Taking taylor expansion of -1 in c
0.939 * [taylor]: Taking taylor expansion of c in c
0.939 * [taylor]: Taking taylor expansion of 2 in c
0.968 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.969 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.969 * [taylor]: Taking taylor expansion of (cosh c) in c
0.969 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.969 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.969 * [taylor]: Taking taylor expansion of (exp c) in c
0.969 * [taylor]: Taking taylor expansion of c in c
0.969 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.969 * [taylor]: Taking taylor expansion of (- c) in c
0.969 * [taylor]: Taking taylor expansion of c in c
0.969 * [taylor]: Taking taylor expansion of 2 in c
0.970 * [taylor]: Taking taylor expansion of (cosh c) in c
0.970 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.970 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.970 * [taylor]: Taking taylor expansion of (exp c) in c
0.970 * [taylor]: Taking taylor expansion of c in c
0.970 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.970 * [taylor]: Taking taylor expansion of (- c) in c
0.970 * [taylor]: Taking taylor expansion of c in c
0.970 * [taylor]: Taking taylor expansion of 2 in c
0.987 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.987 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.987 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.987 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.987 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.987 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.987 * [taylor]: Taking taylor expansion of c in c
0.988 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.988 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.988 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.988 * [taylor]: Taking taylor expansion of c in c
0.988 * [taylor]: Taking taylor expansion of 2 in c
0.988 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.989 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.989 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.989 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.989 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.989 * [taylor]: Taking taylor expansion of c in c
0.989 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.989 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.989 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.989 * [taylor]: Taking taylor expansion of c in c
0.989 * [taylor]: Taking taylor expansion of 2 in c
0.999 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.000 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.000 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.000 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.000 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.000 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.000 * [taylor]: Taking taylor expansion of -1 in c
1.000 * [taylor]: Taking taylor expansion of c in c
1.000 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.000 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.000 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.000 * [taylor]: Taking taylor expansion of -1 in c
1.000 * [taylor]: Taking taylor expansion of c in c
1.003 * [taylor]: Taking taylor expansion of 2 in c
1.003 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.003 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.003 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.003 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.003 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.003 * [taylor]: Taking taylor expansion of -1 in c
1.003 * [taylor]: Taking taylor expansion of c in c
1.004 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.004 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.004 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.004 * [taylor]: Taking taylor expansion of -1 in c
1.004 * [taylor]: Taking taylor expansion of c in c
1.005 * [taylor]: Taking taylor expansion of 2 in c
1.014 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.014 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.014 * [taylor]: Taking taylor expansion of (cosh c) in c
1.015 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.015 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.015 * [taylor]: Taking taylor expansion of (exp c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.015 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.015 * [taylor]: Taking taylor expansion of (- c) in c
1.015 * [taylor]: Taking taylor expansion of c in c
1.015 * [taylor]: Taking taylor expansion of 2 in c
1.016 * [taylor]: Taking taylor expansion of (cosh c) in c
1.016 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.016 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.016 * [taylor]: Taking taylor expansion of (exp c) in c
1.016 * [taylor]: Taking taylor expansion of c in c
1.016 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.016 * [taylor]: Taking taylor expansion of (- c) in c
1.016 * [taylor]: Taking taylor expansion of c in c
1.016 * [taylor]: Taking taylor expansion of 2 in c
1.033 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.033 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.033 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.033 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.033 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.033 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.033 * [taylor]: Taking taylor expansion of c in c
1.033 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.033 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.033 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.033 * [taylor]: Taking taylor expansion of c in c
1.034 * [taylor]: Taking taylor expansion of 2 in c
1.034 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.034 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.034 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.034 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.034 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.034 * [taylor]: Taking taylor expansion of c in c
1.034 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.035 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.035 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.035 * [taylor]: Taking taylor expansion of c in c
1.035 * [taylor]: Taking taylor expansion of 2 in c
1.045 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.045 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.045 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.045 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.045 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.045 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.045 * [taylor]: Taking taylor expansion of -1 in c
1.045 * [taylor]: Taking taylor expansion of c in c
1.046 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.046 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.046 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.046 * [taylor]: Taking taylor expansion of -1 in c
1.046 * [taylor]: Taking taylor expansion of c in c
1.046 * [taylor]: Taking taylor expansion of 2 in c
1.046 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.047 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.047 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.047 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.047 * [taylor]: Taking taylor expansion of -1 in c
1.047 * [taylor]: Taking taylor expansion of c in c
1.047 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.047 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.047 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.047 * [taylor]: Taking taylor expansion of -1 in c
1.047 * [taylor]: Taking taylor expansion of c in c
1.048 * [taylor]: Taking taylor expansion of 2 in c
1.057 * * * [progress]: simplifying candidates
1.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (* (* (fmod (exp (log (cosh c))) (log1p a)) (fmod (exp (log (cosh c))) (log1p a))) (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (log (* (cbrt (cosh c)) (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (log 1)
  (log (cosh c))
  (log (+ (exp c) (exp (- c))))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (exp (log (cosh c)))
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (* (* (log (cosh c)) (log (cosh c))) (log (cosh c)))
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (exp (log (cosh c))))
  (log1p (exp (log (cosh c))))
  (exp 1)
  (exp (* (cbrt (log (cosh c))) (cbrt (log (cosh c)))))
  (exp (sqrt (log (cosh c))))
  (exp 1)
  (exp (log (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (exp (log (cbrt (cosh c))))
  (exp (log (sqrt (cosh c))))
  (exp (log (sqrt (cosh c))))
  (exp (log 1))
  (exp (log (cosh c)))
  (exp (log (+ (exp c) (exp (- c)))))
  (exp (log 2))
  (log (exp (log (cosh c))))
  (exp (exp (log (cosh c))))
  (* (cbrt (exp (log (cosh c)))) (cbrt (exp (log (cosh c)))))
  (cbrt (exp (log (cosh c))))
  (* (* (exp (log (cosh c))) (exp (log (cosh c)))) (exp (log (cosh c))))
  (sqrt (exp (log (cosh c))))
  (sqrt (exp (log (cosh c))))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/45 (pow c 6)) (* 1/2 (pow c 2))) (* 1/12 (pow c 4)))
  (log (* 1/2 (+ (exp c) (exp (- c)))))
  (log (* 1/2 (+ (exp (* -1 c)) (exp c))))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
1.062 * * [simplify]: iteration  0 :  149  enodes  (cost  269 )
1.064 * * [simplify]: iteration  1 :  320  enodes  (cost  241 )
1.069 * * [simplify]: iteration  2 :  999  enodes  (cost  217 )
1.096 * * [simplify]: iteration  3 :  5001  enodes  (cost  207 )
1.097 * [simplify]: Simplified to:
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (* 2 (log (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  0
  (log (cosh c))
  (log (+ (exp (* -1 c)) (exp c)))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (cosh c)
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (pow (log (cosh c)) 3)
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (cosh c))
  (log1p (cosh c))
  E
  (exp (* (cbrt (log (cosh c))) (cbrt (log (cosh c)))))
  (exp (sqrt (log (cosh c))))
  E
  (pow (cbrt (cosh c)) 2)
  (cbrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  (cosh c)
  (* (cosh c) 2)
  2
  (log (cosh c))
  (exp (cosh c))
  (pow (cbrt (cosh c)) 2)
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (expm1 (cosh c))
  (log1p (cosh c))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (pow (cbrt (cosh c)) 2)
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))
  (log (cosh c))
  (log (cosh c))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
1.097 * * * [progress]: adding candidates to table
1.260 * * [progress]: iteration 3 / 4
1.260 * * * [progress]: picking best candidate
1.276 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (exp (log (cosh c))) (log1p a)))))>
1.276 * * * [progress]: localizing error
1.288 * * * [progress]: generating rewritten candidates
1.288 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.288 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.290 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.294 * * * [progress]: generating series expansions
1.294 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.295 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.296 * [taylor]: Taking taylor expansion of 0 in a
1.296 * [taylor]: Taking taylor expansion of 0 in a
1.296 * [taylor]: Taking taylor expansion of 0 in a
1.296 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.297 * [taylor]: Taking taylor expansion of 0 in a
1.297 * [taylor]: Taking taylor expansion of 0 in a
1.297 * [taylor]: Taking taylor expansion of 0 in a
1.297 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.297 * [approximate]: Taking taylor expansion of (log (cosh c)) in (c) around 0
1.297 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.297 * [taylor]: Taking taylor expansion of (cosh c) in c
1.297 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.297 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.297 * [taylor]: Taking taylor expansion of (exp c) in c
1.297 * [taylor]: Taking taylor expansion of c in c
1.297 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.297 * [taylor]: Taking taylor expansion of (- c) in c
1.297 * [taylor]: Taking taylor expansion of c in c
1.298 * [taylor]: Taking taylor expansion of 2 in c
1.301 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.301 * [taylor]: Taking taylor expansion of (cosh c) in c
1.301 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.301 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.301 * [taylor]: Taking taylor expansion of (exp c) in c
1.301 * [taylor]: Taking taylor expansion of c in c
1.301 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.301 * [taylor]: Taking taylor expansion of (- c) in c
1.301 * [taylor]: Taking taylor expansion of c in c
1.301 * [taylor]: Taking taylor expansion of 2 in c
1.376 * [approximate]: Taking taylor expansion of (log (cosh (/ 1 c))) in (c) around 0
1.376 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.376 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.376 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.376 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.376 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.376 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.376 * [taylor]: Taking taylor expansion of c in c
1.377 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.377 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.377 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.377 * [taylor]: Taking taylor expansion of c in c
1.377 * [taylor]: Taking taylor expansion of 2 in c
1.377 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.377 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.378 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.378 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.378 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.378 * [taylor]: Taking taylor expansion of c in c
1.378 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.378 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.378 * [taylor]: Taking taylor expansion of c in c
1.378 * [taylor]: Taking taylor expansion of 2 in c
1.409 * [approximate]: Taking taylor expansion of (log (cosh (/ -1 c))) in (c) around 0
1.409 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.410 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.410 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.410 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.410 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.410 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.410 * [taylor]: Taking taylor expansion of -1 in c
1.410 * [taylor]: Taking taylor expansion of c in c
1.410 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.410 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.410 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.410 * [taylor]: Taking taylor expansion of -1 in c
1.410 * [taylor]: Taking taylor expansion of c in c
1.411 * [taylor]: Taking taylor expansion of 2 in c
1.411 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.411 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.411 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.411 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.411 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.411 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.411 * [taylor]: Taking taylor expansion of -1 in c
1.411 * [taylor]: Taking taylor expansion of c in c
1.411 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.411 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.411 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.411 * [taylor]: Taking taylor expansion of -1 in c
1.411 * [taylor]: Taking taylor expansion of c in c
1.412 * [taylor]: Taking taylor expansion of 2 in c
1.441 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.441 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.442 * [taylor]: Taking taylor expansion of 0 in a
1.442 * [taylor]: Taking taylor expansion of 0 in a
1.442 * [taylor]: Taking taylor expansion of 0 in a
1.442 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.443 * [taylor]: Taking taylor expansion of 0 in a
1.443 * [taylor]: Taking taylor expansion of 0 in a
1.443 * [taylor]: Taking taylor expansion of 0 in a
1.443 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.443 * [taylor]: Taking taylor expansion of 0 in a
1.443 * [taylor]: Taking taylor expansion of 0 in a
1.444 * [taylor]: Taking taylor expansion of 0 in a
1.444 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.444 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.444 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.444 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.444 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.444 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.445 * [taylor]: Taking taylor expansion of 0 in a
1.447 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.450 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.451 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.451 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.459 * [taylor]: Taking taylor expansion of 0 in a
1.460 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.463 * [taylor]: Taking taylor expansion of 0 in a
1.466 * [taylor]: Taking taylor expansion of 0 in a
1.466 * * * [progress]: simplifying candidates
1.467 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (* (* (fmod (exp (log (cosh c))) (log1p a)) (fmod (exp (log (cosh c))) (log1p a))) (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (log (* (cbrt (cosh c)) (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (log 1)
  (log (cosh c))
  (log (+ (exp c) (exp (- c))))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (exp (log (cosh c)))
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (* (* (log (cosh c)) (log (cosh c))) (log (cosh c)))
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (log1p (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
  (exp (sqrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))))
  (exp (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (exp (log (sqrt (fmod (exp (log (cosh c))) (log1p a)))))
  (exp (log (sqrt (fmod (exp (log (cosh c))) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (exp (log (cosh c))) (log1p a))))
  (log (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (exp (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (* (cbrt (exp (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (exp (log (fmod (exp (log (cosh c))) (log1p a))))))
  (cbrt (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (* (* (exp (log (fmod (exp (log (cosh c))) (log1p a)))) (exp (log (fmod (exp (log (cosh c))) (log1p a))))) (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (sqrt (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (sqrt (exp (log (fmod (exp (log (cosh c))) (log1p a)))))
  (expm1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (log1p (log (fmod (exp (log (cosh c))) (log1p a))))
  (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  (log 1)
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (log (log (fmod (exp (log (cosh c))) (log1p a))))
  (exp (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (* (log (fmod (exp (log (cosh c))) (log1p a))) (log (fmod (exp (log (cosh c))) (log1p a)))) (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/45 (pow c 6)) (* 1/2 (pow c 2))) (* 1/12 (pow c 4)))
  (log (* 1/2 (+ (exp c) (exp (- c)))))
  (log (* 1/2 (+ (exp (* -1 c)) (exp c))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.470 * * [simplify]: iteration  0 :  145  enodes  (cost  432 )
1.473 * * [simplify]: iteration  1 :  280  enodes  (cost  375 )
1.477 * * [simplify]: iteration  2 :  804  enodes  (cost  355 )
1.499 * * [simplify]: iteration  3 :  4181  enodes  (cost  349 )
1.620 * * [simplify]: iteration  4 :  5001  enodes  (cost  349 )
1.622 * [simplify]: Simplified to:
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (pow (cbrt (fmod (exp (log (cosh c))) (log1p a))) 2)
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (* 2 (log (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  0
  (log (cosh c))
  (log (+ (exp (* -1 c)) (exp c)))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (cosh c)
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (pow (log (cosh c)) 3)
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
  (exp (sqrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  E
  (pow (cbrt (fmod (exp (log (cosh c))) (log1p a))) 2)
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (pow (cbrt (fmod (exp (log (cosh c))) (log1p a))) 2)
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (log1p (log (fmod (exp (log (cosh c))) (log1p a))))
  (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (exp (log (cosh c))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))
  (log (cosh c))
  (log (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.622 * * * [progress]: adding candidates to table
1.820 * * [progress]: iteration 4 / 4
1.820 * * * [progress]: picking best candidate
1.856 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))>
1.856 * * * [progress]: localizing error
1.871 * * * [progress]: generating rewritten candidates
1.871 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
1.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.876 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.878 * * * [progress]: generating series expansions
1.878 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.879 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.879 * [taylor]: Taking taylor expansion of 0 in a
1.879 * [taylor]: Taking taylor expansion of 0 in a
1.879 * [taylor]: Taking taylor expansion of 0 in a
1.879 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.880 * [taylor]: Taking taylor expansion of 0 in a
1.880 * [taylor]: Taking taylor expansion of 0 in a
1.880 * [taylor]: Taking taylor expansion of 0 in a
1.880 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.881 * [taylor]: Taking taylor expansion of 0 in a
1.881 * [taylor]: Taking taylor expansion of 0 in a
1.881 * [taylor]: Taking taylor expansion of 0 in a
1.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
1.881 * [approximate]: Taking taylor expansion of (log (cosh c)) in (c) around 0
1.881 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.881 * [taylor]: Taking taylor expansion of (cosh c) in c
1.881 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.881 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.881 * [taylor]: Taking taylor expansion of (exp c) in c
1.881 * [taylor]: Taking taylor expansion of c in c
1.881 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.881 * [taylor]: Taking taylor expansion of (- c) in c
1.881 * [taylor]: Taking taylor expansion of c in c
1.882 * [taylor]: Taking taylor expansion of 2 in c
1.883 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.883 * [taylor]: Taking taylor expansion of (cosh c) in c
1.883 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.883 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.883 * [taylor]: Taking taylor expansion of (exp c) in c
1.883 * [taylor]: Taking taylor expansion of c in c
1.883 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.883 * [taylor]: Taking taylor expansion of (- c) in c
1.883 * [taylor]: Taking taylor expansion of c in c
1.883 * [taylor]: Taking taylor expansion of 2 in c
1.959 * [approximate]: Taking taylor expansion of (log (cosh (/ 1 c))) in (c) around 0
1.959 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.959 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.960 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.960 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.960 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.960 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.960 * [taylor]: Taking taylor expansion of c in c
1.960 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.960 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.960 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.960 * [taylor]: Taking taylor expansion of c in c
1.961 * [taylor]: Taking taylor expansion of 2 in c
1.961 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.961 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.961 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.961 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.961 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.961 * [taylor]: Taking taylor expansion of c in c
1.961 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.961 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.961 * [taylor]: Taking taylor expansion of c in c
1.962 * [taylor]: Taking taylor expansion of 2 in c
1.991 * [approximate]: Taking taylor expansion of (log (cosh (/ -1 c))) in (c) around 0
1.992 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.992 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.992 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.992 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.992 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.992 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.992 * [taylor]: Taking taylor expansion of -1 in c
1.992 * [taylor]: Taking taylor expansion of c in c
1.992 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.992 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.992 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.992 * [taylor]: Taking taylor expansion of -1 in c
1.992 * [taylor]: Taking taylor expansion of c in c
1.993 * [taylor]: Taking taylor expansion of 2 in c
1.993 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.993 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.993 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.993 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.993 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.993 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.993 * [taylor]: Taking taylor expansion of -1 in c
1.993 * [taylor]: Taking taylor expansion of c in c
1.993 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.993 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.993 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.993 * [taylor]: Taking taylor expansion of -1 in c
1.993 * [taylor]: Taking taylor expansion of c in c
1.994 * [taylor]: Taking taylor expansion of 2 in c
2.026 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.026 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
2.026 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
2.026 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
2.026 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
2.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.026 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.027 * [taylor]: Taking taylor expansion of (log E) in a
2.027 * [taylor]: Taking taylor expansion of E in a
2.027 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
2.027 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
2.027 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
2.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.027 * [taylor]: Taking taylor expansion of (log E) in c
2.027 * [taylor]: Taking taylor expansion of E in c
2.027 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
2.027 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
2.027 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
2.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.027 * [taylor]: Taking taylor expansion of (log E) in c
2.027 * [taylor]: Taking taylor expansion of E in c
2.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.030 * [taylor]: Taking taylor expansion of 0 in a
2.034 * [taylor]: Taking taylor expansion of 0 in a
2.039 * [taylor]: Taking taylor expansion of 0 in a
2.040 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
2.040 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.040 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
2.040 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
2.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.040 * [taylor]: Taking taylor expansion of (log E) in a
2.040 * [taylor]: Taking taylor expansion of E in a
2.040 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.040 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
2.040 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
2.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.040 * [taylor]: Taking taylor expansion of (log E) in c
2.040 * [taylor]: Taking taylor expansion of E in c
2.041 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.041 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
2.041 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
2.041 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.041 * [taylor]: Taking taylor expansion of (log E) in c
2.041 * [taylor]: Taking taylor expansion of E in c
2.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.044 * [taylor]: Taking taylor expansion of 0 in a
2.048 * [taylor]: Taking taylor expansion of 0 in a
2.053 * [taylor]: Taking taylor expansion of 0 in a
2.054 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
2.054 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.054 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
2.054 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
2.054 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.054 * [taylor]: Taking taylor expansion of (log E) in a
2.054 * [taylor]: Taking taylor expansion of E in a
2.054 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.054 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
2.054 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
2.054 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.055 * [taylor]: Taking taylor expansion of (log E) in c
2.055 * [taylor]: Taking taylor expansion of E in c
2.055 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.055 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
2.055 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
2.055 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.055 * [taylor]: Taking taylor expansion of (log E) in c
2.055 * [taylor]: Taking taylor expansion of E in c
2.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.058 * [taylor]: Taking taylor expansion of 0 in a
2.062 * [taylor]: Taking taylor expansion of 0 in a
2.067 * [taylor]: Taking taylor expansion of 0 in a
2.068 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.068 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.068 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.068 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.068 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.068 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.068 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.069 * [taylor]: Taking taylor expansion of 0 in a
2.071 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.074 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.074 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.074 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.074 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.074 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.075 * [taylor]: Taking taylor expansion of 0 in a
2.077 * [taylor]: Taking taylor expansion of 0 in a
2.080 * [taylor]: Taking taylor expansion of 0 in a
2.080 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.080 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.080 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.081 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.081 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.082 * [taylor]: Taking taylor expansion of 0 in a
2.083 * [taylor]: Taking taylor expansion of 0 in a
2.086 * [taylor]: Taking taylor expansion of 0 in a
2.087 * * * [progress]: simplifying candidates
2.088 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (* (* (fmod (exp (log (cosh c))) (log1p a)) (fmod (exp (log (cosh c))) (log1p a))) (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (sqrt (fmod (exp (log (cosh c))) (log1p a)))
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (log (* (cbrt (cosh c)) (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  (log 1)
  (log (cosh c))
  (log (+ (exp c) (exp (- c))))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (exp (log (cosh c)))
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (* (* (log (cosh c)) (log (cosh c))) (log (cosh c)))
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (log1p (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (* 1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (log E) (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (log E) (log (fmod (exp (log (cosh c))) (log1p a))))
  (* 1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow E 1)
  (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
  (pow E (sqrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (pow E 1)
  (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))))
  (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (pow E (log (sqrt (fmod (exp (log (cosh c))) (log1p a)))))
  (pow E (log (sqrt (fmod (exp (log (cosh c))) (log1p a)))))
  (pow E (log 1))
  (pow E (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (cbrt E) (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (sqrt E) (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (sqrt E) (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow 1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow E (log (fmod (exp (log (cosh c))) (log1p a))))
  (log (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (exp (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (* (cbrt (pow E (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (pow E (log (fmod (exp (log (cosh c))) (log1p a))))))
  (cbrt (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (* (* (pow E (log (fmod (exp (log (cosh c))) (log1p a)))) (pow E (log (fmod (exp (log (cosh c))) (log1p a))))) (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (sqrt (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (sqrt (pow E (log (fmod (exp (log (cosh c))) (log1p a)))))
  (pow E (/ (log (fmod (exp (log (cosh c))) (log1p a))) 2))
  (pow E (/ (log (fmod (exp (log (cosh c))) (log1p a))) 2))
  (expm1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (log1p (log (fmod (exp (log (cosh c))) (log1p a))))
  (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  (log (sqrt (fmod (exp (log (cosh c))) (log1p a))))
  (log 1)
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (exp (log (cosh c))) (log1p a)))
  (log (log (fmod (exp (log (cosh c))) (log1p a))))
  (exp (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (* (* (log (fmod (exp (log (cosh c))) (log1p a))) (log (fmod (exp (log (cosh c))) (log1p a)))) (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/45 (pow c 6)) (* 1/2 (pow c 2))) (* 1/12 (pow c 4)))
  (log (* 1/2 (+ (exp c) (exp (- c)))))
  (log (* 1/2 (+ (exp (* -1 c)) (exp c))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
2.092 * * [simplify]: iteration  0 :  192  enodes  (cost  534 )
2.095 * * [simplify]: iteration  1 :  544  enodes  (cost  447 )
2.104 * * [simplify]: iteration  2 :  1990  enodes  (cost  430 )
2.149 * * [simplify]: iteration  3 :  5001  enodes  (cost  401 )
2.151 * [simplify]: Simplified to:
   (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (log (cosh c)))
  (log1p (log (cosh c)))
  (* 2 (log (cbrt (cosh c))))
  (log (cbrt (cosh c)))
  (log (sqrt (cosh c)))
  (log (sqrt (cosh c)))
  0
  (log (cosh c))
  (+ (log (cosh c)) (log 2))
  (log 2)
  (log (cosh c))
  (log (log (cosh c)))
  (cosh c)
  (* (cbrt (log (cosh c))) (cbrt (log (cosh c))))
  (cbrt (log (cosh c)))
  (pow (log (cosh c)) 3)
  (sqrt (log (cosh c)))
  (sqrt (log (cosh c)))
  (expm1 (fmod (exp (log (cosh c))) (log1p a)))
  (log1p (fmod (exp (log (cosh c))) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
  (pow E (sqrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  E
  (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))))
  (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  1
  (fmod (cosh c) (log1p a))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (exp (log (cosh c))) (log1p a)))
  (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (cbrt (fmod (exp (log (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (log (fmod (exp (log (cosh c))) (log1p a))))
  (log1p (log (fmod (exp (log (cosh c))) (log1p a))))
  (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))
  (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))
  (/ (log (fmod (cosh c) (log1p a))) 2)
  (/ (log (fmod (cosh c) (log1p a))) 2)
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))
  (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (sqrt (log (fmod (exp (log (cosh c))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))
  (log (cosh c))
  (log (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
2.152 * * * [progress]: adding candidates to table
2.355 * [progress]: [Phase 3 of 3] Extracting.
2.355 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.358 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.358 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.414 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.464 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.529 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))>)
2.556 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.609 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (exp (fma (pow c 6) 1/45 (- (* 1/2 (pow c 2)) (* 1/12 (pow c 4))))) (log1p a)))))> #<alt (λ (a c) (pow E (+ (* 2 (log (cbrt (fmod (exp (log (cosh c))) (log1p a))))) (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (exp (log (cosh c))) (log1p a))) (cbrt (fmod (exp (log (cosh c))) (log1p a)))))) (pow E (log (cbrt (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (exp (+ (* 2 (log (cbrt (cosh c)))) (log (cbrt (cosh c))))) (log1p a)))))>)
2.662 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
2.662 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
2.663 * * [simplify]: iteration  0 :  16  enodes  (cost  24 )
2.663 * * [simplify]: iteration  1 :  18  enodes  (cost  24 )
2.663 * * [simplify]: iteration  2 :  18  enodes  (cost  24 )
2.664 * [simplify]: Simplified to:
   (pow E (* (* (cbrt (log (fmod (exp (log (cosh c))) (log1p a)))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))) (cbrt (log (fmod (exp (log (cosh c))) (log1p a))))))
14.023 * [regime-testing]: Baseline error score: 34.46395942014711
14.024 * [regime-testing]: Oracle error score: 34.41610516769521
14.025 * [regime-testing]: End program error score: 34.46395942014711