6.126 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.361 * * * [progress]: [2/2] Setting up program.
0.363 * [progress]: [Phase 2 of 3] Improving.
0.363 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.366 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.367 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.368 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.369 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.370 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.372 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.373 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.374 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.376 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.384 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.584 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.584 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.584 * * [progress]: iteration 1 / 4
0.584 * * * [progress]: picking best candidate
0.586 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.586 * * * [progress]: localizing error
0.593 * * * [progress]: generating rewritten candidates
0.593 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.593 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.594 * * * [progress]: generating series expansions
0.594 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.594 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.594 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.594 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.595 * [taylor]: Taking taylor expansion of 0 in a
0.595 * [taylor]: Taking taylor expansion of 0 in a
0.595 * [taylor]: Taking taylor expansion of 0 in a
0.595 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.595 * [taylor]: Taking taylor expansion of 0 in a
0.596 * [taylor]: Taking taylor expansion of 0 in a
0.596 * [taylor]: Taking taylor expansion of 0 in a
0.596 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.596 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.596 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.596 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.596 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.596 * [taylor]: Taking taylor expansion of 0 in a
0.596 * [taylor]: Taking taylor expansion of 0 in a
0.596 * [taylor]: Taking taylor expansion of 0 in a
0.596 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.596 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.597 * [taylor]: Taking taylor expansion of (cosh c) in c
0.597 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.597 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.597 * [taylor]: Taking taylor expansion of (exp c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.597 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.597 * [taylor]: Taking taylor expansion of (- c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.597 * [taylor]: Taking taylor expansion of 2 in c
0.598 * [taylor]: Taking taylor expansion of (cosh c) in c
0.598 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.598 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.598 * [taylor]: Taking taylor expansion of (exp c) in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.598 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.598 * [taylor]: Taking taylor expansion of (- c) in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.599 * [taylor]: Taking taylor expansion of 2 in c
0.616 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.616 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.616 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.616 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.616 * [taylor]: Taking taylor expansion of c in c
0.617 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.617 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.617 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.617 * [taylor]: Taking taylor expansion of c in c
0.617 * [taylor]: Taking taylor expansion of 2 in c
0.617 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.617 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.617 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.617 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.617 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.617 * [taylor]: Taking taylor expansion of c in c
0.618 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.618 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.618 * [taylor]: Taking taylor expansion of c in c
0.618 * [taylor]: Taking taylor expansion of 2 in c
0.628 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.628 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.628 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.628 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.628 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.629 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.629 * [taylor]: Taking taylor expansion of -1 in c
0.629 * [taylor]: Taking taylor expansion of c in c
0.629 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.629 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.629 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.629 * [taylor]: Taking taylor expansion of -1 in c
0.629 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of 2 in c
0.630 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.630 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.630 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.630 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.630 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.630 * [taylor]: Taking taylor expansion of -1 in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.630 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.630 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.630 * [taylor]: Taking taylor expansion of -1 in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.631 * [taylor]: Taking taylor expansion of 2 in c
0.641 * * * [progress]: simplifying candidates
0.641 * [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.644 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.646 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.649 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.666 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.790 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.790 * [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.791 * * * [progress]: adding candidates to table
0.854 * * [progress]: iteration 2 / 4
0.854 * * * [progress]: picking best candidate
0.874 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.874 * * * [progress]: localizing error
0.882 * * * [progress]: generating rewritten candidates
0.883 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.883 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.890 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.893 * * * [progress]: generating series expansions
0.893 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.893 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.893 * [taylor]: Taking taylor expansion of 0 in a
0.893 * [taylor]: Taking taylor expansion of 0 in a
0.893 * [taylor]: Taking taylor expansion of 0 in a
0.893 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.893 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.894 * [taylor]: Taking taylor expansion of 0 in a
0.894 * [taylor]: Taking taylor expansion of 0 in a
0.894 * [taylor]: Taking taylor expansion of 0 in a
0.894 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.894 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.895 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.895 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.895 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.896 * [taylor]: Taking taylor expansion of 0 in a
0.896 * [taylor]: Taking taylor expansion of 0 in a
0.896 * [taylor]: Taking taylor expansion of 0 in a
0.896 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.897 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.897 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.897 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.897 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.897 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.899 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.899 * [taylor]: Taking taylor expansion of 0 in a
0.899 * [taylor]: Taking taylor expansion of 0 in a
0.899 * [taylor]: Taking taylor expansion of 0 in a
0.899 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.899 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
0.899 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.899 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.899 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.900 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.900 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.900 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.900 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.900 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.900 * [taylor]: Taking taylor expansion of 0 in a
0.901 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.902 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.902 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.903 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.903 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.906 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.906 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.906 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.906 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.907 * [taylor]: Taking taylor expansion of 0 in a
0.908 * [taylor]: Taking taylor expansion of 0 in a
0.909 * * * [progress]: simplifying candidates
0.910 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (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))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
0.914 * * [simplify]: iteration  0 :  102  enodes  (cost  520 )
0.917 * * [simplify]: iteration  1 :  378  enodes  (cost  459 )
0.927 * * [simplify]: iteration  2 :  2255  enodes  (cost  439 )
1.010 * * [simplify]: iteration  3 :  5001  enodes  (cost  421 )
1.013 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3)
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (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))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
1.013 * * * [progress]: adding candidates to table
1.196 * * [progress]: iteration 3 / 4
1.196 * * * [progress]: picking best candidate
1.236 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>
1.237 * * * [progress]: localizing error
1.249 * * * [progress]: generating rewritten candidates
1.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.252 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.254 * * * [progress]: generating series expansions
1.254 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.254 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.257 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.259 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.259 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 5) in (c a) around 0
1.259 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 5) in a
1.259 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.259 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.259 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.259 * [taylor]: Taking taylor expansion of 1/6 in a
1.259 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.259 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 5) in c
1.259 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.259 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.259 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.259 * [taylor]: Taking taylor expansion of 1/6 in c
1.259 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.260 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 5) in c
1.260 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.260 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.260 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.260 * [taylor]: Taking taylor expansion of 1/6 in c
1.260 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.261 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 5) 1/6) in a
1.261 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (pow (fmod (cosh c) (log1p a)) 5)))) in a
1.261 * [taylor]: Taking taylor expansion of (* 1/6 (log (pow (fmod (cosh c) (log1p a)) 5))) in a
1.261 * [taylor]: Taking taylor expansion of 1/6 in a
1.261 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 5)) in a
1.261 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 5) in a
1.261 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.264 * [taylor]: Taking taylor expansion of 0 in a
1.270 * [taylor]: Taking taylor expansion of 0 in a
1.279 * [taylor]: Taking taylor expansion of 0 in a
1.280 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 5) in (c a) around 0
1.280 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 5) in a
1.280 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.280 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.280 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.280 * [taylor]: Taking taylor expansion of 1/6 in a
1.280 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.280 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 5) in c
1.280 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.280 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.280 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.280 * [taylor]: Taking taylor expansion of 1/6 in c
1.280 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.281 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 5) in c
1.281 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.281 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.281 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.281 * [taylor]: Taking taylor expansion of 1/6 in c
1.281 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.282 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5) 1/6) in a
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5)))) in a
1.282 * [taylor]: Taking taylor expansion of (* 1/6 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5))) in a
1.282 * [taylor]: Taking taylor expansion of 1/6 in a
1.282 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5)) in a
1.282 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5) in a
1.282 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.285 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.302 * [taylor]: Taking taylor expansion of 0 in a
1.302 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 5) in (c a) around 0
1.302 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 5) in a
1.302 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.302 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.302 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.302 * [taylor]: Taking taylor expansion of 1/6 in a
1.302 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.302 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.303 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 5) in c
1.303 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.303 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.303 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.303 * [taylor]: Taking taylor expansion of 1/6 in c
1.303 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.303 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 5) in c
1.303 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.303 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.303 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.303 * [taylor]: Taking taylor expansion of 1/6 in c
1.303 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.303 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.304 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5) 1/6) in a
1.304 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5)))) in a
1.304 * [taylor]: Taking taylor expansion of (* 1/6 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5))) in a
1.304 * [taylor]: Taking taylor expansion of 1/6 in a
1.304 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5)) in a
1.304 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5) in a
1.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.308 * [taylor]: Taking taylor expansion of 0 in a
1.317 * [taylor]: Taking taylor expansion of 0 in a
1.327 * [taylor]: Taking taylor expansion of 0 in a
1.327 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.327 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in (c a) around 0
1.327 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.328 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.328 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.328 * [taylor]: Taking taylor expansion of 1/6 in a
1.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.328 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.328 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.328 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.328 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.328 * [taylor]: Taking taylor expansion of 1/6 in c
1.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.328 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.328 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.328 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.328 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.328 * [taylor]: Taking taylor expansion of 1/6 in c
1.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.328 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.329 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.329 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.329 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.329 * [taylor]: Taking taylor expansion of 1/6 in a
1.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.330 * [taylor]: Taking taylor expansion of 0 in a
1.334 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in (c a) around 0
1.340 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.340 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.340 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.340 * [taylor]: Taking taylor expansion of 1/6 in a
1.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.341 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.341 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.341 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.341 * [taylor]: Taking taylor expansion of 1/6 in c
1.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.341 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.341 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.341 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.341 * [taylor]: Taking taylor expansion of 1/6 in c
1.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.342 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.342 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.342 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.342 * [taylor]: Taking taylor expansion of 1/6 in a
1.342 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.344 * [taylor]: Taking taylor expansion of 0 in a
1.348 * [taylor]: Taking taylor expansion of 0 in a
1.354 * [taylor]: Taking taylor expansion of 0 in a
1.354 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in (c a) around 0
1.354 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.354 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.354 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.354 * [taylor]: Taking taylor expansion of 1/6 in a
1.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.355 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.355 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.355 * [taylor]: Taking taylor expansion of 1/6 in c
1.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.355 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.355 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.355 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.355 * [taylor]: Taking taylor expansion of 1/6 in c
1.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.355 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.356 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.356 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.356 * [taylor]: Taking taylor expansion of 1/6 in a
1.356 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.358 * [taylor]: Taking taylor expansion of 0 in a
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.368 * [taylor]: Taking taylor expansion of 0 in a
1.368 * * * [progress]: simplifying candidates
1.369 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* 1/3 5)
  (* 1 5)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt 1)) 5)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt 1) 5)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow 1 5)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (* (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ 5 2))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ 5 2))
  (expm1 (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt 1))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt 1)
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (sqrt (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 (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
1.373 * * [simplify]: iteration  0 :  129  enodes  (cost  534 )
1.376 * * [simplify]: iteration  1 :  323  enodes  (cost  501 )
1.381 * * [simplify]: iteration  2 :  981  enodes  (cost  499 )
1.411 * * [simplify]: iteration  3 :  4223  enodes  (cost  493 )
1.526 * * [simplify]: iteration  4 :  5001  enodes  (cost  493 )
1.528 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  5/3
  5
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 5)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (expm1 (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  1
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  1
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1/2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1/2)
  (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 (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (pow (fmod (cosh c) (log1p a)) 5) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
  (pow (fmod (cosh c) (log1p a)) 1/6)
1.528 * * * [progress]: adding candidates to table
1.765 * * [progress]: iteration 4 / 4
1.765 * * * [progress]: picking best candidate
1.812 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>
1.812 * * * [progress]: localizing error
1.829 * * * [progress]: generating rewritten candidates
1.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.830 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.830 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.835 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.840 * * * [progress]: generating series expansions
1.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.840 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.840 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.840 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.840 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.840 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [taylor]: Taking taylor expansion of 0 in a
1.841 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.842 * [taylor]: Taking taylor expansion of 0 in a
1.842 * [taylor]: Taking taylor expansion of 0 in a
1.842 * [taylor]: Taking taylor expansion of 0 in a
1.842 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.842 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.842 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.843 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.843 * [taylor]: Taking taylor expansion of 0 in a
1.844 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.844 * [taylor]: Taking taylor expansion of 0 in a
1.844 * [taylor]: Taking taylor expansion of 0 in a
1.844 * [taylor]: Taking taylor expansion of 0 in a
1.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.845 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) (sqrt 5)) in (c a) around 0
1.845 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) (sqrt 5)) in a
1.845 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))))) in a
1.845 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)))) in a
1.845 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.845 * [taylor]: Taking taylor expansion of 5 in a
1.846 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))) in a
1.846 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in a
1.846 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in a
1.846 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in a
1.846 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.846 * [taylor]: Taking taylor expansion of 5 in a
1.847 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in a
1.847 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.847 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.847 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.847 * [taylor]: Taking taylor expansion of 1/6 in a
1.847 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.847 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.850 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) (sqrt 5)) in c
1.850 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))))) in c
1.850 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)))) in c
1.850 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.850 * [taylor]: Taking taylor expansion of 5 in c
1.850 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))) in c
1.850 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in c
1.850 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in c
1.850 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in c
1.850 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.850 * [taylor]: Taking taylor expansion of 5 in c
1.851 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in c
1.851 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.851 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.851 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.851 * [taylor]: Taking taylor expansion of 1/6 in c
1.851 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.854 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) (sqrt 5)) in c
1.854 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))))) in c
1.854 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)))) in c
1.854 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.854 * [taylor]: Taking taylor expansion of 5 in c
1.855 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))) in c
1.855 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in c
1.855 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in c
1.855 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in c
1.855 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.855 * [taylor]: Taking taylor expansion of 5 in c
1.855 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in c
1.855 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.855 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.856 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.856 * [taylor]: Taking taylor expansion of 1/6 in c
1.856 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.856 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.858 * [taylor]: Taking taylor expansion of (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (pow (sqrt 5) 2))) in a
1.858 * [taylor]: Taking taylor expansion of (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (pow (sqrt 5) 2)) in a
1.858 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in a
1.858 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.858 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.858 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.858 * [taylor]: Taking taylor expansion of 1/6 in a
1.859 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.859 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.859 * [taylor]: Taking taylor expansion of (pow (sqrt 5) 2) in a
1.859 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.859 * [taylor]: Taking taylor expansion of 5 in a
1.868 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.907 * [taylor]: Taking taylor expansion of 0 in a
1.908 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) (sqrt 5)) in (c a) around 0
1.908 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) (sqrt 5)) in a
1.908 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))))) in a
1.908 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)))) in a
1.908 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.908 * [taylor]: Taking taylor expansion of 5 in a
1.909 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))) in a
1.909 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in a
1.909 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in a
1.909 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in a
1.909 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.909 * [taylor]: Taking taylor expansion of 5 in a
1.910 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in a
1.910 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.910 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.910 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.910 * [taylor]: Taking taylor expansion of 1/6 in a
1.910 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.910 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.913 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) (sqrt 5)) in c
1.913 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))))) in c
1.913 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)))) in c
1.913 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.913 * [taylor]: Taking taylor expansion of 5 in c
1.914 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))) in c
1.914 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in c
1.914 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in c
1.914 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in c
1.914 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.914 * [taylor]: Taking taylor expansion of 5 in c
1.914 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in c
1.915 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.915 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.915 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.915 * [taylor]: Taking taylor expansion of 1/6 in c
1.915 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.918 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) (sqrt 5)) in c
1.918 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))))) in c
1.918 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)))) in c
1.918 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.918 * [taylor]: Taking taylor expansion of 5 in c
1.918 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5))) in c
1.918 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in c
1.918 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in c
1.918 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in c
1.918 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.918 * [taylor]: Taking taylor expansion of 5 in c
1.919 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in c
1.919 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.919 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.919 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.919 * [taylor]: Taking taylor expansion of 1/6 in c
1.919 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.922 * [taylor]: Taking taylor expansion of (exp (* (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) (pow (sqrt 5) 2))) in a
1.922 * [taylor]: Taking taylor expansion of (* (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) (pow (sqrt 5) 2)) in a
1.922 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in a
1.922 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.922 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.922 * [taylor]: Taking taylor expansion of 1/6 in a
1.922 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.923 * [taylor]: Taking taylor expansion of (pow (sqrt 5) 2) in a
1.923 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.923 * [taylor]: Taking taylor expansion of 5 in a
1.933 * [taylor]: Taking taylor expansion of 0 in a
1.947 * [taylor]: Taking taylor expansion of 0 in a
1.969 * [taylor]: Taking taylor expansion of 0 in a
1.970 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) (sqrt 5)) in (c a) around 0
1.970 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) (sqrt 5)) in a
1.970 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))))) in a
1.970 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)))) in a
1.970 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.970 * [taylor]: Taking taylor expansion of 5 in a
1.971 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) in a
1.971 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in a
1.971 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in a
1.971 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in a
1.971 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.971 * [taylor]: Taking taylor expansion of 5 in a
1.972 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in a
1.972 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.972 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.972 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.972 * [taylor]: Taking taylor expansion of 1/6 in a
1.972 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.975 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) (sqrt 5)) in c
1.975 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))))) in c
1.975 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)))) in c
1.975 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.975 * [taylor]: Taking taylor expansion of 5 in c
1.976 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) in c
1.976 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in c
1.976 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in c
1.976 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in c
1.976 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.976 * [taylor]: Taking taylor expansion of 5 in c
1.976 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in c
1.976 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.976 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.976 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.976 * [taylor]: Taking taylor expansion of 1/6 in c
1.976 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.980 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) (sqrt 5)) in c
1.980 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))))) in c
1.980 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)))) in c
1.980 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.980 * [taylor]: Taking taylor expansion of 5 in c
1.980 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) in c
1.980 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in c
1.980 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in c
1.980 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in c
1.980 * [taylor]: Taking taylor expansion of (sqrt 5) in c
1.980 * [taylor]: Taking taylor expansion of 5 in c
1.981 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in c
1.981 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.981 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.981 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.981 * [taylor]: Taking taylor expansion of 1/6 in c
1.981 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.981 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.984 * [taylor]: Taking taylor expansion of (exp (* (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) (sqrt 5))) in a
1.984 * [taylor]: Taking taylor expansion of (* (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) (sqrt 5)) in a
1.984 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5))) in a
1.984 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in a
1.984 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in a
1.984 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in a
1.984 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.984 * [taylor]: Taking taylor expansion of 5 in a
1.985 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in a
1.985 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.985 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.985 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.985 * [taylor]: Taking taylor expansion of 1/6 in a
1.985 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.985 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.987 * [taylor]: Taking taylor expansion of (sqrt 5) in a
1.987 * [taylor]: Taking taylor expansion of 5 in a
1.998 * [taylor]: Taking taylor expansion of 0 in a
2.014 * [taylor]: Taking taylor expansion of 0 in a
2.039 * [taylor]: Taking taylor expansion of 0 in a
2.040 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.040 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in (c a) around 0
2.040 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in a
2.040 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in a
2.040 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in a
2.040 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.040 * [taylor]: Taking taylor expansion of 5 in a
2.041 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in a
2.041 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
2.041 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
2.041 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
2.041 * [taylor]: Taking taylor expansion of 1/6 in a
2.041 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.041 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.042 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in c
2.042 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in c
2.042 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in c
2.042 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.042 * [taylor]: Taking taylor expansion of 5 in c
2.043 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in c
2.043 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
2.043 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
2.043 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
2.043 * [taylor]: Taking taylor expansion of 1/6 in c
2.043 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.043 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.044 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) in c
2.044 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6)))) in c
2.044 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh c) (log1p a)) 1/6))) in c
2.044 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.044 * [taylor]: Taking taylor expansion of 5 in c
2.045 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in c
2.045 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
2.045 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
2.045 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
2.045 * [taylor]: Taking taylor expansion of 1/6 in c
2.045 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.045 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.046 * [taylor]: Taking taylor expansion of (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (sqrt 5))) in a
2.046 * [taylor]: Taking taylor expansion of (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (sqrt 5)) in a
2.046 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/6)) in a
2.046 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
2.046 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
2.046 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
2.046 * [taylor]: Taking taylor expansion of 1/6 in a
2.046 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.046 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.047 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.047 * [taylor]: Taking taylor expansion of 5 in a
2.051 * [taylor]: Taking taylor expansion of 0 in a
2.060 * [taylor]: Taking taylor expansion of 0 in a
2.074 * [taylor]: Taking taylor expansion of 0 in a
2.075 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in (c a) around 0
2.075 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in a
2.075 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in a
2.075 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in a
2.075 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.075 * [taylor]: Taking taylor expansion of 5 in a
2.075 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in a
2.076 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
2.076 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
2.076 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.076 * [taylor]: Taking taylor expansion of 1/6 in a
2.076 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.076 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.077 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in c
2.077 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in c
2.077 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in c
2.077 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.077 * [taylor]: Taking taylor expansion of 5 in c
2.078 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in c
2.078 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
2.078 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
2.078 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.078 * [taylor]: Taking taylor expansion of 1/6 in c
2.078 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.079 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) (sqrt 5)) in c
2.079 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)))) in c
2.079 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6))) in c
2.079 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.079 * [taylor]: Taking taylor expansion of 5 in c
2.080 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in c
2.080 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
2.080 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
2.080 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
2.080 * [taylor]: Taking taylor expansion of 1/6 in c
2.080 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.084 * [taylor]: Taking taylor expansion of (exp (* (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) (sqrt 5))) in a
2.084 * [taylor]: Taking taylor expansion of (* (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) (sqrt 5)) in a
2.084 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6)) in a
2.084 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
2.084 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
2.084 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
2.084 * [taylor]: Taking taylor expansion of 1/6 in a
2.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.084 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.084 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.084 * [taylor]: Taking taylor expansion of 5 in a
2.090 * [taylor]: Taking taylor expansion of 0 in a
2.099 * [taylor]: Taking taylor expansion of 0 in a
2.113 * [taylor]: Taking taylor expansion of 0 in a
2.113 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in (c a) around 0
2.114 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in a
2.114 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in a
2.114 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in a
2.114 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.114 * [taylor]: Taking taylor expansion of 5 in a
2.114 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in a
2.114 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
2.114 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.114 * [taylor]: Taking taylor expansion of 1/6 in a
2.114 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.116 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in c
2.116 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in c
2.116 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in c
2.116 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.116 * [taylor]: Taking taylor expansion of 5 in c
2.116 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in c
2.116 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
2.116 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
2.116 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.116 * [taylor]: Taking taylor expansion of 1/6 in c
2.116 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.116 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.118 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in c
2.118 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in c
2.118 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in c
2.118 * [taylor]: Taking taylor expansion of (sqrt 5) in c
2.118 * [taylor]: Taking taylor expansion of 5 in c
2.118 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in c
2.118 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
2.118 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
2.118 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
2.118 * [taylor]: Taking taylor expansion of 1/6 in c
2.118 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.119 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.120 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) (sqrt 5)) in a
2.120 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)))) in a
2.120 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6))) in a
2.120 * [taylor]: Taking taylor expansion of (sqrt 5) in a
2.120 * [taylor]: Taking taylor expansion of 5 in a
2.120 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6)) in a
2.120 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
2.121 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
2.121 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
2.121 * [taylor]: Taking taylor expansion of 1/6 in a
2.121 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.121 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.125 * [taylor]: Taking taylor expansion of 0 in a
2.135 * [taylor]: Taking taylor expansion of 0 in a
2.149 * [taylor]: Taking taylor expansion of 0 in a
2.150 * * * [progress]: simplifying candidates
2.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (log1p (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (* (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (* (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (* (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (* (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (* (sqrt 5) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5))))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (* (cbrt 5) (cbrt 5))))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (sqrt 5)))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 1))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (sqrt 5)))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 1)
  (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt 1)) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt 1) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow 1 (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5))
  (pow (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (pow (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (pow (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (pow 1 (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2)) (sqrt 5))
  (log (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))) (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))))
  (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (* (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (sqrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (sqrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (/ (sqrt 5) 2))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (/ (sqrt 5) 2))
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (* 1/3 (sqrt 5))
  (* 1 (sqrt 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 5)) (cbrt (sqrt 5))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt 5) (cbrt 5))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt 1)) (sqrt 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt 1) (sqrt 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow 1 (sqrt 5))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (* (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2))
  (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))
  (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (pow (sqrt 5) 2)))
  (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (pow (sqrt 5) 2)))
  (pow (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5)) (sqrt 5))
  (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (sqrt 5)))
  (exp (* (log (pow (fmod (cosh c) (log1p a)) 1/6)) (sqrt 5)))
  (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))
