7.428 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.323 * * * [progress]: [2/2] Setting up program.
0.326 * [progress]: [Phase 2 of 3] Improving.
0.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.328 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.329 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.330 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.331 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.333 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.334 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.335 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.336 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.338 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.345 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.540 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.542 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.542 * * [progress]: iteration 1 / 4
0.542 * * * [progress]: picking best candidate
0.544 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.544 * * * [progress]: localizing error
0.550 * * * [progress]: generating rewritten candidates
0.550 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.551 * * * [progress]: generating series expansions
0.551 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.551 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.551 * [taylor]: Taking taylor expansion of 0 in a
0.551 * [taylor]: Taking taylor expansion of 0 in a
0.551 * [taylor]: Taking taylor expansion of 0 in a
0.552 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.552 * [taylor]: Taking taylor expansion of 0 in a
0.552 * [taylor]: Taking taylor expansion of 0 in a
0.552 * [taylor]: Taking taylor expansion of 0 in a
0.552 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.552 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.553 * [taylor]: Taking taylor expansion of 0 in a
0.553 * [taylor]: Taking taylor expansion of 0 in a
0.553 * [taylor]: Taking taylor expansion of 0 in a
0.553 * * * [progress]: simplifying candidates
0.553 * [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.555 * * [simplify]: iteration  0 :  19  enodes  (cost  49 )
0.556 * * [simplify]: iteration  1 :  24  enodes  (cost  42 )
0.558 * * [simplify]: iteration  2 :  29  enodes  (cost  42 )
0.559 * * [simplify]: iteration  3 :  36  enodes  (cost  42 )
0.560 * * [simplify]: iteration  4 :  56  enodes  (cost  42 )
0.562 * * [simplify]: iteration  5 :  115  enodes  (cost  42 )
0.567 * * [simplify]: iteration  6 :  564  enodes  (cost  42 )
0.581 * * [simplify]: iteration  7 :  1838  enodes  (cost  42 )
0.649 * * [simplify]: iteration  8 :  5001  enodes  (cost  42 )
0.650 * [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.650 * * * [progress]: adding candidates to table
0.670 * * [progress]: iteration 2 / 4
0.671 * * * [progress]: picking best candidate
0.684 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.684 * * * [progress]: localizing error
0.693 * * * [progress]: generating rewritten candidates
0.693 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.700 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.702 * * * [progress]: generating series expansions
0.702 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.702 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.702 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.702 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.702 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.703 * [taylor]: Taking taylor expansion of 0 in a
0.704 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.704 * [taylor]: Taking taylor expansion of 0 in a
0.704 * [taylor]: Taking taylor expansion of 0 in a
0.704 * [taylor]: Taking taylor expansion of 0 in a
0.704 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.704 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.704 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.705 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.705 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.705 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.706 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.708 * [taylor]: Taking taylor expansion of 0 in a
0.708 * [taylor]: Taking taylor expansion of 0 in a
0.708 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.708 * [taylor]: Taking taylor expansion of 0 in a
0.708 * [taylor]: Taking taylor expansion of 0 in a
0.708 * [taylor]: Taking taylor expansion of 0 in a
0.709 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.709 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
0.709 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.709 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.709 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.709 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.709 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
0.709 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.709 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
0.709 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.709 * [taylor]: Taking taylor expansion of 0 in a
0.710 * [taylor]: Taking taylor expansion of 0 in a
0.711 * [taylor]: Taking taylor expansion of 0 in a
0.711 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.711 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.712 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.712 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.712 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.713 * [taylor]: Taking taylor expansion of 0 in a
0.713 * [taylor]: Taking taylor expansion of 0 in a
0.714 * [taylor]: Taking taylor expansion of 0 in a
0.714 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.714 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.715 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.715 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.715 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.715 * [taylor]: Taking taylor expansion of 0 in a
0.716 * [taylor]: Taking taylor expansion of 0 in a
0.717 * [taylor]: Taking taylor expansion of 0 in a
0.717 * * * [progress]: simplifying candidates
0.718 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
0.722 * * [simplify]: iteration  0 :  96  enodes  (cost  486 )
0.725 * * [simplify]: iteration  1 :  366  enodes  (cost  425 )
0.734 * * [simplify]: iteration  2 :  2218  enodes  (cost  405 )
0.817 * * [simplify]: iteration  3 :  5001  enodes  (cost  387 )
0.819 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5)
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3)
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
0.820 * * * [progress]: adding candidates to table
0.961 * * [progress]: iteration 3 / 4
0.961 * * * [progress]: picking best candidate
0.990 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
0.990 * * * [progress]: localizing error
1.001 * * * [progress]: generating rewritten candidates
1.001 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.001 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.004 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.029 * * * [progress]: generating series expansions
1.029 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 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.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.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.031 * [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]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.031 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.031 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.031 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.031 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
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.032 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.032 * [taylor]: Taking taylor expansion of 0 in a
1.033 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.033 * [taylor]: Taking taylor expansion of 0 in a
1.033 * [taylor]: Taking taylor expansion of 0 in a
1.033 * [taylor]: Taking taylor expansion of 0 in a
1.033 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.033 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in (c a) around 0
1.033 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.033 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.033 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.033 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.034 * [taylor]: Taking taylor expansion of 1/4 in a
1.034 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.034 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.034 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.034 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.034 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.034 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.034 * [taylor]: Taking taylor expansion of 1/4 in c
1.034 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.034 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.034 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.034 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.034 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.034 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.034 * [taylor]: Taking taylor expansion of 1/4 in c
1.034 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.034 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.035 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.035 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.035 * [taylor]: Taking taylor expansion of 1/4 in a
1.035 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.035 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.035 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.043 * [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 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in (c a) around 0
1.051 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.051 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.051 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.051 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.051 * [taylor]: Taking taylor expansion of 1/4 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 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.052 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.052 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.052 * [taylor]: Taking taylor expansion of 1/4 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 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.052 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.052 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.052 * [taylor]: Taking taylor expansion of 1/4 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.053 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.053 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.053 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.053 * [taylor]: Taking taylor expansion of 1/4 in a
1.053 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.053 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.056 * [taylor]: Taking taylor expansion of 0 in a
1.061 * [taylor]: Taking taylor expansion of 0 in a
1.070 * [taylor]: Taking taylor expansion of 0 in a
1.070 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in (c a) around 0
1.070 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.070 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.070 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.070 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.070 * [taylor]: Taking taylor expansion of 1/4 in a
1.070 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.070 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.071 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.071 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.071 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.071 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.071 * [taylor]: Taking taylor expansion of 1/4 in c
1.071 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.071 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.071 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.071 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.071 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.071 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.071 * [taylor]: Taking taylor expansion of 1/4 in c
1.071 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.071 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.072 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.072 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.072 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.072 * [taylor]: Taking taylor expansion of 1/4 in a
1.072 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.072 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.075 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.088 * [taylor]: Taking taylor expansion of 0 in a
1.089 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.089 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.089 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.089 * [taylor]: Taking taylor expansion of 0 in a
1.089 * [taylor]: Taking taylor expansion of 0 in a
1.089 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.090 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * * * [progress]: simplifying candidates
1.093 * [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 (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/2 2) 3)
  (* (/ 1 2) 3)
  (* (/ (/ 1 2) 2) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (/ 3 2)
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (+ 3 1)
  (+ 3 1)
  (+ (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (+ (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (+ (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (sqrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (sqrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt 1)))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt 1))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) 1)
  (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.099 * * [simplify]: iteration  0 :  233  enodes  (cost  1355 )
1.105 * * [simplify]: iteration  1 :  1058  enodes  (cost  1134 )
1.135 * * [simplify]: iteration  2 :  5001  enodes  (cost  943 )
1.139 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  3/2
  3
  3/4
  3/2
  3/4
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  3/2
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  4
  4
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (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)))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/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))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.140 * * * [progress]: adding candidates to table
1.356 * * [progress]: iteration 4 / 4
1.357 * * * [progress]: picking best candidate
1.409 * * * * [pick]: Picked  #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
1.409 * * * [progress]: localizing error
1.423 * * * [progress]: generating rewritten candidates
1.423 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
1.423 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.434 * * * [progress]: generating series expansions
1.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.434 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.434 * [taylor]: Taking taylor expansion of 0 in a
1.434 * [taylor]: Taking taylor expansion of 0 in a
1.434 * [taylor]: Taking taylor expansion of 0 in a
1.434 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.435 * [taylor]: Taking taylor expansion of 0 in a
1.435 * [taylor]: Taking taylor expansion of 0 in a
1.435 * [taylor]: Taking taylor expansion of 0 in a
1.435 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.435 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
1.436 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * [taylor]: Taking taylor expansion of 0 in a
1.436 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.437 * [taylor]: Taking taylor expansion of 0 in a
1.437 * [taylor]: Taking taylor expansion of 0 in a
1.437 * [taylor]: Taking taylor expansion of 0 in a
1.437 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.438 * [taylor]: Taking taylor expansion of 0 in a
1.438 * [taylor]: Taking taylor expansion of 0 in a
1.438 * [taylor]: Taking taylor expansion of 0 in a
1.438 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.438 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in (c a) around 0
1.438 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in a
1.438 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.438 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.438 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.438 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.438 * [taylor]: Taking taylor expansion of 1/4 in a
1.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.438 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.439 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in c
1.439 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.439 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.439 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.439 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.439 * [taylor]: Taking taylor expansion of 1/4 in c
1.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.440 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3)) in c
1.440 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.440 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.440 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.440 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.440 * [taylor]: Taking taylor expansion of 1/4 in c
1.440 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.440 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)) in a
1.440 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.441 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.441 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.441 * [taylor]: Taking taylor expansion of 1/4 in a
1.441 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.441 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.444 * [taylor]: Taking taylor expansion of 0 in a
1.451 * [taylor]: Taking taylor expansion of 0 in a
1.462 * [taylor]: Taking taylor expansion of 0 in a
1.462 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in (c a) around 0
1.462 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in a
1.462 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.462 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.462 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.462 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.462 * [taylor]: Taking taylor expansion of 1/4 in a
1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.463 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in c
1.463 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.463 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.463 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.463 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.463 * [taylor]: Taking taylor expansion of 1/4 in c
1.463 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.464 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3)) in c
1.464 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.464 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.464 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.464 * [taylor]: Taking taylor expansion of 1/4 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.465 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)) in a
1.465 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.465 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.465 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.465 * [taylor]: Taking taylor expansion of 1/4 in a
1.465 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.465 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.469 * [taylor]: Taking taylor expansion of 0 in a
1.478 * [taylor]: Taking taylor expansion of 0 in a
1.490 * [taylor]: Taking taylor expansion of 0 in a
1.491 * [approximate]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in (c a) around 0
1.491 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in a
1.491 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.491 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.491 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.491 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.491 * [taylor]: Taking taylor expansion of 1/4 in a
1.491 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.491 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.492 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in c
1.492 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.492 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.492 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.492 * [taylor]: Taking taylor expansion of 1/4 in c
1.492 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.492 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.493 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3)) in c
1.493 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.493 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.493 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.493 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.493 * [taylor]: Taking taylor expansion of 1/4 in c
1.493 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.493 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.494 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)) in a
1.494 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.494 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.494 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.494 * [taylor]: Taking taylor expansion of 1/4 in a
1.494 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.494 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.498 * [taylor]: Taking taylor expansion of 0 in a
1.505 * [taylor]: Taking taylor expansion of 0 in a
1.517 * [taylor]: Taking taylor expansion of 0 in a
1.517 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.517 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in (c a) around 0
1.517 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
1.517 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
1.517 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
1.517 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
1.517 * [taylor]: Taking taylor expansion of 1/4 in a
1.517 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1.517 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.517 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.517 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.517 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.518 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.518 * [taylor]: Taking taylor expansion of 1/4 in c
1.518 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.518 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
1.518 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
1.518 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
1.518 * [taylor]: Taking taylor expansion of 1/4 in c
1.518 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.518 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
1.518 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
1.519 * [taylor]: Taking taylor expansion of 1/4 in a
1.519 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
1.519 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
1.519 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.521 * [taylor]: Taking taylor expansion of 0 in a
1.526 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in (c a) around 0
1.535 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
1.535 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
1.535 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1.535 * [taylor]: Taking taylor expansion of 1/4 in a
1.535 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.535 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.535 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.535 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.535 * [taylor]: Taking taylor expansion of 1/4 in c
1.535 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.536 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
1.536 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
1.536 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
1.536 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1.536 * [taylor]: Taking taylor expansion of 1/4 in c
1.536 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.537 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
1.537 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
1.537 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
1.537 * [taylor]: Taking taylor expansion of 1/4 in a
1.537 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
1.537 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
1.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.540 * [taylor]: Taking taylor expansion of 0 in a
1.545 * [taylor]: Taking taylor expansion of 0 in a
1.554 * [taylor]: Taking taylor expansion of 0 in a
1.554 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in (c a) around 0
1.554 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
1.554 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
1.554 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
1.554 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1.554 * [taylor]: Taking taylor expansion of 1/4 in a
1.554 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1.554 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.555 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.555 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.555 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.555 * [taylor]: Taking taylor expansion of 1/4 in c
1.555 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.555 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
1.555 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
1.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
1.555 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1.555 * [taylor]: Taking taylor expansion of 1/4 in c
1.555 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.556 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
1.556 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
1.556 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
1.556 * [taylor]: Taking taylor expansion of 1/4 in a
1.556 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
1.556 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
1.556 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.559 * [taylor]: Taking taylor expansion of 0 in a
1.564 * [taylor]: Taking taylor expansion of 0 in a
1.575 * [taylor]: Taking taylor expansion of 0 in a
1.575 * * * [progress]: simplifying candidates
1.577 * [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 (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt 1)) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt 1) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow 1 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (log (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt 1)) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt 1) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow 1 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (log 1)
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (* (* (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp 3)
  (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp 1)
  (exp (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt 1)) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt 1) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow 1 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (exp (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (log (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (log (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)))
  (exp (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt 1)) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt 1) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)))
  (exp (log (pow 1 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (log (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (exp (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (log 1))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))))
  (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))))
  (log (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (exp (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (* (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (cbrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (* (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (sqrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (sqrt (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (log (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
1.582 * * [simplify]: iteration  0 :  206  enodes  (cost  944 )
1.585 * * [simplify]: iteration  1 :  527  enodes  (cost  849 )
1.596 * * [simplify]: iteration  2 :  2787  enodes  (cost  830 )
1.689 * * [simplify]: iteration  3 :  5001  enodes  (cost  812 )
1.693 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3/2)))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3/2)))
  (log (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3))
  (log (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  (log (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  0
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2))
  (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3)
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (exp 3)
  (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))))
  (exp (sqrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))
  E
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/2)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (pow (sqrt (fmod (cosh c) (log1p a))) 3/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (* 3/4 (log (fmod (cosh c) (log1p a))))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
1.693 * * * [progress]: adding candidates to table
1.905 * [progress]: [Phase 3 of 3] Extracting.
1.905 * * [regime]: Finding splitpoints for: (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
1.911 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.911 * * * * [regimes]: Trying to branch on (log1p a) from (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.007 * * * * [regimes]: Trying to branch on (cosh c) from (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.093 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.197 * * * * [regimes]: Trying to branch on c from (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.290 * * * * [regimes]: Trying to branch on a from (#<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 (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (pow (sqrt (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (exp (cbrt (pow (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)))> #<alt (λ (a c) (* (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 9)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (pow (sqrt (fmod (cosh c) (log1p a))) 4)))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3) (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (* 3 (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (fmod (cosh c) (log1p a))) 3/2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (* (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))))) (cbrt (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
2.380 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.381 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
2.381 * * [simplify]: iteration  0 :  17  enodes  (cost  16 )
2.381 * * [simplify]: iteration  1 :  17  enodes  (cost  16 )
2.381 * [simplify]: Simplified to:
   (* (exp (log (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
14.240 * [regime-testing]: Baseline error score: 34.16353791755986
14.241 * [regime-testing]: Oracle error score: 34.11925302293496
14.242 * [regime-testing]: End program error score: 34.16353791755986