7.855 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.328 * * * [progress]: [2/2] Setting up program.
0.331 * [progress]: [Phase 2 of 3] Improving.
0.331 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.333 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.334 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.335 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.337 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.338 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.339 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.340 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.342 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.344 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.351 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.548 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.550 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.550 * * [progress]: iteration 1 / 4
0.550 * * * [progress]: picking best candidate
0.552 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.552 * * * [progress]: localizing error
0.559 * * * [progress]: generating rewritten candidates
0.559 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.559 * * * [progress]: generating series expansions
0.559 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.559 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.559 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.559 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.559 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.559 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.560 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * [taylor]: Taking taylor expansion of 0 in a
0.561 * * * [progress]: simplifying candidates
0.561 * [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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.564 * * [simplify]: iteration  0 :  21  enodes  (cost  57 )
0.565 * * [simplify]: iteration  1 :  26  enodes  (cost  50 )
0.566 * * [simplify]: iteration  2 :  31  enodes  (cost  50 )
0.567 * * [simplify]: iteration  3 :  38  enodes  (cost  50 )
0.569 * * [simplify]: iteration  4 :  58  enodes  (cost  50 )
0.571 * * [simplify]: iteration  5 :  117  enodes  (cost  50 )
0.575 * * [simplify]: iteration  6 :  567  enodes  (cost  50 )
0.590 * * [simplify]: iteration  7 :  1852  enodes  (cost  50 )
0.657 * * [simplify]: iteration  8 :  5001  enodes  (cost  50 )
0.658 * [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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.658 * * * [progress]: adding candidates to table
0.689 * * [progress]: iteration 2 / 4
0.689 * * * [progress]: picking best candidate
0.701 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.701 * * * [progress]: localizing error
0.709 * * * [progress]: generating rewritten candidates
0.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.710 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.717 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.719 * * * [progress]: generating series expansions
0.719 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.719 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [taylor]: Taking taylor expansion of 0 in a
0.720 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [taylor]: Taking taylor expansion of 0 in a
0.721 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.721 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.722 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.722 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.722 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [taylor]: Taking taylor expansion of 0 in a
0.723 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.723 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.724 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.724 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.724 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.724 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.725 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.725 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * [taylor]: Taking taylor expansion of 0 in a
0.726 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.726 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
0.726 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.726 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.727 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.727 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.727 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.727 * [taylor]: Taking taylor expansion of 0 in a
0.728 * [taylor]: Taking taylor expansion of 0 in a
0.729 * [taylor]: Taking taylor expansion of 0 in a
0.729 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.729 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.729 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.730 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.730 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.730 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.730 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.730 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.730 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.730 * [taylor]: Taking taylor expansion of 0 in a
0.731 * [taylor]: Taking taylor expansion of 0 in a
0.732 * [taylor]: Taking taylor expansion of 0 in a
0.732 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.732 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.733 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.733 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.733 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.733 * [taylor]: Taking taylor expansion of 0 in a
0.734 * [taylor]: Taking taylor expansion of 0 in a
0.735 * [taylor]: Taking taylor expansion of 0 in a
0.735 * * * [progress]: simplifying candidates
0.736 * [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.740 * * [simplify]: iteration  0 :  102  enodes  (cost  520 )
0.743 * * [simplify]: iteration  1 :  378  enodes  (cost  459 )
0.753 * * [simplify]: iteration  2 :  2255  enodes  (cost  439 )
0.835 * * [simplify]: iteration  3 :  5001  enodes  (cost  421 )
0.837 * [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)))
0.838 * * * [progress]: adding candidates to table
1.010 * * [progress]: iteration 3 / 4
1.010 * * * [progress]: picking best candidate
1.041 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))>
1.041 * * * [progress]: localizing error
1.052 * * * [progress]: generating rewritten candidates
1.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
1.053 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.056 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.079 * * * [progress]: generating series expansions
1.079 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
1.079 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.080 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.080 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.081 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.081 * [taylor]: Taking taylor expansion of 0 in a
1.081 * [taylor]: Taking taylor expansion of 0 in a
1.081 * [taylor]: Taking taylor expansion of 0 in a
1.081 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.081 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.081 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.082 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.083 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.083 * [taylor]: Taking taylor expansion of 0 in a
1.083 * [taylor]: Taking taylor expansion of 0 in a
1.083 * [taylor]: Taking taylor expansion of 0 in a
1.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.083 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in (c a) around 0
1.084 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.084 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.084 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.084 * [taylor]: Taking taylor expansion of 1/4 in a
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.084 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.084 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.084 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.084 * [taylor]: Taking taylor expansion of 1/4 in c
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.084 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.084 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.084 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.084 * [taylor]: Taking taylor expansion of 1/4 in c
1.084 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.084 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.085 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.085 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.085 * [taylor]: Taking taylor expansion of 1/4 in a
1.085 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.085 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.085 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.088 * [taylor]: Taking taylor expansion of 0 in a
1.097 * [taylor]: Taking taylor expansion of 0 in a
1.105 * [taylor]: Taking taylor expansion of 0 in a
1.106 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in (c a) around 0
1.106 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.106 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.106 * [taylor]: Taking taylor expansion of 1/4 in a
1.106 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.106 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.106 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.106 * [taylor]: Taking taylor expansion of 1/4 in c
1.106 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.107 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.107 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.107 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.107 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.107 * [taylor]: Taking taylor expansion of 1/4 in c
1.107 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.107 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.108 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.108 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.108 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.108 * [taylor]: Taking taylor expansion of 1/4 in a
1.108 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.108 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.111 * [taylor]: Taking taylor expansion of 0 in a
1.116 * [taylor]: Taking taylor expansion of 0 in a
1.125 * [taylor]: Taking taylor expansion of 0 in a
1.126 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in (c a) around 0
1.126 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.126 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.126 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.126 * [taylor]: Taking taylor expansion of 1/4 in a
1.126 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.126 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.126 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.126 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.126 * [taylor]: Taking taylor expansion of 1/4 in c
1.126 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.126 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.126 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.127 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.127 * [taylor]: Taking taylor expansion of 1/4 in c
1.127 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.127 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.127 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.127 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.127 * [taylor]: Taking taylor expansion of 1/4 in a
1.127 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.127 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.130 * [taylor]: Taking taylor expansion of 0 in a
1.136 * [taylor]: Taking taylor expansion of 0 in a
1.145 * [taylor]: Taking taylor expansion of 0 in a
1.145 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.145 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.145 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.145 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.145 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.146 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.147 * [taylor]: Taking taylor expansion of 0 in a
1.147 * [taylor]: Taking taylor expansion of 0 in a
1.147 * [taylor]: Taking taylor expansion of 0 in a
1.147 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.147 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.147 * [taylor]: Taking taylor expansion of 0 in a
1.147 * [taylor]: Taking taylor expansion of 0 in a
1.148 * [taylor]: Taking taylor expansion of 0 in a
1.148 * * * [progress]: simplifying candidates
1.150 * [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 (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log1p (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/2 2) 3)
  (* (/ 1 2) 3)
  (* (/ (/ 1 2) 2) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (/ 3 2)
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (expm1 (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log1p (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (+ 1 3)
  (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt 1) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow 1 3))
  (* (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)))) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt 1) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow 1 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (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)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.156 * * [simplify]: iteration  0 :  238  enodes  (cost  1711 )
