8.386 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.326 * * * [progress]: [2/2] Setting up program.
0.329 * [progress]: [Phase 2 of 3] Improving.
0.329 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.332 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.333 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.334 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.335 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.336 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.338 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.339 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.340 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.342 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.349 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.551 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.551 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.551 * * [progress]: iteration 1 / 4
0.551 * * * [progress]: picking best candidate
0.554 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.554 * * * [progress]: localizing error
0.560 * * * [progress]: generating rewritten candidates
0.560 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.561 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.563 * * * [progress]: generating series expansions
0.563 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.563 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.563 * [taylor]: Taking taylor expansion of 0 in a
0.563 * [taylor]: Taking taylor expansion of 0 in a
0.563 * [taylor]: Taking taylor expansion of 0 in a
0.563 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.563 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.564 * [taylor]: Taking taylor expansion of 0 in a
0.564 * [taylor]: Taking taylor expansion of 0 in a
0.564 * [taylor]: Taking taylor expansion of 0 in a
0.564 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * [taylor]: Taking taylor expansion of 0 in a
0.565 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.565 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.565 * [taylor]: Taking taylor expansion of (cosh c) in c
0.565 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.565 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.565 * [taylor]: Taking taylor expansion of (exp c) in c
0.565 * [taylor]: Taking taylor expansion of c in c
0.565 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.565 * [taylor]: Taking taylor expansion of (- c) in c
0.565 * [taylor]: Taking taylor expansion of c in c
0.566 * [taylor]: Taking taylor expansion of 2 in c
0.567 * [taylor]: Taking taylor expansion of (cosh c) in c
0.567 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.567 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.567 * [taylor]: Taking taylor expansion of (exp c) in c
0.567 * [taylor]: Taking taylor expansion of c in c
0.567 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.567 * [taylor]: Taking taylor expansion of (- c) in c
0.567 * [taylor]: Taking taylor expansion of c in c
0.567 * [taylor]: Taking taylor expansion of 2 in c
0.585 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.585 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.585 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.585 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.585 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.585 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.585 * [taylor]: Taking taylor expansion of c in c
0.586 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.586 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.586 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.586 * [taylor]: Taking taylor expansion of c in c
0.586 * [taylor]: Taking taylor expansion of 2 in c
0.586 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.586 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.586 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.586 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.586 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.586 * [taylor]: Taking taylor expansion of c in c
0.587 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.587 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.587 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.587 * [taylor]: Taking taylor expansion of c in c
0.587 * [taylor]: Taking taylor expansion of 2 in c
0.598 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.598 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.598 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.598 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.598 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.598 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.598 * [taylor]: Taking taylor expansion of -1 in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.598 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.598 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.598 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.598 * [taylor]: Taking taylor expansion of -1 in c
0.599 * [taylor]: Taking taylor expansion of c in c
0.599 * [taylor]: Taking taylor expansion of 2 in c
0.599 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.599 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.599 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.599 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.599 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.599 * [taylor]: Taking taylor expansion of -1 in c
0.599 * [taylor]: Taking taylor expansion of c in c
0.600 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.600 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.600 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.600 * [taylor]: Taking taylor expansion of -1 in c
0.600 * [taylor]: Taking taylor expansion of c in c
0.600 * [taylor]: Taking taylor expansion of 2 in c
0.611 * * * [progress]: simplifying candidates
0.611 * [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.618 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.620 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.624 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.640 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.750 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.751 * [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.751 * * * [progress]: adding candidates to table
0.807 * * [progress]: iteration 2 / 4
0.807 * * * [progress]: picking best candidate
0.830 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))>
0.830 * * * [progress]: localizing error
0.838 * * * [progress]: generating rewritten candidates
0.838 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.839 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.846 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.847 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.851 * * * [progress]: generating series expansions
0.851 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.851 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.853 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.853 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.853 * [taylor]: Taking taylor expansion of 0 in a
0.853 * [taylor]: Taking taylor expansion of 0 in a
0.853 * [taylor]: Taking taylor expansion of 0 in a
0.853 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.853 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.853 * [taylor]: Taking taylor expansion of (cosh c) in c
0.853 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.853 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.853 * [taylor]: Taking taylor expansion of (exp c) in c
0.853 * [taylor]: Taking taylor expansion of c in c
0.853 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.853 * [taylor]: Taking taylor expansion of (- c) in c
0.853 * [taylor]: Taking taylor expansion of c in c
0.854 * [taylor]: Taking taylor expansion of 2 in c
0.855 * [taylor]: Taking taylor expansion of (cosh c) in c
0.855 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.855 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.855 * [taylor]: Taking taylor expansion of (exp c) in c
0.855 * [taylor]: Taking taylor expansion of c in c
0.855 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.855 * [taylor]: Taking taylor expansion of (- c) in c
0.855 * [taylor]: Taking taylor expansion of c in c
0.855 * [taylor]: Taking taylor expansion of 2 in c
0.872 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.873 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.873 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.873 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.873 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.873 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.873 * [taylor]: Taking taylor expansion of c in c
0.873 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.873 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.873 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.873 * [taylor]: Taking taylor expansion of c in c
0.874 * [taylor]: Taking taylor expansion of 2 in c
0.874 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.874 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.874 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.874 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.874 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.874 * [taylor]: Taking taylor expansion of c in c
0.874 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.874 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.874 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.874 * [taylor]: Taking taylor expansion of c in c
0.875 * [taylor]: Taking taylor expansion of 2 in c
0.885 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.885 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.885 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.885 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.885 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.885 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.885 * [taylor]: Taking taylor expansion of -1 in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.886 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.886 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.886 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.886 * [taylor]: Taking taylor expansion of -1 in c
0.886 * [taylor]: Taking taylor expansion of c in c
0.886 * [taylor]: Taking taylor expansion of 2 in c
0.887 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.887 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.887 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.887 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.887 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.887 * [taylor]: Taking taylor expansion of -1 in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.887 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.887 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.887 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.887 * [taylor]: Taking taylor expansion of -1 in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.888 * [taylor]: Taking taylor expansion of 2 in c
0.898 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.898 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.898 * [taylor]: Taking taylor expansion of (cosh c) in c
0.898 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.898 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.898 * [taylor]: Taking taylor expansion of (exp c) in c
0.898 * [taylor]: Taking taylor expansion of c in c
0.898 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.898 * [taylor]: Taking taylor expansion of (- c) in c
0.898 * [taylor]: Taking taylor expansion of c in c
0.903 * [taylor]: Taking taylor expansion of 2 in c
0.903 * [taylor]: Taking taylor expansion of (cosh c) in c
0.903 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.904 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.904 * [taylor]: Taking taylor expansion of (exp c) in c
0.904 * [taylor]: Taking taylor expansion of c in c
0.904 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.904 * [taylor]: Taking taylor expansion of (- c) in c
0.904 * [taylor]: Taking taylor expansion of c in c
0.904 * [taylor]: Taking taylor expansion of 2 in c
0.921 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.921 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.921 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.921 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.921 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.921 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.921 * [taylor]: Taking taylor expansion of c in c
0.921 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.921 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.921 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.922 * [taylor]: Taking taylor expansion of c in c
0.922 * [taylor]: Taking taylor expansion of 2 in c
0.922 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.922 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.922 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.922 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.922 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.922 * [taylor]: Taking taylor expansion of c in c
0.923 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.923 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.923 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.923 * [taylor]: Taking taylor expansion of c in c
0.923 * [taylor]: Taking taylor expansion of 2 in c
0.933 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.933 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.934 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.934 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.934 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.934 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.934 * [taylor]: Taking taylor expansion of -1 in c
0.934 * [taylor]: Taking taylor expansion of c in c
0.934 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.934 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.934 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.934 * [taylor]: Taking taylor expansion of -1 in c
0.934 * [taylor]: Taking taylor expansion of c in c
0.935 * [taylor]: Taking taylor expansion of 2 in c
0.935 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.935 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.935 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.935 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.935 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.935 * [taylor]: Taking taylor expansion of -1 in c
0.935 * [taylor]: Taking taylor expansion of c in c
0.935 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.935 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.935 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.935 * [taylor]: Taking taylor expansion of -1 in c
0.935 * [taylor]: Taking taylor expansion of c in c
0.936 * [taylor]: Taking taylor expansion of 2 in c
0.946 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.946 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.946 * [taylor]: Taking taylor expansion of (cosh c) in c
0.946 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.946 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.946 * [taylor]: Taking taylor expansion of (exp c) in c
0.946 * [taylor]: Taking taylor expansion of c in c
0.946 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.946 * [taylor]: Taking taylor expansion of (- c) in c
0.946 * [taylor]: Taking taylor expansion of c in c
0.947 * [taylor]: Taking taylor expansion of 2 in c
0.947 * [taylor]: Taking taylor expansion of (cosh c) in c
0.948 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.948 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.948 * [taylor]: Taking taylor expansion of (exp c) in c
0.948 * [taylor]: Taking taylor expansion of c in c
0.948 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.948 * [taylor]: Taking taylor expansion of (- c) in c
0.948 * [taylor]: Taking taylor expansion of c in c
0.948 * [taylor]: Taking taylor expansion of 2 in c
0.965 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.965 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.965 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.965 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.965 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.965 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.965 * [taylor]: Taking taylor expansion of c in c
0.966 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.966 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.966 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.966 * [taylor]: Taking taylor expansion of c in c
0.966 * [taylor]: Taking taylor expansion of 2 in c
0.966 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.966 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.967 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.967 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.967 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.967 * [taylor]: Taking taylor expansion of c in c
0.967 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.967 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.967 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.967 * [taylor]: Taking taylor expansion of c in c
0.967 * [taylor]: Taking taylor expansion of 2 in c
0.978 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.978 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.978 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.978 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.978 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.978 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.978 * [taylor]: Taking taylor expansion of -1 in c
0.978 * [taylor]: Taking taylor expansion of c in c
0.978 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.978 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.978 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.978 * [taylor]: Taking taylor expansion of -1 in c
0.978 * [taylor]: Taking taylor expansion of c in c
0.979 * [taylor]: Taking taylor expansion of 2 in c
0.979 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.979 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.979 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.979 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.979 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.979 * [taylor]: Taking taylor expansion of -1 in c
0.979 * [taylor]: Taking taylor expansion of c in c
0.979 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.980 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.980 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.980 * [taylor]: Taking taylor expansion of -1 in c
0.980 * [taylor]: Taking taylor expansion of c in c
0.980 * [taylor]: Taking taylor expansion of 2 in c
0.996 * * * [progress]: simplifying candidates
0.997 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (expm1 (* (sqrt (cosh c)) (sqrt (cosh c))))
  (log1p (* (sqrt (cosh c)) (sqrt (cosh c))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (cosh c) (cosh c))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (cosh c) (cosh c))
  (+ 1 1)
  (+ (log (sqrt (cosh c))) (log (sqrt (cosh c))))
  (log (* (sqrt (cosh c)) (sqrt (cosh c))))
  (exp (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))) (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))))
  (* (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))) (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))))
  (cbrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (* (sqrt (cosh c)) (sqrt (cosh c)))) (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (cosh c) (cosh c))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt 2) (sqrt 2))
  (* (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (* (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cbrt (cosh c))) (sqrt (cbrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 1 1)
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (cosh c)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) 1)
  (* (cbrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cbrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (cosh c)))
  (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))
  (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)))
  (+ (* 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.001 * * [simplify]: iteration  0 :  168  enodes  (cost  387 )
1.005 * * [simplify]: iteration  1 :  673  enodes  (cost  339 )
1.029 * * [simplify]: iteration  2 :  5002  enodes  (cost  301 )
1.031 * [simplify]: Simplified to:
   (expm1 (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log1p (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (expm1 (cosh c))
  (log1p (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)))))
  (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))
  (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)
  (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.031 * * * [progress]: adding candidates to table
1.192 * * [progress]: iteration 3 / 4
1.192 * * * [progress]: picking best candidate
1.210 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>
1.210 * * * [progress]: localizing error
1.223 * * * [progress]: generating rewritten candidates
1.223 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.224 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.230 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.233 * * * [progress]: generating series expansions
1.233 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.233 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.233 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [taylor]: Taking taylor expansion of 0 in a
1.234 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.234 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.234 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.235 * [taylor]: Taking taylor expansion of 0 in a
1.235 * [taylor]: Taking taylor expansion of 0 in a
1.235 * [taylor]: Taking taylor expansion of 0 in a
1.235 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * [taylor]: Taking taylor expansion of 0 in a
1.236 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.236 * [approximate]: Taking taylor expansion of (pow (pow (cosh c) 1/6) 4) in (c) around 0
1.236 * [taylor]: Taking taylor expansion of (pow (pow (cosh c) 1/6) 4) in c
1.236 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.236 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.236 * [taylor]: Taking taylor expansion of 1/6 in c
1.236 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.236 * [taylor]: Taking taylor expansion of (cosh c) in c
1.236 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.236 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.236 * [taylor]: Taking taylor expansion of (exp c) in c
1.236 * [taylor]: Taking taylor expansion of c in c
1.236 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.236 * [taylor]: Taking taylor expansion of (- c) in c
1.237 * [taylor]: Taking taylor expansion of c in c
1.237 * [taylor]: Taking taylor expansion of 2 in c
1.251 * [taylor]: Taking taylor expansion of (pow (pow (cosh c) 1/6) 4) in c
1.251 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.251 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.251 * [taylor]: Taking taylor expansion of 1/6 in c
1.251 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.251 * [taylor]: Taking taylor expansion of (cosh c) in c
1.252 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.252 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.252 * [taylor]: Taking taylor expansion of (exp c) in c
1.252 * [taylor]: Taking taylor expansion of c in c
1.252 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.252 * [taylor]: Taking taylor expansion of (- c) in c
1.252 * [taylor]: Taking taylor expansion of c in c
1.252 * [taylor]: Taking taylor expansion of 2 in c
1.361 * [approximate]: Taking taylor expansion of (pow (pow (cosh (/ 1 c)) 1/6) 4) in (c) around 0
1.361 * [taylor]: Taking taylor expansion of (pow (pow (cosh (/ 1 c)) 1/6) 4) in c
1.361 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.361 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.361 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.361 * [taylor]: Taking taylor expansion of 1/6 in c
1.361 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.361 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.361 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.361 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 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 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 c) in c
1.361 * [taylor]: Taking taylor expansion of c in c
1.362 * [taylor]: Taking taylor expansion of 2 in c
1.362 * [taylor]: Taking taylor expansion of (pow (pow (cosh (/ 1 c)) 1/6) 4) in c
1.362 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.362 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.362 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.363 * [taylor]: Taking taylor expansion of 1/6 in c
1.363 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.363 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.363 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.363 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.363 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.363 * [taylor]: Taking taylor expansion of c in c
1.363 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.363 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.363 * [taylor]: Taking taylor expansion of c in c
1.364 * [taylor]: Taking taylor expansion of 2 in c
1.427 * [approximate]: Taking taylor expansion of (pow (pow (cosh (/ -1 c)) 1/6) 4) in (c) around 0
1.427 * [taylor]: Taking taylor expansion of (pow (pow (cosh (/ -1 c)) 1/6) 4) in c
1.427 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.427 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.427 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.427 * [taylor]: Taking taylor expansion of 1/6 in c
1.427 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.427 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.428 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.428 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.428 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.428 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.428 * [taylor]: Taking taylor expansion of -1 in c
1.428 * [taylor]: Taking taylor expansion of c in c
1.428 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.428 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.428 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.428 * [taylor]: Taking taylor expansion of -1 in c
1.428 * [taylor]: Taking taylor expansion of c in c
1.429 * [taylor]: Taking taylor expansion of 2 in c
1.429 * [taylor]: Taking taylor expansion of (pow (pow (cosh (/ -1 c)) 1/6) 4) in c
1.429 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.429 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.429 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.429 * [taylor]: Taking taylor expansion of 1/6 in c
1.429 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.429 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.429 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.429 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.429 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.429 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.429 * [taylor]: Taking taylor expansion of -1 in c
1.429 * [taylor]: Taking taylor expansion of c in c
1.430 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.430 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.430 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.430 * [taylor]: Taking taylor expansion of -1 in c
1.430 * [taylor]: Taking taylor expansion of c in c
1.430 * [taylor]: Taking taylor expansion of 2 in c
1.492 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.492 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/6) in (c) around 0
1.492 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.492 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.492 * [taylor]: Taking taylor expansion of 1/6 in c
1.492 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.492 * [taylor]: Taking taylor expansion of (cosh c) in c
1.492 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.492 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.492 * [taylor]: Taking taylor expansion of (exp c) in c
1.492 * [taylor]: Taking taylor expansion of c in c
1.492 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.492 * [taylor]: Taking taylor expansion of (- c) in c
1.492 * [taylor]: Taking taylor expansion of c in c
1.493 * [taylor]: Taking taylor expansion of 2 in c
1.502 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.502 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.502 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.502 * [taylor]: Taking taylor expansion of 1/6 in c
1.502 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.502 * [taylor]: Taking taylor expansion of (cosh c) in c
1.502 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.502 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.502 * [taylor]: Taking taylor expansion of (exp c) in c
1.502 * [taylor]: Taking taylor expansion of c in c
1.502 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.502 * [taylor]: Taking taylor expansion of (- c) in c
1.502 * [taylor]: Taking taylor expansion of c in c
1.503 * [taylor]: Taking taylor expansion of 2 in c
1.538 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in (c) around 0
1.538 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.538 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.538 * [taylor]: Taking taylor expansion of 1/6 in c
1.538 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.538 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.538 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.538 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.538 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.538 * [taylor]: Taking taylor expansion of c in c
1.539 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.539 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.539 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.539 * [taylor]: Taking taylor expansion of c in c
1.539 * [taylor]: Taking taylor expansion of 2 in c
1.540 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.540 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.540 * [taylor]: Taking taylor expansion of 1/6 in c
1.540 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.540 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.540 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.540 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.540 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.540 * [taylor]: Taking taylor expansion of c in c
1.540 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.540 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.541 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.541 * [taylor]: Taking taylor expansion of c in c
1.541 * [taylor]: Taking taylor expansion of 2 in c
1.593 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in (c) around 0
1.593 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.593 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.593 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.593 * [taylor]: Taking taylor expansion of 1/6 in c
1.593 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.593 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.593 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.593 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.593 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.593 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.593 * [taylor]: Taking taylor expansion of -1 in c
1.593 * [taylor]: Taking taylor expansion of c in c
1.593 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.593 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.593 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.593 * [taylor]: Taking taylor expansion of -1 in c
1.593 * [taylor]: Taking taylor expansion of c in c
1.594 * [taylor]: Taking taylor expansion of 2 in c
1.594 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.594 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.594 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.594 * [taylor]: Taking taylor expansion of 1/6 in c
1.594 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.595 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.595 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.595 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.595 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.595 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.595 * [taylor]: Taking taylor expansion of -1 in c
1.595 * [taylor]: Taking taylor expansion of c in c
1.595 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.595 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.595 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.595 * [taylor]: Taking taylor expansion of -1 in c
1.595 * [taylor]: Taking taylor expansion of c in c
1.596 * [taylor]: Taking taylor expansion of 2 in c
1.641 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.642 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/6) in (c) around 0
1.642 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.642 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.642 * [taylor]: Taking taylor expansion of 1/6 in c
1.642 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.642 * [taylor]: Taking taylor expansion of (cosh c) in c
1.642 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.642 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.642 * [taylor]: Taking taylor expansion of (exp c) in c
1.642 * [taylor]: Taking taylor expansion of c in c
1.642 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.642 * [taylor]: Taking taylor expansion of (- c) in c
1.642 * [taylor]: Taking taylor expansion of c in c
1.642 * [taylor]: Taking taylor expansion of 2 in c
1.651 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/6) in c
1.652 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh c)))) in c
1.652 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh c))) in c
1.652 * [taylor]: Taking taylor expansion of 1/6 in c
1.652 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.652 * [taylor]: Taking taylor expansion of (cosh c) in c
1.652 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.652 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.652 * [taylor]: Taking taylor expansion of (exp c) in c
1.652 * [taylor]: Taking taylor expansion of c in c
1.652 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.652 * [taylor]: Taking taylor expansion of (- c) in c
1.652 * [taylor]: Taking taylor expansion of c in c
1.652 * [taylor]: Taking taylor expansion of 2 in c
1.693 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in (c) around 0
1.693 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.693 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.693 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.693 * [taylor]: Taking taylor expansion of 1/6 in c
1.693 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.693 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.693 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.693 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.693 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.693 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.693 * [taylor]: Taking taylor expansion of c in c
1.693 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.693 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.693 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.693 * [taylor]: Taking taylor expansion of c in c
1.694 * [taylor]: Taking taylor expansion of 2 in c
1.694 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/6) in c
1.694 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ 1 c))))) in c
1.694 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ 1 c)))) in c
1.694 * [taylor]: Taking taylor expansion of 1/6 in c
1.694 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.694 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.695 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.695 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.695 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.695 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.695 * [taylor]: Taking taylor expansion of c in c
1.695 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.695 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.695 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.695 * [taylor]: Taking taylor expansion of c in c
1.696 * [taylor]: Taking taylor expansion of 2 in c
1.747 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in (c) around 0
1.747 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.747 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.747 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.747 * [taylor]: Taking taylor expansion of 1/6 in c
1.747 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.747 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.747 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.747 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.747 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.747 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.747 * [taylor]: Taking taylor expansion of -1 in c
1.747 * [taylor]: Taking taylor expansion of c in c
1.748 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.748 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.748 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.748 * [taylor]: Taking taylor expansion of -1 in c
1.748 * [taylor]: Taking taylor expansion of c in c
1.749 * [taylor]: Taking taylor expansion of 2 in c
1.749 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/6) in c
1.749 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (cosh (/ -1 c))))) in c
1.749 * [taylor]: Taking taylor expansion of (* 1/6 (log (cosh (/ -1 c)))) in c
1.749 * [taylor]: Taking taylor expansion of 1/6 in c
1.749 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.749 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.749 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.749 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.749 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.749 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.749 * [taylor]: Taking taylor expansion of -1 in c
1.749 * [taylor]: Taking taylor expansion of c in c
1.750 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.750 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.750 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.750 * [taylor]: Taking taylor expansion of -1 in c
1.750 * [taylor]: Taking taylor expansion of c in c
1.750 * [taylor]: Taking taylor expansion of 2 in c
1.796 * * * [progress]: simplifying candidates
1.797 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (* (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (pow (cbrt (sqrt (cosh c))) 4))
  (log1p (pow (cbrt (sqrt (cosh c))) 4))
  (* (log (cbrt (sqrt (cosh c)))) 4)
  (* (log (cbrt (sqrt (cosh c)))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (sqrt (cosh c))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (sqrt (cosh c))) (sqrt 4))
  (pow (cbrt (sqrt (cosh c))) 1)
  (pow (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) 4)
  (pow (cbrt (cbrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) 4)
  (pow (cbrt (sqrt (cbrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt 1)) 4)
  (pow (cbrt (sqrt (cosh c))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (sqrt (cosh c))) 4)
  (pow (* (cbrt (cbrt (sqrt (cosh c)))) (cbrt (cbrt (sqrt (cosh c))))) 4)
  (pow (cbrt (cbrt (sqrt (cosh c)))) 4)
  (pow (sqrt (cbrt (sqrt (cosh c)))) 4)
  (pow (sqrt (cbrt (sqrt (cosh c)))) 4)
  (pow 1 4)
  (pow (cbrt (sqrt (cosh c))) 4)
  (log (pow (cbrt (sqrt (cosh c))) 4))
  (exp (pow (cbrt (sqrt (cosh c))) 4))
  (* (cbrt (pow (cbrt (sqrt (cosh c))) 4)) (cbrt (pow (cbrt (sqrt (cosh c))) 4)))
  (cbrt (pow (cbrt (sqrt (cosh c))) 4))
  (* (* (pow (cbrt (sqrt (cosh c))) 4) (pow (cbrt (sqrt (cosh c))) 4)) (pow (cbrt (sqrt (cosh c))) 4))
  (sqrt (pow (cbrt (sqrt (cosh c))) 4))
  (sqrt (pow (cbrt (sqrt (cosh c))) 4))
  (pow (cbrt (sqrt (cosh c))) (/ 4 2))
  (pow (cbrt (sqrt (cosh c))) (/ 4 2))
  (expm1 (cbrt (sqrt (cosh c))))
  (log1p (cbrt (sqrt (cosh c))))
  (log (cbrt (sqrt (cosh c))))
  (exp (cbrt (sqrt (cosh c))))
  (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (cbrt (sqrt (cbrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt 1))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt 1)
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (+ (exp c) (exp (- c)))))
  (cbrt (sqrt 2))
  (* (cbrt (cbrt (sqrt (cosh c)))) (cbrt (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (* (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))) (cbrt (sqrt (cosh c))))
  (sqrt (cbrt (sqrt (cosh c))))
  (sqrt (cbrt (sqrt (cosh c))))
  (expm1 (cbrt (sqrt (cosh c))))
  (log1p (cbrt (sqrt (cosh c))))
  (log (cbrt (sqrt (cosh c))))
  (exp (cbrt (sqrt (cosh c))))
  (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (cbrt (sqrt (cbrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt 1))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt 1)
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (+ (exp c) (exp (- c)))))
  (cbrt (sqrt 2))
  (* (cbrt (cbrt (sqrt (cosh c)))) (cbrt (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (* (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))) (cbrt (sqrt (cosh c))))
  (sqrt (cbrt (sqrt (cosh c))))
  (sqrt (cbrt (sqrt (cosh c))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/405 (pow c 6)) (+ (* 1/3 (pow c 2)) 1))
  (pow (* 1/4 (pow (+ (exp c) (exp (- c))) 2)) 1/3)
  (pow (* 1/4 (pow (+ (exp (* -1 c)) (exp c)) 2)) 1/3)
  (- (+ (* 1/12 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/6)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/6)
  (- (+ (* 1/12 (pow c 2)) 1) (* 1/96 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/6)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/6)
1.802 * * [simplify]: iteration  0 :  226  enodes  (cost  622 )
1.806 * * [simplify]: iteration  1 :  629  enodes  (cost  562 )
1.819 * * [simplify]: iteration  2 :  2248  enodes  (cost  536 )
1.879 * * [simplify]: iteration  3 :  5001  enodes  (cost  534 )
1.882 * [simplify]: Simplified to:
   (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (pow (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) 3)
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (pow (cbrt (sqrt (cosh c))) 4))
  (log1p (pow (cbrt (sqrt (cosh c))) 4))
  (log (pow (cbrt (sqrt (cosh c))) 4))
  (log (pow (cbrt (sqrt (cosh c))) 4))
  4/3
  4
  (pow (cbrt (sqrt (cosh c))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (sqrt (cosh c))) 2)
  (cbrt (sqrt (cosh c)))
  (pow (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) 4)
  (pow (cbrt (cbrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) 4)
  (pow (cbrt (sqrt (cbrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  1
  (pow (cbrt (sqrt (cosh c))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (sqrt (cosh c)))) 4)
  1
  (pow (cbrt (sqrt (cosh c))) 4)
  (pow (cbrt (cbrt (sqrt (cosh c)))) 8)
  (pow (cbrt (cbrt (sqrt (cosh c)))) 4)
  (pow (cbrt (sqrt (cosh c))) 2)
  (pow (cbrt (sqrt (cosh c))) 2)
  1
  (pow (cbrt (sqrt (cosh c))) 4)
  (log (pow (cbrt (sqrt (cosh c))) 4))
  (exp (pow (cbrt (sqrt (cosh c))) 4))
  (* (cbrt (pow (cbrt (sqrt (cosh c))) 4)) (cbrt (pow (cbrt (sqrt (cosh c))) 4)))
  (cbrt (pow (cbrt (sqrt (cosh c))) 4))
  (pow (sqrt (cosh c)) 4)
  (sqrt (pow (cbrt (sqrt (cosh c))) 4))
  (sqrt (pow (cbrt (sqrt (cosh c))) 4))
  (pow (cbrt (sqrt (cosh c))) 2)
  (pow (cbrt (sqrt (cosh c))) 2)
  (expm1 (cbrt (sqrt (cosh c))))
  (log1p (cbrt (sqrt (cosh c))))
  (log (cbrt (sqrt (cosh c))))
  (exp (cbrt (sqrt (cosh c))))
  (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (cbrt (sqrt (cbrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  1
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  1
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (+ (exp c) (exp (- c)))))
  (cbrt (sqrt 2))
  (pow (cbrt (cbrt (sqrt (cosh c)))) 2)
  (cbrt (cbrt (sqrt (cosh c))))
  (sqrt (cosh c))
  (pow (cbrt (sqrt (cosh c))) 1/2)
  (pow (cbrt (sqrt (cosh c))) 1/2)
  (expm1 (cbrt (sqrt (cosh c))))
  (log1p (cbrt (sqrt (cosh c))))
  (log (cbrt (sqrt (cosh c))))
  (exp (cbrt (sqrt (cosh c))))
  (cbrt (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (cbrt (cbrt (sqrt (cosh c))))
  (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (cbrt (sqrt (cbrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  1
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (sqrt (cosh c))))
  (cbrt (sqrt (sqrt (cosh c))))
  1
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (+ (exp c) (exp (- c)))))
  (cbrt (sqrt 2))
  (pow (cbrt (cbrt (sqrt (cosh c)))) 2)
  (cbrt (cbrt (sqrt (cosh c))))
  (sqrt (cosh c))
  (pow (cbrt (sqrt (cosh c))) 1/2)
  (pow (cbrt (sqrt (cosh c))) 1/2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/405 (pow c 6) (fma 1/3 (pow c 2) 1))
  (pow (* 1/4 (pow (+ (exp (* -1 c)) (exp c)) 2)) 1/3)
  (pow (* 1/4 (pow (+ (exp (* -1 c)) (exp c)) 2)) 1/3)
  (fma (pow c 2) 1/12 (- 1 (* 1/96 (pow c 4))))
  (pow (* (cosh c) 1) 1/6)
  (pow (* (cosh c) 1) 1/6)
  (fma (pow c 2) 1/12 (- 1 (* 1/96 (pow c 4))))
  (pow (* (cosh c) 1) 1/6)
  (pow (* (cosh c) 1) 1/6)
1.882 * * * [progress]: adding candidates to table
2.121 * * [progress]: iteration 4 / 4
2.121 * * * [progress]: picking best candidate
2.150 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))>
2.150 * * * [progress]: localizing error
2.170 * * * [progress]: generating rewritten candidates
2.170 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.174 * * * [progress]: generating series expansions
2.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.174 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.174 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.174 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.174 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.175 * [taylor]: Taking taylor expansion of 0 in a
2.175 * [taylor]: Taking taylor expansion of 0 in a
2.175 * [taylor]: Taking taylor expansion of 0 in a
2.175 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.176 * [taylor]: Taking taylor expansion of 0 in a
2.176 * [taylor]: Taking taylor expansion of 0 in a
2.176 * [taylor]: Taking taylor expansion of 0 in a
2.176 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.176 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.177 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.177 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.177 * [taylor]: Taking taylor expansion of 0 in a
2.178 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.178 * [taylor]: Taking taylor expansion of 0 in a
2.178 * [taylor]: Taking taylor expansion of 0 in a
2.178 * [taylor]: Taking taylor expansion of 0 in a
2.179 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.179 * [taylor]: Taking taylor expansion of 0 in a
2.179 * [taylor]: Taking taylor expansion of 0 in a
2.179 * [taylor]: Taking taylor expansion of 0 in a
2.179 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.180 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.180 * [taylor]: Taking taylor expansion of 0 in a
2.180 * [taylor]: Taking taylor expansion of 0 in a
2.180 * [taylor]: Taking taylor expansion of 0 in a
2.181 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.181 * [taylor]: Taking taylor expansion of 0 in a
2.181 * [taylor]: Taking taylor expansion of 0 in a
2.181 * [taylor]: Taking taylor expansion of 0 in a
2.182 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.182 * [taylor]: Taking taylor expansion of 0 in a
2.182 * [taylor]: Taking taylor expansion of 0 in a
2.182 * [taylor]: Taking taylor expansion of 0 in a
2.182 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.183 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0
2.183 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a
2.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
2.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
2.183 * [taylor]: Taking taylor expansion of 1/3 in a
2.183 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.183 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c
2.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
2.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
2.183 * [taylor]: Taking taylor expansion of 1/3 in c
2.183 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.183 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c
2.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
2.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
2.183 * [taylor]: Taking taylor expansion of 1/3 in c
2.183 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.184 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a
2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
2.184 * [taylor]: Taking taylor expansion of 1/3 in a
2.184 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.184 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.186 * [taylor]: Taking taylor expansion of 0 in a
2.190 * [taylor]: Taking taylor expansion of 0 in a
2.196 * [taylor]: Taking taylor expansion of 0 in a
2.196 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0
2.196 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a
2.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
2.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.197 * [taylor]: Taking taylor expansion of 1/3 in a
2.197 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.197 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.197 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c
2.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
2.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.197 * [taylor]: Taking taylor expansion of 1/3 in c
2.197 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.197 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.197 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c
2.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
2.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.197 * [taylor]: Taking taylor expansion of 1/3 in c
2.197 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.197 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.198 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a
2.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
2.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.198 * [taylor]: Taking taylor expansion of 1/3 in a
2.198 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.198 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.203 * [taylor]: Taking taylor expansion of 0 in a
2.208 * [taylor]: Taking taylor expansion of 0 in a
2.214 * [taylor]: Taking taylor expansion of 0 in a
2.215 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0
2.215 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a
2.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
2.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.215 * [taylor]: Taking taylor expansion of 1/3 in a
2.215 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.215 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.215 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c
2.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
2.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.215 * [taylor]: Taking taylor expansion of 1/3 in c
2.216 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.216 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.216 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c
2.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
2.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.216 * [taylor]: Taking taylor expansion of 1/3 in c
2.216 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.216 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.216 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a
2.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
2.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.216 * [taylor]: Taking taylor expansion of 1/3 in a
2.216 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.216 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.218 * [taylor]: Taking taylor expansion of 0 in a
2.223 * [taylor]: Taking taylor expansion of 0 in a
2.229 * [taylor]: Taking taylor expansion of 0 in a
2.229 * * * [progress]: simplifying candidates
2.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (* (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (* (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (* (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (log1p (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (log (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))
  (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt 1)
  (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))
  (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (sqrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (sqrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
2.234 * * [simplify]: iteration  0 :  55  enodes  (cost  867 )
2.236 * * [simplify]: iteration  1 :  98  enodes  (cost  749 )
2.239 * * [simplify]: iteration  2 :  241  enodes  (cost  747 )
2.244 * * [simplify]: iteration  3 :  769  enodes  (cost  747 )
2.277 * * [simplify]: iteration  4 :  4050  enodes  (cost  691 )
2.448 * * [simplify]: iteration  5 :  5001  enodes  (cost  680 )
2.452 * [simplify]: Simplified to:
   (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) 3)
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) 3)
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log1p (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)) 3)
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))
  (expm1 (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (log1p (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (log (pow (fmod (cosh c) (log1p a)) 1/3))
  (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))
  (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  1
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))
  (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (sqrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (sqrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
2.453 * * * [progress]: adding candidates to table
2.667 * [progress]: [Phase 3 of 3] Extracting.
2.667 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
2.678 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.678 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
2.758 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
2.829 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
2.915 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
2.941 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
3.017 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (* (cbrt (sqrt (* (cbrt (cosh c)) (cbrt (cosh c))))) (cbrt (sqrt (cbrt (cosh c))))))) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (exp (log (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (* (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))) (cbrt (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (* (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (cbrt (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))) (log (exp (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (log (exp (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))> #<alt (λ (a c) (fmod (* (* (pow (cbrt (cbrt (sqrt (cosh c)))) 8) (pow (cbrt (cbrt (sqrt (cosh c)))) 4)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))>)
3.095 * * * [regime]: Found split indices: #<option (#s(si 11 255))>
3.095 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
3.096 * * [simplify]: iteration  0 :  20  enodes  (cost  64 )
3.096 * * [simplify]: iteration  1 :  20  enodes  (cost  64 )
3.096 * [simplify]: Simplified to:
   (* (* (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (cbrt (* (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))) (sqrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a)))))) (cbrt (fmod (* (pow (cbrt (sqrt (cosh c))) 4) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))) (log1p a))))
15.201 * [regime-testing]: Baseline error score: 34.2580123514469
15.202 * [regime-testing]: Oracle error score: 34.128898671021865
15.203 * [regime-testing]: End program error score: 34.2580123514469