8.132 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.424 * * * [progress]: [2/2] Setting up program.
0.427 * [progress]: [Phase 2 of 3] Improving.
0.427 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.429 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.431 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.432 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.433 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.434 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.435 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.437 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.438 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.440 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.447 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.642 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.643 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.643 * * [progress]: iteration 1 / 4
0.643 * * * [progress]: picking best candidate
0.645 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.645 * * * [progress]: localizing error
0.652 * * * [progress]: generating rewritten candidates
0.652 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.652 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.653 * * * [progress]: generating series expansions
0.653 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.653 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.653 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.653 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.653 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.653 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.654 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.654 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.654 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.654 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.655 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.655 * [taylor]: Taking taylor expansion of 0 in a
0.655 * [taylor]: Taking taylor expansion of 0 in a
0.655 * [taylor]: Taking taylor expansion of 0 in a
0.655 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.655 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.655 * [taylor]: Taking taylor expansion of (cosh c) in c
0.656 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.656 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.656 * [taylor]: Taking taylor expansion of (exp c) in c
0.656 * [taylor]: Taking taylor expansion of c in c
0.656 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.656 * [taylor]: Taking taylor expansion of (- c) in c
0.656 * [taylor]: Taking taylor expansion of c in c
0.656 * [taylor]: Taking taylor expansion of 2 in c
0.657 * [taylor]: Taking taylor expansion of (cosh c) in c
0.657 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.657 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.657 * [taylor]: Taking taylor expansion of (exp c) in c
0.657 * [taylor]: Taking taylor expansion of c in c
0.657 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.657 * [taylor]: Taking taylor expansion of (- c) in c
0.657 * [taylor]: Taking taylor expansion of c in c
0.658 * [taylor]: Taking taylor expansion of 2 in c
0.675 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.675 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.675 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.675 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.675 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.675 * [taylor]: Taking taylor expansion of c in c
0.676 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.676 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.676 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.676 * [taylor]: Taking taylor expansion of c in c
0.676 * [taylor]: Taking taylor expansion of 2 in c
0.676 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.676 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.676 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.676 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.677 * [taylor]: Taking taylor expansion of c in c
0.677 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.677 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.677 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.677 * [taylor]: Taking taylor expansion of c in c
0.677 * [taylor]: Taking taylor expansion of 2 in c
0.688 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.688 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.688 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.688 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.688 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.688 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.688 * [taylor]: Taking taylor expansion of -1 in c
0.688 * [taylor]: Taking taylor expansion of c in c
0.689 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.689 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.689 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.689 * [taylor]: Taking taylor expansion of -1 in c
0.689 * [taylor]: Taking taylor expansion of c in c
0.689 * [taylor]: Taking taylor expansion of 2 in c
0.689 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.689 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.690 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.690 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.690 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.690 * [taylor]: Taking taylor expansion of -1 in c
0.690 * [taylor]: Taking taylor expansion of c in c
0.690 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.690 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.690 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.690 * [taylor]: Taking taylor expansion of -1 in c
0.690 * [taylor]: Taking taylor expansion of c in c
0.691 * [taylor]: Taking taylor expansion of 2 in c
0.701 * * * [progress]: simplifying candidates
0.701 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.704 * * [simplify]: iteration  0 :  76  enodes  (cost  89 )
0.706 * * [simplify]: iteration  1 :  159  enodes  (cost  79 )
0.709 * * [simplify]: iteration  2 :  542  enodes  (cost  71 )
0.725 * * [simplify]: iteration  3 :  3481  enodes  (cost  69 )
0.833 * * [simplify]: iteration  4 :  5001  enodes  (cost  69 )
0.834 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (cosh c)
  (cosh c)
