8.210 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.288 * * * [progress]: [2/2] Setting up program.
0.290 * [progress]: [Phase 2 of 3] Improving.
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.293 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.294 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.295 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.296 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.297 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.298 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.299 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.301 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.303 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.309 * * [simplify]: iteration  9 :  1042  enodes  (cost  3 )
0.507 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.509 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.509 * * [progress]: iteration 1 / 4
0.509 * * * [progress]: picking best candidate
0.511 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.511 * * * [progress]: localizing error
0.518 * * * [progress]: generating rewritten candidates
0.518 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.519 * * * [progress]: generating series expansions
0.519 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.519 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.519 * [taylor]: Taking taylor expansion of 0 in a
0.519 * [taylor]: Taking taylor expansion of 0 in a
0.519 * [taylor]: Taking taylor expansion of 0 in a
0.520 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.520 * [taylor]: Taking taylor expansion of 0 in a
0.520 * [taylor]: Taking taylor expansion of 0 in a
0.520 * [taylor]: Taking taylor expansion of 0 in a
0.520 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.521 * [taylor]: Taking taylor expansion of 0 in a
0.521 * [taylor]: Taking taylor expansion of 0 in a
0.521 * [taylor]: Taking taylor expansion of 0 in a
0.521 * * * [progress]: simplifying candidates
0.521 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.524 * * [simplify]: iteration  0 :  19  enodes  (cost  49 )
0.525 * * [simplify]: iteration  1 :  24  enodes  (cost  42 )
0.526 * * [simplify]: iteration  2 :  29  enodes  (cost  42 )
0.527 * * [simplify]: iteration  3 :  36  enodes  (cost  42 )
0.529 * * [simplify]: iteration  4 :  56  enodes  (cost  42 )
0.530 * * [simplify]: iteration  5 :  115  enodes  (cost  42 )
0.535 * * [simplify]: iteration  6 :  564  enodes  (cost  42 )
0.549 * * [simplify]: iteration  7 :  1844  enodes  (cost  42 )
0.620 * * [simplify]: iteration  8 :  5001  enodes  (cost  42 )
0.621 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.621 * * * [progress]: adding candidates to table
0.638 * * [progress]: iteration 2 / 4
0.638 * * * [progress]: picking best candidate
0.647 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.647 * * * [progress]: localizing error
0.656 * * * [progress]: generating rewritten candidates
0.656 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.657 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.658 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.664 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.667 * * * [progress]: generating series expansions
0.667 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.668 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.671 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.671 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.671 * [taylor]: Taking taylor expansion of 0 in a
0.671 * [taylor]: Taking taylor expansion of 0 in a
0.671 * [taylor]: Taking taylor expansion of 0 in a
0.671 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.671 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.673 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.675 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.675 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.675 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.675 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.675 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.677 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
0.677 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.677 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.678 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.678 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.678 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.678 * [taylor]: Taking taylor expansion of 0 in a
0.679 * [taylor]: Taking taylor expansion of 0 in a
0.680 * [taylor]: Taking taylor expansion of 0 in a
0.680 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.680 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.681 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.681 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.681 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.681 * [taylor]: Taking taylor expansion of 0 in a
0.682 * [taylor]: Taking taylor expansion of 0 in a
0.683 * [taylor]: Taking taylor expansion of 0 in a
0.683 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.683 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.684 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.684 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.684 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.685 * [taylor]: Taking taylor expansion of 0 in a
0.685 * [taylor]: Taking taylor expansion of 0 in a
0.687 * [taylor]: Taking taylor expansion of 0 in a
0.687 * * * [progress]: simplifying candidates
0.688 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (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.692 * * [simplify]: iteration  0 :  96  enodes  (cost  486 )
0.695 * * [simplify]: iteration  1 :  366  enodes  (cost  425 )
0.705 * * [simplify]: iteration  2 :  2198  enodes  (cost  405 )
0.785 * * [simplify]: iteration  3 :  5001  enodes  (cost  387 )
0.787 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (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.788 * * * [progress]: adding candidates to table
0.901 * * [progress]: iteration 3 / 4
0.901 * * * [progress]: picking best candidate
0.935 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
0.935 * * * [progress]: localizing error
0.947 * * * [progress]: generating rewritten candidates
0.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
0.947 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
0.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.965 * * * [progress]: generating series expansions
0.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
0.965 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.966 * [taylor]: Taking taylor expansion of 0 in a
0.966 * [taylor]: Taking taylor expansion of 0 in a
0.966 * [taylor]: Taking taylor expansion of 0 in a
0.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.967 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.967 * [taylor]: Taking taylor expansion of 0 in a
0.968 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
0.968 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.968 * [taylor]: Taking taylor expansion of 0 in a
0.968 * [taylor]: Taking taylor expansion of 0 in a
0.968 * [taylor]: Taking taylor expansion of 0 in a
0.968 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.969 * [taylor]: Taking taylor expansion of 0 in a
0.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.970 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.972 * [taylor]: Taking taylor expansion of 0 in a
0.972 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.972 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
0.972 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.972 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.972 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.972 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.972 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.975 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.975 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.975 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.976 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.976 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.976 * [taylor]: Taking taylor expansion of 0 in a
0.977 * [taylor]: Taking taylor expansion of 0 in a
0.978 * [taylor]: Taking taylor expansion of 0 in a
0.978 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.978 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.979 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.979 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.979 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.980 * [taylor]: Taking taylor expansion of 0 in a
0.981 * [taylor]: Taking taylor expansion of 0 in a
0.981 * * * [progress]: simplifying candidates
0.983 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (* (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)))))
  (* (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 (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (* (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))))))
  (* (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (cbrt (* (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 (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (sqrt (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* 1 1)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1 2) 2))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (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 (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 (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)))))
  (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.988 * * [simplify]: iteration  0 :  130  enodes  (cost  727 )
0.992 * * [simplify]: iteration  1 :  532  enodes  (cost  625 )
1.007 * * [simplify]: iteration  2 :  3264  enodes  (cost  594 )
1.141 * * [simplify]: iteration  3 :  5001  enodes  (cost  579 )
1.144 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (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)))
  1
  1
  2
  1/2
  1/2
  1
  1
  1/2
  1/2
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (* (log (fmod (cosh c) (log1p a))) 1/2)
  (* (log (fmod (cosh c) (log1p a))) 1/2)
  (pow (exp 1) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3)
  (fmod (cosh c) (log1p a))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (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))))
  (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
  (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
  (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
  (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))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  2
  1/2
  1
  1/2
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5)
  (* (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (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 (sqrt (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 (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (* (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
1.145 * * * [progress]: adding candidates to table
1.292 * * [progress]: iteration 4 / 4
1.292 * * * [progress]: picking best candidate
1.337 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.337 * * * [progress]: localizing error
1.347 * * * [progress]: generating rewritten candidates
1.347 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.348 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.349 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.352 * * * [progress]: generating series expansions
1.352 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.352 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.352 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.353 * [taylor]: Taking taylor expansion of 0 in a
1.354 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.354 * [taylor]: Taking taylor expansion of 0 in a
1.354 * [taylor]: Taking taylor expansion of 0 in a
1.354 * [taylor]: Taking taylor expansion of 0 in a
1.354 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.354 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.354 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.356 * [taylor]: Taking taylor expansion of 0 in a
1.357 * [taylor]: Taking taylor expansion of 0 in a
1.361 * [taylor]: Taking taylor expansion of 0 in a
1.361 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.364 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.371 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.372 * [taylor]: Taking taylor expansion of 0 in a
1.374 * [taylor]: Taking taylor expansion of 0 in a
1.377 * [taylor]: Taking taylor expansion of 0 in a
1.378 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.378 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.378 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.380 * [taylor]: Taking taylor expansion of 0 in a
1.380 * [taylor]: Taking taylor expansion of 0 in a
1.380 * [taylor]: Taking taylor expansion of 0 in a
1.380 * * * [progress]: simplifying candidates
1.380 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.383 * * [simplify]: iteration  0 :  55  enodes  (cost  234 )
1.385 * * [simplify]: iteration  1 :  81  enodes  (cost  206 )
1.386 * * [simplify]: iteration  2 :  103  enodes  (cost  200 )
1.388 * * [simplify]: iteration  3 :  150  enodes  (cost  194 )
1.390 * * [simplify]: iteration  4 :  295  enodes  (cost  194 )
1.395 * * [simplify]: iteration  5 :  724  enodes  (cost  194 )
1.408 * * [simplify]: iteration  6 :  2459  enodes  (cost  194 )
1.460 * * [simplify]: iteration  7 :  5001  enodes  (cost  194 )
1.461 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (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)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (/ (log (fmod (cosh c) (log1p a))) 2)
  (/ (log (fmod (cosh c) (log1p a))) 2)
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.462 * * * [progress]: adding candidates to table
1.539 * [progress]: [Phase 3 of 3] Extracting.
1.539 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.542 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.542 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.615 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.676 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.756 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.824 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 5) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (pow (exp 1) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))>)
1.892 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
1.893 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow E (log (fmod (cosh c) (log1p a))))
1.893 * * [simplify]: iteration  0 :  10  enodes  (cost  5 )
1.894 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
1.894 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
1.894 * [simplify]: Simplified to:
   (pow E (log (fmod (cosh c) (log1p a))))
13.531 * [regime-testing]: Baseline error score: 33.81316841919451
13.532 * [regime-testing]: Oracle error score: 33.78009233763837
13.534 * [regime-testing]: End program error score: 33.81316841919451