7.505 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.366 * * * [progress]: [2/2] Setting up program.
0.368 * [progress]: [Phase 2 of 3] Improving.
0.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.368 * [simplify]: Sending expressions to egg_math:
 (fmod (cosh h0) (log1p h1))
0.370 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.372 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.373 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.374 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.375 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.376 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.377 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.379 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.381 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.388 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.588 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.589 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.590 * * [progress]: iteration 1 / 4
0.590 * * * [progress]: picking best candidate
0.592 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.592 * * * [progress]: localizing error
0.598 * * * [progress]: generating rewritten candidates
0.598 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.599 * * * [progress]: generating series expansions
0.599 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.599 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.599 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.599 * [taylor]: Taking taylor expansion of 0 in a
0.599 * [taylor]: Taking taylor expansion of 0 in a
0.599 * [taylor]: Taking taylor expansion of 0 in a
0.599 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.600 * [taylor]: Taking taylor expansion of 0 in a
0.600 * [taylor]: Taking taylor expansion of 0 in a
0.600 * [taylor]: Taking taylor expansion of 0 in a
0.600 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.601 * [taylor]: Taking taylor expansion of 0 in a
0.601 * [taylor]: Taking taylor expansion of 0 in a
0.601 * [taylor]: Taking taylor expansion of 0 in a
0.601 * * * [progress]: simplifying candidates
0.601 * [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.601 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
0.603 * * [simplify]: iteration  0 :  19  enodes  (cost  49 )
0.605 * * [simplify]: iteration  1 :  24  enodes  (cost  42 )
0.606 * * [simplify]: iteration  2 :  29  enodes  (cost  42 )
0.607 * * [simplify]: iteration  3 :  36  enodes  (cost  42 )
0.609 * * [simplify]: iteration  4 :  56  enodes  (cost  42 )
0.610 * * [simplify]: iteration  5 :  115  enodes  (cost  42 )
0.615 * * [simplify]: iteration  6 :  564  enodes  (cost  42 )
0.630 * * [simplify]: iteration  7 :  1838  enodes  (cost  42 )
0.699 * * [simplify]: iteration  8 :  5001  enodes  (cost  42 )
0.700 * [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.700 * * * [progress]: adding candidates to table
0.724 * * [progress]: iteration 2 / 4
0.724 * * * [progress]: picking best candidate
0.735 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.735 * * * [progress]: localizing error
0.744 * * * [progress]: generating rewritten candidates
0.744 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.744 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.746 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.750 * * * [progress]: generating series expansions
0.750 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.750 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.750 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.750 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.750 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.750 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.750 * [taylor]: Taking taylor expansion of 0 in a
0.750 * [taylor]: Taking taylor expansion of 0 in a
0.750 * [taylor]: Taking taylor expansion of 0 in a
0.750 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.751 * [taylor]: Taking taylor expansion of 0 in a
0.751 * [taylor]: Taking taylor expansion of 0 in a
0.751 * [taylor]: Taking taylor expansion of 0 in a
0.751 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.752 * [taylor]: Taking taylor expansion of 0 in a
0.752 * [taylor]: Taking taylor expansion of 0 in a
0.752 * [taylor]: Taking taylor expansion of 0 in a
0.752 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.752 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.752 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.752 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.752 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.752 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.753 * [taylor]: Taking taylor expansion of 0 in a
0.755 * [taylor]: Taking taylor expansion of 0 in a
0.758 * [taylor]: Taking taylor expansion of 0 in a
0.758 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.758 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.758 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.758 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.759 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.759 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.759 * [taylor]: Taking taylor expansion of 0 in a
0.761 * [taylor]: Taking taylor expansion of 0 in a
0.764 * [taylor]: Taking taylor expansion of 0 in a
0.765 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.765 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.765 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.765 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.765 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.766 * [taylor]: Taking taylor expansion of 0 in a
0.768 * [taylor]: Taking taylor expansion of 0 in a
0.771 * [taylor]: Taking taylor expansion of 0 in a
0.771 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.772 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.772 * [taylor]: Taking taylor expansion of 0 in a
0.772 * [taylor]: Taking taylor expansion of 0 in a
0.772 * [taylor]: Taking taylor expansion of 0 in a
0.772 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.772 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.773 * [taylor]: Taking taylor expansion of 0 in a
0.773 * [taylor]: Taking taylor expansion of 0 in a
0.773 * [taylor]: Taking taylor expansion of 0 in a
0.773 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.773 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * * * [progress]: simplifying candidates
0.774 * [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))
0.774 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))
 (log (cbrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log 1)
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (log (fmod (cosh h0) (log1p h1))))
 (exp (log (fmod (cosh h0) (log1p h1))))
 (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))
 (cbrt (log (fmod (cosh h0) (log1p h1))))
 (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (exp 1)
 (exp (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))))
 (exp (sqrt (log (fmod (cosh h0) (log1p h1)))))
 (exp 1)
 (exp (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))))
 (exp (log (cbrt (fmod (cosh h0) (log1p h1)))))
 (exp (log (sqrt (fmod (cosh h0) (log1p h1)))))
 (exp (log (sqrt (fmod (cosh h0) (log1p h1)))))
 (exp (log 1))
 (exp (log (fmod (cosh h0) (log1p h1))))
 (log (exp (log (fmod (cosh h0) (log1p h1)))))
 (exp (exp (log (fmod (cosh h0) (log1p h1)))))
 (* (cbrt (exp (log (fmod (cosh h0) (log1p h1))))) (cbrt (exp (log (fmod (cosh h0) (log1p h1))))))
 (cbrt (exp (log (fmod (cosh h0) (log1p h1)))))
 (* (* (exp (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1))))) (exp (log (fmod (cosh h0) (log1p h1)))))
 (sqrt (exp (log (fmod (cosh h0) (log1p h1)))))
 (sqrt (exp (log (fmod (cosh h0) (log1p h1)))))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