0.834 * * * [progress]: adding candidates to table
0.884 * * [progress]: iteration 2 / 4
0.884 * * * [progress]: picking best candidate
0.901 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.901 * * * [progress]: localizing error
0.912 * * * [progress]: generating rewritten candidates
0.912 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.912 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.919 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.922 * * * [progress]: generating series expansions
0.922 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.922 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.923 * [taylor]: Taking taylor expansion of 0 in a
0.923 * [taylor]: Taking taylor expansion of 0 in a
0.923 * [taylor]: Taking taylor expansion of 0 in a
0.923 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.923 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.924 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.924 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.924 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.924 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.924 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.925 * [taylor]: Taking taylor expansion of 0 in a
0.925 * [taylor]: Taking taylor expansion of 0 in a
0.925 * [taylor]: Taking taylor expansion of 0 in a
0.925 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.926 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.926 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.926 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.926 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.927 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.927 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.927 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.927 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.927 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.927 * [taylor]: Taking taylor expansion of 0 in a
0.927 * [taylor]: Taking taylor expansion of 0 in a
0.927 * [taylor]: Taking taylor expansion of 0 in a
0.928 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.928 * [taylor]: Taking taylor expansion of 0 in a
0.928 * [taylor]: Taking taylor expansion of 0 in a
0.928 * [taylor]: Taking taylor expansion of 0 in a
0.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.928 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.928 * [taylor]: Taking taylor expansion of (cosh c) in c
0.928 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.928 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.928 * [taylor]: Taking taylor expansion of (exp c) in c
0.928 * [taylor]: Taking taylor expansion of c in c
0.928 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.929 * [taylor]: Taking taylor expansion of (- c) in c
0.929 * [taylor]: Taking taylor expansion of c in c
0.929 * [taylor]: Taking taylor expansion of 2 in c
0.930 * [taylor]: Taking taylor expansion of (cosh c) in c
0.930 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.930 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.930 * [taylor]: Taking taylor expansion of (exp c) in c
0.930 * [taylor]: Taking taylor expansion of c in c
0.930 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.930 * [taylor]: Taking taylor expansion of (- c) in c
0.930 * [taylor]: Taking taylor expansion of c in c
0.930 * [taylor]: Taking taylor expansion of 2 in c
0.947 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.947 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.947 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.947 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.947 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.947 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.947 * [taylor]: Taking taylor expansion of c in c
0.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.948 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.948 * [taylor]: Taking taylor expansion of c in c
0.948 * [taylor]: Taking taylor expansion of 2 in c
0.949 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.949 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.949 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.949 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.949 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.949 * [taylor]: Taking taylor expansion of c in c
0.949 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.949 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.949 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.949 * [taylor]: Taking taylor expansion of c in c
0.950 * [taylor]: Taking taylor expansion of 2 in c
0.960 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.960 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.960 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.960 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.960 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.960 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.960 * [taylor]: Taking taylor expansion of -1 in c
0.960 * [taylor]: Taking taylor expansion of c in c
0.960 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.960 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.960 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.960 * [taylor]: Taking taylor expansion of -1 in c
0.961 * [taylor]: Taking taylor expansion of c in c
0.961 * [taylor]: Taking taylor expansion of 2 in c
0.961 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.961 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.961 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.961 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.961 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.961 * [taylor]: Taking taylor expansion of -1 in c
0.961 * [taylor]: Taking taylor expansion of c in c
0.962 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.962 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.962 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.962 * [taylor]: Taking taylor expansion of -1 in c
0.962 * [taylor]: Taking taylor expansion of c in c
0.962 * [taylor]: Taking taylor expansion of 2 in c
0.972 * * * [progress]: simplifying candidates
0.973 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  (+ 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))))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.978 * * [simplify]: iteration  0 :  149  enodes  (cost  445 )
0.981 * * [simplify]: iteration  1 :  553  enodes  (cost  385 )
0.996 * * [simplify]: iteration  2 :  3147  enodes  (cost  355 )
1.107 * * [simplify]: iteration  3 :  5001  enodes  (cost  337 )
1.109 * [simplify]: Simplified to:
   (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)))
  (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)))
  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))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (cosh c)
  (cosh c)