1.162 * * [simplify]: iteration  1 :  1132  enodes  (cost  1197 )
1.195 * * [simplify]: iteration  2 :  5001  enodes  (cost  999 )
1.199 * [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 (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log1p (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  3/2
  3
  3/4
  3/2
  3/4
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  3/2
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  4
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (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)
  (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)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (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)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (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)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (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))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.200 * * * [progress]: adding candidates to table
1.456 * * [progress]: iteration 4 / 4
1.456 * * * [progress]: picking best candidate
1.508 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))>
1.508 * * * [progress]: localizing error
1.521 * * * [progress]: generating rewritten candidates
1.521 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
1.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.525 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.533 * * * [progress]: generating series expansions
1.533 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
1.533 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.533 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.533 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.533 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.533 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.533 * [taylor]: Taking taylor expansion of 0 in a
1.533 * [taylor]: Taking taylor expansion of 0 in a
1.533 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.534 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.535 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.535 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.536 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.536 * [taylor]: Taking taylor expansion of 0 in a
1.536 * [taylor]: Taking taylor expansion of 0 in a
1.536 * [taylor]: Taking taylor expansion of 0 in a
1.536 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.537 * [taylor]: Taking taylor expansion of 0 in a
1.537 * [taylor]: Taking taylor expansion of 0 in a
1.537 * [taylor]: Taking taylor expansion of 0 in a
1.537 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.537 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in (c a) around 0
1.537 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in a
1.537 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.537 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.537 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.537 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.537 * [taylor]: Taking taylor expansion of 1/4 in a
1.537 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.537 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.538 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in c
1.538 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.538 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.538 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.538 * [taylor]: Taking taylor expansion of 1/4 in c
1.538 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.538 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.539 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in c
1.539 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.539 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.539 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.539 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.539 * [taylor]: Taking taylor expansion of 1/4 in c
1.539 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.539 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.540 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)) in a
1.540 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.540 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.540 * [taylor]: Taking taylor expansion of 1/4 in a
1.540 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.540 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.546 * [taylor]: Taking taylor expansion of 0 in a
1.554 * [taylor]: Taking taylor expansion of 0 in a
1.565 * [taylor]: Taking taylor expansion of 0 in a
1.566 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in (c a) around 0
1.566 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in a
1.566 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.566 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.566 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.566 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.566 * [taylor]: Taking taylor expansion of 1/4 in a
1.566 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.567 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in c
1.567 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.567 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.567 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.567 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.567 * [taylor]: Taking taylor expansion of 1/4 in c
1.567 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.568 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in c
1.568 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.568 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.568 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.568 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.568 * [taylor]: Taking taylor expansion of 1/4 in c
1.568 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.569 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)) in a
1.569 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.569 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.569 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.569 * [taylor]: Taking taylor expansion of 1/4 in a
1.569 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.569 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.572 * [taylor]: Taking taylor expansion of 0 in a
1.580 * [taylor]: Taking taylor expansion of 0 in a
1.592 * [taylor]: Taking taylor expansion of 0 in a
1.592 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in (c a) around 0
1.592 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in a
1.592 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.592 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.592 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.592 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.592 * [taylor]: Taking taylor expansion of 1/4 in a
1.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.593 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in c
1.593 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.593 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.593 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.593 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.593 * [taylor]: Taking taylor expansion of 1/4 in c
1.594 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.594 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in c
1.594 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.594 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.594 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.594 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.594 * [taylor]: Taking taylor expansion of 1/4 in c
1.594 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.595 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.595 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)) in a
1.595 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.595 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.595 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.595 * [taylor]: Taking taylor expansion of 1/4 in a
1.595 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.596 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.596 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.599 * [taylor]: Taking taylor expansion of 0 in a
1.607 * [taylor]: Taking taylor expansion of 0 in a
1.619 * [taylor]: Taking taylor expansion of 0 in a
1.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.619 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in (c a) around 0
1.619 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.619 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.619 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.619 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.619 * [taylor]: Taking taylor expansion of 1/4 in a
1.619 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.620 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.620 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.620 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.620 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.620 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.620 * [taylor]: Taking taylor expansion of 1/4 in c
1.620 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.620 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.620 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.620 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.620 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.620 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.620 * [taylor]: Taking taylor expansion of 1/4 in c
1.620 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.620 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.621 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.621 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.621 * [taylor]: Taking taylor expansion of 1/4 in a
1.621 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.621 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.621 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.623 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in a
1.637 * [taylor]: Taking taylor expansion of 0 in a
1.637 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in (c a) around 0
1.637 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.637 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.637 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.637 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.637 * [taylor]: Taking taylor expansion of 1/4 in a
1.637 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.637 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.638 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.638 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.638 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.638 * [taylor]: Taking taylor expansion of 1/4 in c
1.638 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.642 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.642 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.642 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.642 * [taylor]: Taking taylor expansion of 1/4 in c
1.642 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.643 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.643 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.643 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.643 * [taylor]: Taking taylor expansion of 1/4 in a
1.643 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.643 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.646 * [taylor]: Taking taylor expansion of 0 in a
1.652 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in (c a) around 0
1.661 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.661 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.661 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.661 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.661 * [taylor]: Taking taylor expansion of 1/4 in a
1.661 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.662 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.662 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.662 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.662 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.662 * [taylor]: Taking taylor expansion of 1/4 in c
1.662 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.662 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.662 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.662 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.662 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.662 * [taylor]: Taking taylor expansion of 1/4 in c
1.662 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.663 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.663 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.663 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.663 * [taylor]: Taking taylor expansion of 1/4 in a
1.663 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.663 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.666 * [taylor]: Taking taylor expansion of 0 in a
1.671 * [taylor]: Taking taylor expansion of 0 in a
1.680 * [taylor]: Taking taylor expansion of 0 in a
1.680 * * * [progress]: simplifying candidates
1.682 * [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 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log1p (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt 1)) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt 1) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow 1 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (log (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt 1)) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt 1) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow 1 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log 1)
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (* (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (expm1 (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (log1p (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp 3)
  (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp 1)
  (exp (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt 1)) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt 1) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow 1 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (exp (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (log (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (log (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt 1)) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt 1) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow 1 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (exp (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log 1))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))))
  (log (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (* (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (* (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (sqrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (sqrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (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))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
1.687 * * [simplify]: iteration  0 :  212  enodes  (cost  994 )
1.691 * * [simplify]: iteration  1 :  535  enodes  (cost  899 )
1.701 * * [simplify]: iteration  2 :  2826  enodes  (cost  880 )
1.797 * * [simplify]: iteration  3 :  5001  enodes  (cost  862 )
1.800 * [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 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log1p (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3/2)))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3/2)))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (expm1 (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (log1p (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp 3)
  (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  E
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (sqrt (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)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (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))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
1.801 * * * [progress]: adding candidates to table
2.069 * [progress]: [Phase 3 of 3] Extracting.
2.069 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.075 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.075 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.179 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.270 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.380 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.480 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log1p (expm1 (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) 1/2))> #<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 (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 (sqrt (fmod (cosh c) (log1p a)))) (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))> #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (* 3/4 (log (fmod (cosh c) (log1p a)))))))>)
2.582 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
2.582 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))))
2.582 * * [simplify]: iteration  0 :  17  enodes  (cost  16 )
2.583 * * [simplify]: iteration  1 :  17  enodes  (cost  16 )
2.583 * [simplify]: Simplified to:
   (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))))
14.668 * [regime-testing]: Baseline error score: 34.16353791755986
14.669 * [regime-testing]: Oracle error score: 34.11736113731452
14.670 * [regime-testing]: End program error score: 34.16353791755986