2.156 * * [simplify]: iteration  0 :  232  enodes  (cost  940 )
2.160 * * [simplify]: iteration  1 :  651  enodes  (cost  902 )
2.169 * * [simplify]: iteration  2 :  2137  enodes  (cost  895 )
2.206 * * [simplify]: iteration  3 :  5002  enodes  (cost  876 )
2.209 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (log1p (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  5
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5))))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (* (cbrt 5) (cbrt 5))))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (sqrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt (sqrt 5)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  1
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  1
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))
  1
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5))
  (pow (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (pow (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  (pow (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (sqrt 5))
  1
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2)) (sqrt 5))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2)) (sqrt 5))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))) (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5))))
  (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (pow (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) 3)
  (sqrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (sqrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (/ (sqrt 5) 2))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (/ (sqrt 5) 2))
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (* 1/3 (sqrt 5))
  (sqrt 5)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 5)) (cbrt (sqrt 5))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt 5) (cbrt 5))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 5)))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 5)))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5))
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 1/2)
  (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 1/2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 5) 2))
  (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)) 5/6)
  (pow (fmod (cosh c) (log1p a)) 5/6)
  (pow (fmod (cosh c) (log1p a)) 5/6)
  (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))
  (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))
  (pow (pow (fmod (cosh c) (log1p a)) 1/6) (sqrt 5))
2.210 * * * [progress]: adding candidates to table
2.520 * [progress]: [Phase 3 of 3] Extracting.
2.520 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.527 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.527 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.647 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.753 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.879 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.994 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (log (exp (cbrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))> #<alt (λ (a c) (* (pow (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) 3)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 5) (cbrt 5))) (cbrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 5)) (sqrt 5))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (* (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) 3)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)) (sqrt 5)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 5)))) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>)
3.108 * * * [regime]: Found split indices: #<option (#s(si 20 255))>
3.108 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
3.109 * * [simplify]: iteration  0 :  17  enodes  (cost  17 )
3.109 * * [simplify]: iteration  1 :  17  enodes  (cost  17 )
3.109 * [simplify]: Simplified to:
   (* (pow (pow (cbrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 5)) (sqrt 5)) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
15.616 * [regime-testing]: Baseline error score: 34.462868547526426
15.616 * [regime-testing]: Oracle error score: 34.34687984160257
15.618 * [regime-testing]: End program error score: 34.462868547526426