1.109 * * * [progress]: adding candidates to table
1.264 * * [progress]: iteration 3 / 4
1.264 * * * [progress]: picking best candidate
1.301 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))>
1.301 * * * [progress]: localizing error
1.319 * * * [progress]: generating rewritten candidates
1.319 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.319 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.319 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.326 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.336 * * * [progress]: generating series expansions
1.336 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.337 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.338 * [taylor]: Taking taylor expansion of 0 in a
1.338 * [taylor]: Taking taylor expansion of 0 in a
1.338 * [taylor]: Taking taylor expansion of 0 in a
1.338 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.339 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.339 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [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 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.341 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.341 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.343 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
1.344 * [taylor]: Taking taylor expansion of (cosh c) in c
1.344 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.344 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.344 * [taylor]: Taking taylor expansion of (exp c) in c
1.344 * [taylor]: Taking taylor expansion of c in c
1.344 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.344 * [taylor]: Taking taylor expansion of (- c) in c
1.344 * [taylor]: Taking taylor expansion of c in c
1.344 * [taylor]: Taking taylor expansion of 2 in c
1.345 * [taylor]: Taking taylor expansion of (cosh c) in c
1.345 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.345 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.345 * [taylor]: Taking taylor expansion of (exp c) in c
1.345 * [taylor]: Taking taylor expansion of c in c
1.345 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.345 * [taylor]: Taking taylor expansion of (- c) in c
1.345 * [taylor]: Taking taylor expansion of c in c
1.346 * [taylor]: Taking taylor expansion of 2 in c
1.362 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1.362 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.362 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.362 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.362 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.362 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.362 * [taylor]: Taking taylor expansion of c in c
1.363 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.363 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.363 * [taylor]: Taking taylor expansion of c in c
1.363 * [taylor]: Taking taylor expansion of 2 in c
1.364 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.364 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.364 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.364 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.364 * [taylor]: Taking taylor expansion of c in c
1.364 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.364 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.364 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.364 * [taylor]: Taking taylor expansion of c in c
1.365 * [taylor]: Taking taylor expansion of 2 in c
1.375 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1.375 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.375 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.375 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.375 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.375 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.375 * [taylor]: Taking taylor expansion of -1 in c
1.375 * [taylor]: Taking taylor expansion of c in c
1.375 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.375 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.375 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.375 * [taylor]: Taking taylor expansion of -1 in c
1.375 * [taylor]: Taking taylor expansion of c in c
1.376 * [taylor]: Taking taylor expansion of 2 in c
1.376 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.376 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.376 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.376 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.376 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.376 * [taylor]: Taking taylor expansion of -1 in c
1.376 * [taylor]: Taking taylor expansion of c in c
1.377 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.377 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.377 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.377 * [taylor]: Taking taylor expansion of -1 in c
1.377 * [taylor]: Taking taylor expansion of c in c
1.377 * [taylor]: Taking taylor expansion of 2 in c
1.387 * * * [progress]: simplifying candidates
1.389 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (exp (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (* (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (log (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)))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))) (cbrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))) (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (cosh c) (cosh c))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (cosh c) (cosh c))
  (+ 1 1)
  (+ (log (sqrt (cosh c))) (log (sqrt (cosh c))))
  (log (* (sqrt (cosh c)) (sqrt (cosh c))))
  (exp (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))) (* (* (sqrt (cosh c)) (sqrt (cosh c))) (sqrt (cosh c))))
  (* (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))) (cbrt (* (sqrt (cosh c)) (sqrt (cosh c)))))
  (cbrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (* (* (sqrt (cosh c)) (sqrt (cosh c))) (* (sqrt (cosh c)) (sqrt (cosh c)))) (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (cosh c) (cosh c))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (sqrt (* (sqrt (cosh c)) (sqrt (cosh c))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt 2) (sqrt 2))
  (* (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (* (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cbrt (cosh c))) (sqrt (cbrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 1 1)
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* (sqrt (sqrt (cosh c))) (sqrt (sqrt (cosh c))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (cosh c)) (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (* (cbrt (cosh c)) (cbrt (cosh c)))))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) (sqrt 1))
  (* (sqrt (cosh c)) (sqrt (sqrt (cosh c))))
  (* (sqrt (cosh c)) 1)
  (* (cbrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cbrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (sqrt (cosh c))) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (cosh c)))
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
1.394 * * [simplify]: iteration  0 :  228  enodes  (cost  648 )
1.398 * * [simplify]: iteration  1 :  847  enodes  (cost  471 )
1.424 * * [simplify]: iteration  2 :  5001  enodes  (cost  424 )
1.430 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  1
  1
  2
  1
  1
  (* (cosh c) (cosh c))
  (cosh c)
  (* (cosh c) (cosh c))
  2
  (log (cosh c))
  (log (cosh c))
  (exp (cosh c))
  (pow (cosh c) 3)
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (* (cosh c) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (+ (cosh c) (cosh c))
  2
  (pow (cbrt (sqrt (cosh c))) 4)
  (* (cbrt (sqrt (cosh c))) (cbrt (sqrt (cosh c))))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  (cosh c)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  (cosh c)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  1
  2
  1
  (* (pow (cbrt (sqrt (cosh c))) 4) (cbrt (sqrt (cosh c))))
  (* (fabs (cbrt (cosh c))) (sqrt (cosh c)))
  (pow (sqrt (sqrt (cosh c))) 3)
  (sqrt (cosh c))
  (pow (sqrt (sqrt (cosh c))) 3)
  (sqrt (cosh c))
  (pow (cbrt (sqrt (cosh c))) 4)
  (* (sqrt (cbrt (cosh c))) (sqrt (cosh c)))
  (pow (sqrt (sqrt (cosh c))) 3)
  (cosh c)
  (pow (sqrt (sqrt (cosh c))) 3)
  (cosh c)
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (* (sqrt (cosh c)) (sqrt (+ (exp c) (exp (- c)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (cosh c)
  (cosh c)
1.430 * * * [progress]: adding candidates to table
1.642 * * [progress]: iteration 4 / 4
1.642 * * * [progress]: picking best candidate
1.679 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))>
1.679 * * * [progress]: localizing error
1.698 * * * [progress]: generating rewritten candidates
1.698 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.698 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.700 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2)
1.701 * * * [progress]: generating series expansions
1.701 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.701 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.702 * [taylor]: Taking taylor expansion of 0 in a
1.702 * [taylor]: Taking taylor expansion of 0 in a
1.702 * [taylor]: Taking taylor expansion of 0 in a
1.702 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.703 * [taylor]: Taking taylor expansion of 0 in a
1.703 * [taylor]: Taking taylor expansion of 0 in a
1.703 * [taylor]: Taking taylor expansion of 0 in a
1.703 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.704 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * [taylor]: Taking taylor expansion of 0 in a
1.704 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.705 * [taylor]: Taking taylor expansion of 0 in a
1.705 * [taylor]: Taking taylor expansion of 0 in a
1.705 * [taylor]: Taking taylor expansion of 0 in a
1.705 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.706 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.706 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/3) in (c) around 0
1.706 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.706 * [taylor]: Taking taylor expansion of 1/3 in c
1.706 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.706 * [taylor]: Taking taylor expansion of (cosh c) in c
1.706 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.706 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.706 * [taylor]: Taking taylor expansion of (exp c) in c
1.706 * [taylor]: Taking taylor expansion of c in c
1.706 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.706 * [taylor]: Taking taylor expansion of (- c) in c
1.706 * [taylor]: Taking taylor expansion of c in c
1.707 * [taylor]: Taking taylor expansion of 2 in c
1.716 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.716 * [taylor]: Taking taylor expansion of 1/3 in c
1.716 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.716 * [taylor]: Taking taylor expansion of (cosh c) in c
1.716 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.716 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.716 * [taylor]: Taking taylor expansion of (exp c) in c
1.716 * [taylor]: Taking taylor expansion of c in c
1.716 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.716 * [taylor]: Taking taylor expansion of (- c) in c
1.716 * [taylor]: Taking taylor expansion of c in c
1.717 * [taylor]: Taking taylor expansion of 2 in c
1.751 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in (c) around 0
1.751 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.751 * [taylor]: Taking taylor expansion of 1/3 in c
1.751 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.751 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.751 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.751 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.751 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.751 * [taylor]: Taking taylor expansion of c in c
1.752 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.752 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.752 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.752 * [taylor]: Taking taylor expansion of c in c
1.752 * [taylor]: Taking taylor expansion of 2 in c
1.753 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.753 * [taylor]: Taking taylor expansion of 1/3 in c
1.753 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.753 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.753 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.753 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.753 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.753 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.753 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.753 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.753 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.753 * [taylor]: Taking taylor expansion of c in c
1.754 * [taylor]: Taking taylor expansion of 2 in c
1.804 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in (c) around 0
1.804 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.804 * [taylor]: Taking taylor expansion of 1/3 in c
1.804 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.804 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.804 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.804 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.804 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.804 * [taylor]: Taking taylor expansion of -1 in c
1.804 * [taylor]: Taking taylor expansion of c in c
1.804 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.804 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.804 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.804 * [taylor]: Taking taylor expansion of -1 in c
1.804 * [taylor]: Taking taylor expansion of c in c
1.805 * [taylor]: Taking taylor expansion of 2 in c
1.805 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.805 * [taylor]: Taking taylor expansion of 1/3 in c
1.805 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.806 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.806 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.806 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.806 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.806 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.806 * [taylor]: Taking taylor expansion of -1 in c
1.806 * [taylor]: Taking taylor expansion of c in c
1.806 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.806 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.806 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.806 * [taylor]: Taking taylor expansion of -1 in c
1.806 * [taylor]: Taking taylor expansion of c in c
1.807 * [taylor]: Taking taylor expansion of 2 in c
1.854 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2)
1.854 * [approximate]: Taking taylor expansion of (pow (cosh c) 1/3) in (c) around 0
1.854 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.854 * [taylor]: Taking taylor expansion of 1/3 in c
1.854 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.854 * [taylor]: Taking taylor expansion of (cosh c) in c
1.855 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.855 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.855 * [taylor]: Taking taylor expansion of (exp c) in c
1.855 * [taylor]: Taking taylor expansion of c in c
1.855 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.855 * [taylor]: Taking taylor expansion of (- c) in c
1.855 * [taylor]: Taking taylor expansion of c in c
1.855 * [taylor]: Taking taylor expansion of 2 in c
1.864 * [taylor]: Taking taylor expansion of (pow (cosh c) 1/3) in c
1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh c)))) in c
1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh c))) in c
1.864 * [taylor]: Taking taylor expansion of 1/3 in c
1.864 * [taylor]: Taking taylor expansion of (log (cosh c)) in c
1.864 * [taylor]: Taking taylor expansion of (cosh c) in c
1.864 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1.864 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1.864 * [taylor]: Taking taylor expansion of (exp c) in c
1.864 * [taylor]: Taking taylor expansion of c in c
1.864 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.864 * [taylor]: Taking taylor expansion of (- c) in c
1.864 * [taylor]: Taking taylor expansion of c in c
1.865 * [taylor]: Taking taylor expansion of 2 in c
1.899 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in (c) around 0
1.899 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.899 * [taylor]: Taking taylor expansion of 1/3 in c
1.899 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.899 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.899 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.900 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.900 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.900 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.900 * [taylor]: Taking taylor expansion of c in c
1.900 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.900 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.900 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.900 * [taylor]: Taking taylor expansion of c in c
1.901 * [taylor]: Taking taylor expansion of 2 in c
1.901 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 1/3) in c
1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ 1 c))))) in c
1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ 1 c)))) in c
1.901 * [taylor]: Taking taylor expansion of 1/3 in c
1.901 * [taylor]: Taking taylor expansion of (log (cosh (/ 1 c))) in c
1.901 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
1.901 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.901 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.901 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.901 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.901 * [taylor]: Taking taylor expansion of c in c
1.902 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.902 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.902 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.902 * [taylor]: Taking taylor expansion of c in c
1.902 * [taylor]: Taking taylor expansion of 2 in c
1.950 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in (c) around 0
1.950 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.950 * [taylor]: Taking taylor expansion of 1/3 in c
1.950 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.950 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.951 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.951 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.951 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.951 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.951 * [taylor]: Taking taylor expansion of -1 in c
1.951 * [taylor]: Taking taylor expansion of c in c
1.951 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.951 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.951 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.951 * [taylor]: Taking taylor expansion of -1 in c
1.951 * [taylor]: Taking taylor expansion of c in c
1.952 * [taylor]: Taking taylor expansion of 2 in c
1.952 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 1/3) in c
1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cosh (/ -1 c))))) in c
1.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (cosh (/ -1 c)))) in c
1.952 * [taylor]: Taking taylor expansion of 1/3 in c
1.952 * [taylor]: Taking taylor expansion of (log (cosh (/ -1 c))) in c
1.952 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
1.952 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.952 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.952 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.952 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.952 * [taylor]: Taking taylor expansion of -1 in c
1.952 * [taylor]: Taking taylor expansion of c in c
1.953 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.953 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.953 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.953 * [taylor]: Taking taylor expansion of -1 in c
1.953 * [taylor]: Taking taylor expansion of c in c
1.953 * [taylor]: Taking taylor expansion of 2 in c
1.998 * * * [progress]: simplifying candidates
1.999 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (exp (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (* (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))) (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))))
  (cbrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (* (* (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a))) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))
  (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)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt 1)
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt 1)
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/3)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/3)
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (pow (* 1/2 (+ (exp c) (exp (- c)))) 1/3)
  (pow (* 1/2 (+ (exp (* -1 c)) (exp c))) 1/3)
