7.766 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.336 * * * [progress]: [2/2] Setting up program.
0.339 * [progress]: [Phase 2 of 3] Improving.
0.339 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.341 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.342 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.343 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.345 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.346 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.347 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.348 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.350 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.352 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.359 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.558 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.559 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.560 * * [progress]: iteration 1 / 4
0.560 * * * [progress]: picking best candidate
0.562 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.562 * * * [progress]: localizing error
0.572 * * * [progress]: generating rewritten candidates
0.572 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.573 * * * [progress]: generating series expansions
0.573 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.573 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.573 * [taylor]: Taking taylor expansion of 0 in a
0.573 * [taylor]: Taking taylor expansion of 0 in a
0.573 * [taylor]: Taking taylor expansion of 0 in a
0.573 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.574 * [taylor]: Taking taylor expansion of 0 in a
0.574 * [taylor]: Taking taylor expansion of 0 in a
0.574 * [taylor]: Taking taylor expansion of 0 in a
0.574 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.575 * [taylor]: Taking taylor expansion of 0 in a
0.575 * [taylor]: Taking taylor expansion of 0 in a
0.575 * [taylor]: Taking taylor expansion of 0 in a
0.575 * * * [progress]: simplifying candidates
0.575 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.577 * * [simplify]: iteration  0 :  21  enodes  (cost  57 )
0.579 * * [simplify]: iteration  1 :  26  enodes  (cost  50 )
0.580 * * [simplify]: iteration  2 :  31  enodes  (cost  50 )
0.581 * * [simplify]: iteration  3 :  38  enodes  (cost  50 )
0.583 * * [simplify]: iteration  4 :  58  enodes  (cost  50 )
0.584 * * [simplify]: iteration  5 :  117  enodes  (cost  50 )
0.589 * * [simplify]: iteration  6 :  567  enodes  (cost  50 )
0.604 * * [simplify]: iteration  7 :  1852  enodes  (cost  50 )
0.672 * * [simplify]: iteration  8 :  5001  enodes  (cost  50 )
0.673 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.673 * * * [progress]: adding candidates to table
0.699 * * [progress]: iteration 2 / 4
0.699 * * * [progress]: picking best candidate
0.711 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.711 * * * [progress]: localizing error
0.719 * * * [progress]: generating rewritten candidates
0.719 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.719 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.719 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.737 * * * [progress]: generating series expansions
0.737 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.737 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.737 * [taylor]: Taking taylor expansion of 0 in a
0.737 * [taylor]: Taking taylor expansion of 0 in a
0.737 * [taylor]: Taking taylor expansion of 0 in a
0.737 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.738 * [taylor]: Taking taylor expansion of 0 in a
0.738 * [taylor]: Taking taylor expansion of 0 in a
0.738 * [taylor]: Taking taylor expansion of 0 in a
0.738 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.739 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * [taylor]: Taking taylor expansion of 0 in a
0.739 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.739 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.740 * [taylor]: Taking taylor expansion of 0 in a
0.740 * [taylor]: Taking taylor expansion of 0 in a
0.740 * [taylor]: Taking taylor expansion of 0 in a
0.740 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.740 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.741 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.741 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.741 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.741 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.741 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.741 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.741 * [taylor]: Taking taylor expansion of 0 in a
0.742 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.742 * [taylor]: Taking taylor expansion of 0 in a
0.742 * [taylor]: Taking taylor expansion of 0 in a
0.742 * [taylor]: Taking taylor expansion of 0 in a
0.743 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.743 * [taylor]: Taking taylor expansion of 0 in a
0.743 * [taylor]: Taking taylor expansion of 0 in a
0.743 * [taylor]: Taking taylor expansion of 0 in a
0.743 * * * [progress]: simplifying candidates
0.744 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (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))
0.748 * * [simplify]: iteration  0 :  100  enodes  (cost  429 )
0.751 * * [simplify]: iteration  1 :  376  enodes  (cost  372 )
0.761 * * [simplify]: iteration  2 :  2253  enodes  (cost  352 )
0.844 * * [simplify]: iteration  3 :  5001  enodes  (cost  334 )
0.846 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (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))
0.847 * * * [progress]: adding candidates to table
0.975 * * [progress]: iteration 3 / 4
0.975 * * * [progress]: picking best candidate
1.004 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))>
1.004 * * * [progress]: localizing error
1.016 * * * [progress]: generating rewritten candidates
1.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
1.019 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
1.019 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.019 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.025 * * * [progress]: generating series expansions
1.025 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
1.025 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
1.027 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.027 * [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.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 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.028 * [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 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.029 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.029 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p 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.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.030 * [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 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.031 * [taylor]: Taking taylor expansion of 0 in a
1.031 * [taylor]: Taking taylor expansion of 0 in a
1.031 * [taylor]: Taking taylor expansion of 0 in a
1.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.031 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in (c a) around 0
1.031 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in a
1.031 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in a
1.031 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in a
1.031 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in a
1.031 * [taylor]: Taking taylor expansion of 1/6 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.031 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in c
1.031 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.032 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.032 * [taylor]: Taking taylor expansion of 1/6 in c
1.032 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.032 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/6) 4) in c
1.032 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/6) in c
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh c) (log1p a))))) in c
1.032 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh c) (log1p a)))) in c
1.032 * [taylor]: Taking taylor expansion of 1/6 in c
1.032 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.033 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3) in a
1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2)))) in a
1.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh c) (log1p a)) 2))) in a
1.033 * [taylor]: Taking taylor expansion of 1/3 in a
1.033 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 2)) in a
1.033 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 2) in a
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.035 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [taylor]: Taking taylor expansion of 0 in a
1.047 * [taylor]: Taking taylor expansion of 0 in a
1.048 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in (c a) around 0
1.048 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in a
1.048 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in a
1.048 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.048 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.048 * [taylor]: Taking taylor expansion of 1/6 in a
1.048 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.048 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in c
1.048 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.048 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.048 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.048 * [taylor]: Taking taylor expansion of 1/6 in c
1.048 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.049 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) 4) in c
1.049 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/6) in c
1.049 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.049 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.049 * [taylor]: Taking taylor expansion of 1/6 in c
1.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.050 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) 1/3) in a
1.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) in a
1.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) in a
1.050 * [taylor]: Taking taylor expansion of 1/3 in a
1.050 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) in a
1.050 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2) in a
1.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.052 * [taylor]: Taking taylor expansion of 0 in a
1.057 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in (c a) around 0
1.066 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in a
1.066 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in a
1.066 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.066 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.066 * [taylor]: Taking taylor expansion of 1/6 in a
1.066 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.066 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in c
1.066 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.066 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.066 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.066 * [taylor]: Taking taylor expansion of 1/6 in c
1.066 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.066 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) 4) in c
1.066 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/6) in c
1.066 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.066 * [taylor]: Taking taylor expansion of (* 1/6 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.067 * [taylor]: Taking taylor expansion of 1/6 in c
1.067 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.067 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) 1/3) in a
1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) in a
1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) in a
1.067 * [taylor]: Taking taylor expansion of 1/3 in a
1.067 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) in a
1.067 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2) in a
1.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.075 * [taylor]: Taking taylor expansion of 0 in a
1.083 * [taylor]: Taking taylor expansion of 0 in a
1.083 * * * [progress]: simplifying candidates
1.084 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (* (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 4))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 4)
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt 1)) 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (* (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow 1 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (* (* (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ 4 2))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (/ 4 2))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
1.087 * * [simplify]: iteration  0 :  123  enodes  (cost  426 )
1.090 * * [simplify]: iteration  1 :  338  enodes  (cost  399 )
1.097 * * [simplify]: iteration  2 :  1172  enodes  (cost  393 )
1.133 * * [simplify]: iteration  3 :  5001  enodes  (cost  390 )
1.135 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (pow (fmod (cosh c) (log1p a)) 1/2)
  (expm1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log1p (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  4/3
  4
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (cbrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 4)
  (pow (cbrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 8)
  (pow (cbrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 4)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (* (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))
  (cbrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (pow (fmod (cosh c) (log1p a)) 2)
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (sqrt (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
  (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)
1.136 * * * [progress]: adding candidates to table
1.347 * * [progress]: iteration 4 / 4
1.347 * * * [progress]: picking best candidate
1.379 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))>
1.379 * * * [progress]: localizing error
1.396 * * * [progress]: generating rewritten candidates
1.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1)
1.396 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1)
1.396 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
1.397 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.397 * * * [progress]: generating series expansions
1.397 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1)
1.397 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.397 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.398 * [taylor]: Taking taylor expansion of 0 in a
1.398 * [taylor]: Taking taylor expansion of 0 in a
1.398 * [taylor]: Taking taylor expansion of 0 in a
1.398 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.400 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1)
1.400 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.400 * [taylor]: Taking taylor expansion of 0 in a
1.400 * [taylor]: Taking taylor expansion of 0 in a
1.400 * [taylor]: Taking taylor expansion of 0 in a
1.400 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.401 * [taylor]: Taking taylor expansion of 0 in a
1.402 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
1.402 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.402 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.404 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.404 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.404 * [taylor]: Taking taylor expansion of 0 in a
1.404 * [taylor]: Taking taylor expansion of 0 in a
1.404 * [taylor]: Taking taylor expansion of 0 in a
1.404 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.405 * [taylor]: Taking taylor expansion of 0 in a
1.405 * [taylor]: Taking taylor expansion of 0 in a
1.405 * [taylor]: Taking taylor expansion of 0 in a
1.405 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.406 * [taylor]: Taking taylor expansion of 0 in a
1.406 * [taylor]: Taking taylor expansion of 0 in a
1.406 * [taylor]: Taking taylor expansion of 0 in a
1.406 * * * [progress]: simplifying candidates
1.406 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.409 * * [simplify]: iteration  0 :  21  enodes  (cost  228 )
1.410 * * [simplify]: iteration  1 :  26  enodes  (cost  200 )
1.412 * * [simplify]: iteration  2 :  31  enodes  (cost  200 )
1.413 * * [simplify]: iteration  3 :  38  enodes  (cost  200 )
1.414 * * [simplify]: iteration  4 :  58  enodes  (cost  200 )
1.416 * * [simplify]: iteration  5 :  117  enodes  (cost  200 )
1.421 * * [simplify]: iteration  6 :  567  enodes  (cost  200 )
1.436 * * [simplify]: iteration  7 :  1852  enodes  (cost  200 )
1.502 * * [simplify]: iteration  8 :  5001  enodes  (cost  200 )
1.504 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.504 * * * [progress]: adding candidates to table
1.710 * [progress]: [Phase 3 of 3] Extracting.
1.710 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.713 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.713 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.768 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.817 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.879 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.930 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (fmod (cosh c) (log1p a)) 2) 1/3)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (exp (log (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (fmod (cosh c) (log1p a))) 4/3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (exp (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) 4))))>)
1.983 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
1.983 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)))
1.984 * * [simplify]: iteration  0 :  15  enodes  (cost  27 )
1.984 * * [simplify]: iteration  1 :  15  enodes  (cost  27 )
1.984 * [simplify]: Simplified to:
   (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4) (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 4)))
13.305 * [regime-testing]: Baseline error score: 33.92022532846966
13.306 * [regime-testing]: Oracle error score: 33.858737929001194
13.307 * [regime-testing]: End program error score: 33.92022532846966