0.777 * * [simplify]: iteration  0 :  55  enodes  (cost  234 )
0.778 * * [simplify]: iteration  1 :  81  enodes  (cost  206 )
0.780 * * [simplify]: iteration  2 :  103  enodes  (cost  200 )
0.782 * * [simplify]: iteration  3 :  150  enodes  (cost  194 )
0.784 * * [simplify]: iteration  4 :  295  enodes  (cost  194 )
0.788 * * [simplify]: iteration  5 :  724  enodes  (cost  194 )
0.801 * * [simplify]: iteration  6 :  2472  enodes  (cost  194 )
0.856 * * [simplify]: iteration  7 :  5001  enodes  (cost  194 )
0.857 * [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))
0.858 * * * [progress]: adding candidates to table
0.944 * * [progress]: iteration 3 / 4
0.944 * * * [progress]: picking best candidate
0.973 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))>
0.974 * * * [progress]: localizing error
0.985 * * * [progress]: generating rewritten candidates
0.985 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
0.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.987 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.998 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.003 * * * [progress]: generating series expansions
1.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.003 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.004 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.004 * [taylor]: Taking taylor expansion of 0 in a
1.004 * [taylor]: Taking taylor expansion of 0 in a
1.004 * [taylor]: Taking taylor expansion of 0 in a
1.004 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.005 * [taylor]: Taking taylor expansion of 0 in a
1.005 * [taylor]: Taking taylor expansion of 0 in a
1.005 * [taylor]: Taking taylor expansion of 0 in a
1.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.005 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.005 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.005 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.005 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.005 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.005 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.005 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.006 * [taylor]: Taking taylor expansion of 0 in a
1.008 * [taylor]: Taking taylor expansion of 0 in a
1.011 * [taylor]: Taking taylor expansion of 0 in a
1.011 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.011 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.013 * [taylor]: Taking taylor expansion of 0 in a
1.015 * [taylor]: Taking taylor expansion of 0 in a
1.021 * [taylor]: Taking taylor expansion of 0 in a
1.021 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.021 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.021 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.021 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.022 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.022 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.022 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.023 * [taylor]: Taking taylor expansion of 0 in a
1.024 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.028 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.030 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of 0 in a
1.030 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.030 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0
1.030 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
1.030 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.030 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
1.030 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.030 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c
1.030 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.031 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a
1.031 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.031 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.035 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0
1.040 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
1.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.040 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
1.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.040 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c
1.040 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.041 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a
1.041 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.043 * [taylor]: Taking taylor expansion of 0 in a
1.046 * [taylor]: Taking taylor expansion of 0 in a
1.051 * [taylor]: Taking taylor expansion of 0 in a
1.051 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0
1.051 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
1.051 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.051 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.052 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
1.052 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.052 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c
1.052 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.052 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a
1.052 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.057 * [taylor]: Taking taylor expansion of 0 in a
1.062 * [taylor]: Taking taylor expansion of 0 in a
1.063 * * * [progress]: simplifying candidates
1.063 * [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 (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* (log (log (fmod (cosh c) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (pow (log (fmod (cosh c) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
  (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)
  (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (pow (log (fmod (cosh c) (log1p a))) (/ 3 2))
  (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))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
1.064 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))
 (log (cbrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log 1)
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (log (fmod (cosh h0) (log1p h1))))
 (exp (log (fmod (cosh h0) (log1p h1))))
 (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))
 (cbrt (log (fmod (cosh h0) (log1p h1))))
 (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3)))
 (exp (cbrt (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))))))
 (exp (cbrt (* (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3)))
 (exp (cbrt (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)))
 (exp (cbrt (pow 1 3)))
 (exp (cbrt (log (fmod (cosh h0) (log1p h1)))))
 (exp (cbrt (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (exp (cbrt 1))
 (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2))))
 (exp (* (cbrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (cbrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))))
 (exp (sqrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (exp 1)
 (log (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (exp (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (* (cbrt (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))))
 (cbrt (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (* (* (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (sqrt (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (sqrt (exp (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))
 (* (log (log (fmod (cosh h0) (log1p h1)))) 3)
 (* (log (log (fmod (cosh h0) (log1p h1)))) 3)
 (* 1 3)
 (pow (log (fmod (cosh h0) (log1p h1))) (* (cbrt 3) (cbrt 3)))
 (pow (log (fmod (cosh h0) (log1p h1))) (sqrt 3))
 (pow (log (fmod (cosh h0) (log1p h1))) 1)
 (pow 1 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3)
 (pow (cbrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow 1 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))))
 (log (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (exp (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (* (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))
 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (* (* (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (log (fmod (cosh h0) (log1p h1))) 3)) (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (pow 1 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3)
 (pow (cbrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3)
 (pow 1 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))))
 (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3))
 (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2))
 (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
 (pow (log (fmod (cosh h0) (log1p h1))) 3)
1.067 * * [simplify]: iteration  0 :  133  enodes  (cost  473 )
1.070 * * [simplify]: iteration  1 :  432  enodes  (cost  423 )
1.083 * * [simplify]: iteration  2 :  2928  enodes  (cost  418 )
1.191 * * [simplify]: iteration  3 :  5002  enodes  (cost  418 )
1.193 * [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)))
  (* 2 (log (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))))
  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))) (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))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  E
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (exp (cbrt (log (fmod (cosh c) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))))
  E
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (exp (pow (log (fmod (cosh c) (log1p a))) 1/2))
  E
  (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 (pow (log (fmod (cosh c) (log1p a))) 3))
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  3
  (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (cosh c) (log1p a))) (sqrt 3))
  (log (fmod (cosh c) (log1p a)))
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (pow (log (fmod (cosh c) (log1p a))) 3))
  (exp (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (log (fmod (cosh c) (log1p a)))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  1
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 2)
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (sqrt (pow (log (fmod (cosh c) (log1p a))) 3))
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (pow (log (fmod (cosh c) (log1p a))) 3/2)
  (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))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (pow (log (fmod (cosh c) (log1p a))) 3)
1.194 * * * [progress]: adding candidates to table
1.372 * * [progress]: iteration 4 / 4
1.372 * * * [progress]: picking best candidate
1.431 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>
1.431 * * * [progress]: localizing error
1.448 * * * [progress]: generating rewritten candidates
1.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1)
1.449 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
1.451 * * * [progress]: generating series expansions
1.451 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1)
1.451 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [taylor]: Taking taylor expansion of 0 in a
1.452 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * [taylor]: Taking taylor expansion of 0 in a
1.453 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1.453 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.453 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [taylor]: Taking taylor expansion of 0 in a
1.454 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.455 * [taylor]: Taking taylor expansion of 0 in a
1.455 * [taylor]: Taking taylor expansion of 0 in a
1.455 * [taylor]: Taking taylor expansion of 0 in a
1.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.455 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.455 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.456 * [taylor]: Taking taylor expansion of 0 in a
1.457 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.457 * [taylor]: Taking taylor expansion of 0 in a
1.457 * [taylor]: Taking taylor expansion of 0 in a
1.457 * [taylor]: Taking taylor expansion of 0 in a
1.457 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
1.457 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.458 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.458 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.458 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.458 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.459 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.463 * [taylor]: Taking taylor expansion of 0 in a
1.464 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.465 * [taylor]: Taking taylor expansion of 0 in a
1.467 * [taylor]: Taking taylor expansion of 0 in a
1.470 * [taylor]: Taking taylor expansion of 0 in a
1.470 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1.470 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.470 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.471 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.471 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.472 * [taylor]: Taking taylor expansion of 0 in a
1.473 * [taylor]: Taking taylor expansion of 0 in a
1.476 * [taylor]: Taking taylor expansion of 0 in a
1.477 * * * [progress]: simplifying candidates
1.477 * [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)))
  (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))))
  (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.477 * [simplify]: Sending expressions to egg_math:
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (exp (fmod (cosh h0) (log1p h1)))
 (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))
 (cbrt (fmod (cosh h0) (log1p h1)))
 (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (sqrt (fmod (cosh h0) (log1p h1)))
 (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))
 (log (cbrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log (sqrt (fmod (cosh h0) (log1p h1))))
 (log 1)
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (log (fmod (cosh h0) (log1p h1))))
 (exp (log (fmod (cosh h0) (log1p h1))))
 (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))
 (cbrt (log (fmod (cosh h0) (log1p h1))))
 (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (sqrt (log (fmod (cosh h0) (log1p h1))))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (fmod (cosh h0) (log1p h1))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
 (log (fmod (cosh h0) (log1p h1)))
1.480 * * [simplify]: iteration  0 :  35  enodes  (cost  241 )
1.481 * * [simplify]: iteration  1 :  48  enodes  (cost  206 )
1.482 * * [simplify]: iteration  2 :  62  enodes  (cost  206 )
1.484 * * [simplify]: iteration  3 :  76  enodes  (cost  206 )
1.486 * * [simplify]: iteration  4 :  120  enodes  (cost  206 )
1.488 * * [simplify]: iteration  5 :  247  enodes  (cost  206 )
1.495 * * [simplify]: iteration  6 :  1104  enodes  (cost  206 )
1.528 * * [simplify]: iteration  7 :  4889  enodes  (cost  206 )
1.670 * * [simplify]: iteration  8 :  5001  enodes  (cost  206 )
1.672 * [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)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (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)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (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)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (pow (fmod (cosh c) (log1p a)) 1/2))
  (log (pow (fmod (cosh c) (log1p a)) 1/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))))
  (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
1.673 * * * [progress]: adding candidates to table
1.840 * [progress]: [Phase 3 of 3] Extracting.
1.840 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.845 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.845 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.935 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
2.012 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
2.108 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
2.193 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))) 3)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3)))))> #<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) (exp (cbrt (cbrt (pow (pow (log (fmod (cosh c) (log1p a))) 3) 3)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (cosh c) (log1p a)) 3))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (cosh c) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
2.278 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
2.278 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))
2.278 * [simplify]: Sending expressions to egg_math:
 (pow (exp (cbrt (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3))))
2.279 * * [simplify]: iteration  0 :  18  enodes  (cost  32 )
2.279 * * [simplify]: iteration  1 :  18  enodes  (cost  32 )
2.279 * [simplify]: Simplified to:
   (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))))
14.273 * [regime-testing]: Baseline error score: 34.34734393828164
14.274 * [regime-testing]: Oracle error score: 34.30822280999836
14.275 * [regime-testing]: End program error score: 34.34734393828164