2.002 * * [simplify]: iteration  0 :  104  enodes  (cost  312 )
2.004 * * [simplify]: iteration  1 :  198  enodes  (cost  274 )
2.008 * * [simplify]: iteration  2 :  568  enodes  (cost  198 )
2.025 * * [simplify]: iteration  3 :  3090  enodes  (cost  198 )
2.137 * * [simplify]: iteration  4 :  5002  enodes  (cost  196 )
2.138 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  1
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cosh c)
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (log (cbrt (cosh c)))
  (exp (cbrt (cosh c)))
  (cbrt (* (cbrt (cosh c)) (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  (cbrt (sqrt (cosh c)))
  1
  (cbrt (cosh c))
  (cbrt (+ (exp c) (exp (- c))))
  (cbrt 2)
  (* (cbrt (cbrt (cosh c))) (cbrt (cbrt (cosh c))))
  (cbrt (cbrt (cosh c)))
  (cosh c)
  (sqrt (cbrt (cosh c)))
  (sqrt (cbrt (cosh c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (cbrt (cosh c))
  (cbrt (cosh c))
  (- (+ (* 1/6 (pow c 2)) 1) (* 1/72 (pow c 4)))
  (cbrt (cosh c))
  (cbrt (cosh c))
2.138 * * * [progress]: adding candidates to table
2.309 * [progress]: [Phase 3 of 3] Extracting.
2.309 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.312 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.312 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.372 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.424 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.491 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))>)
2.530 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.584 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))> #<alt (λ (a c) (fmod (cbrt (pow (cosh c) 3)) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (log1p a)))))>)
2.638 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.639 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
2.641 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
2.642 * * [simplify]: iteration  1 :  12  enodes  (cost  13 )
2.642 * [simplify]: Simplified to:
   (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a))))
14.918 * [regime-testing]: Baseline error score: 34.16149340568755
14.919 * [regime-testing]: Oracle error score: 34.09865491500606
14.921 * [regime-testing]: End program error score: 34.16149340568755