8.090 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.376 * * * [progress]: [2/2] Setting up program.
0.378 * [progress]: [Phase 2 of 3] Improving.
0.379 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.381 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.382 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.383 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.384 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.385 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.387 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.388 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.389 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.391 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.398 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.594 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.595 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.595 * * [progress]: iteration 1 / 4
0.595 * * * [progress]: picking best candidate
0.598 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.598 * * * [progress]: localizing error
0.604 * * * [progress]: generating rewritten candidates
0.604 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.605 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.606 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.607 * * * [progress]: generating series expansions
0.607 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.607 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.607 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.608 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.609 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
0.609 * [taylor]: Taking taylor expansion of (log1p a) in a
0.609 * [taylor]: Taking taylor expansion of (log1p a) in a
0.609 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
0.610 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.610 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.610 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
0.610 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.610 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.610 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.610 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.610 * [taylor]: Taking taylor expansion of (cosh c) in c
0.610 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.610 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.610 * [taylor]: Taking taylor expansion of (exp c) in c
0.610 * [taylor]: Taking taylor expansion of c in c
0.610 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.610 * [taylor]: Taking taylor expansion of (- c) in c
0.611 * [taylor]: Taking taylor expansion of c in c
0.611 * [taylor]: Taking taylor expansion of 2 in c
0.612 * [taylor]: Taking taylor expansion of (cosh c) in c
0.612 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.612 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.612 * [taylor]: Taking taylor expansion of (exp c) in c
0.612 * [taylor]: Taking taylor expansion of c in c
0.612 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.612 * [taylor]: Taking taylor expansion of (- c) in c
0.612 * [taylor]: Taking taylor expansion of c in c
0.612 * [taylor]: Taking taylor expansion of 2 in c
0.629 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.629 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.629 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.629 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.629 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.630 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of 2 in c
0.631 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.631 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.631 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.631 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.631 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.631 * [taylor]: Taking taylor expansion of c in c
0.631 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.631 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.631 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.631 * [taylor]: Taking taylor expansion of c in c
0.632 * [taylor]: Taking taylor expansion of 2 in c
0.642 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.642 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.642 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.642 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.642 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.642 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.642 * [taylor]: Taking taylor expansion of -1 in c
0.642 * [taylor]: Taking taylor expansion of c in c
0.642 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.642 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.642 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.642 * [taylor]: Taking taylor expansion of -1 in c
0.642 * [taylor]: Taking taylor expansion of c in c
0.643 * [taylor]: Taking taylor expansion of 2 in c
0.643 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.643 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.643 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.643 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.643 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.643 * [taylor]: Taking taylor expansion of -1 in c
0.643 * [taylor]: Taking taylor expansion of c in c
0.643 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.643 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.643 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.643 * [taylor]: Taking taylor expansion of -1 in c
0.643 * [taylor]: Taking taylor expansion of c in c
0.644 * [taylor]: Taking taylor expansion of 2 in c
0.659 * * * [progress]: simplifying candidates
0.659 * [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 (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.662 * * [simplify]: iteration  0 :  84  enodes  (cost  112 )
0.664 * * [simplify]: iteration  1 :  168  enodes  (cost  99 )
0.667 * * [simplify]: iteration  2 :  553  enodes  (cost  91 )
0.682 * * [simplify]: iteration  3 :  3498  enodes  (cost  89 )
0.794 * * [simplify]: iteration  4 :  5001  enodes  (cost  89 )
0.795 * [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 (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (cosh c)
  (cosh c)
0.795 * * * [progress]: adding candidates to table
0.863 * * [progress]: iteration 2 / 4
0.863 * * * [progress]: picking best candidate
0.889 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
0.889 * * * [progress]: localizing error
0.899 * * * [progress]: generating rewritten candidates
0.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.904 * * * [progress]: generating series expansions
0.904 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.904 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.904 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.905 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.906 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.907 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.907 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.907 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.907 * [taylor]: Taking taylor expansion of 1/3 in a
0.907 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.907 * [taylor]: Taking taylor expansion of (log1p a) in a
0.907 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.907 * [taylor]: Taking taylor expansion of 1/3 in a
0.907 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.907 * [taylor]: Taking taylor expansion of (log1p a) in a
0.942 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.942 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.942 * [taylor]: Taking taylor expansion of 1/3 in a
0.942 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.942 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.942 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.943 * [taylor]: Taking taylor expansion of 1/3 in a
0.943 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.943 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.975 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.975 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.975 * [taylor]: Taking taylor expansion of 1/3 in a
0.975 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.975 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.975 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.975 * [taylor]: Taking taylor expansion of 1/3 in a
0.975 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.975 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.007 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.008 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
1.008 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.008 * [taylor]: Taking taylor expansion of 1/3 in a
1.008 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.008 * [taylor]: Taking taylor expansion of (log1p a) in a
1.008 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.008 * [taylor]: Taking taylor expansion of 1/3 in a
1.008 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.008 * [taylor]: Taking taylor expansion of (log1p a) in a
1.045 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.045 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.045 * [taylor]: Taking taylor expansion of 1/3 in a
1.045 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.045 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.046 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.046 * [taylor]: Taking taylor expansion of 1/3 in a
1.046 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.046 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.078 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.078 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of 1/3 in a
1.078 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.078 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.079 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.079 * [taylor]: Taking taylor expansion of 1/3 in a
1.079 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.079 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.116 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.116 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
1.116 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.116 * [taylor]: Taking taylor expansion of 1/3 in a
1.116 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.116 * [taylor]: Taking taylor expansion of (log1p a) in a
1.116 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.116 * [taylor]: Taking taylor expansion of 1/3 in a
1.116 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.116 * [taylor]: Taking taylor expansion of (log1p a) in a
1.147 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.147 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.147 * [taylor]: Taking taylor expansion of 1/3 in a
1.148 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.148 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.148 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.148 * [taylor]: Taking taylor expansion of 1/3 in a
1.148 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.148 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.180 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.180 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.180 * [taylor]: Taking taylor expansion of 1/3 in a
1.180 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.180 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.180 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.180 * [taylor]: Taking taylor expansion of 1/3 in a
1.180 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.180 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.218 * * * [progress]: simplifying candidates
1.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.221 * * [simplify]: iteration  0 :  41  enodes  (cost  281 )
1.223 * * [simplify]: iteration  1 :  73  enodes  (cost  245 )
1.225 * * [simplify]: iteration  2 :  152  enodes  (cost  239 )
1.228 * * [simplify]: iteration  3 :  486  enodes  (cost  232 )
1.241 * * [simplify]: iteration  4 :  2446  enodes  (cost  232 )
1.307 * * [simplify]: iteration  5 :  5001  enodes  (cost  232 )
1.309 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.309 * * * [progress]: adding candidates to table
1.437 * * [progress]: iteration 3 / 4
1.437 * * * [progress]: picking best candidate
1.499 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))>
1.499 * * * [progress]: localizing error
1.514 * * * [progress]: generating rewritten candidates
1.514 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.514 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.518 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
1.522 * * * [progress]: generating series expansions
1.522 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.522 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.522 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.523 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.524 * [taylor]: Taking taylor expansion of 0 in a
1.524 * [taylor]: Taking taylor expansion of 0 in a
1.524 * [taylor]: Taking taylor expansion of 0 in a
1.524 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.525 * [taylor]: Taking taylor expansion of 0 in a
1.525 * [taylor]: Taking taylor expansion of 0 in a
1.525 * [taylor]: Taking taylor expansion of 0 in a
1.525 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.525 * [approximate]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in (a) around 0
1.525 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
1.525 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
1.525 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
1.525 * [taylor]: Taking taylor expansion of 1/9 in a
1.525 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
1.525 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
1.525 * [taylor]: Taking taylor expansion of (log1p a) in a
1.526 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
1.526 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
1.526 * [taylor]: Taking taylor expansion of 1/9 in a
1.526 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
1.526 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
1.526 * [taylor]: Taking taylor expansion of (log1p a) in a
1.564 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in (a) around 0
1.564 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
1.564 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
1.564 * [taylor]: Taking taylor expansion of 1/9 in a
1.564 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
1.564 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
1.564 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.564 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
1.564 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
1.564 * [taylor]: Taking taylor expansion of 1/9 in a
1.564 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
1.564 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
1.564 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.606 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in (a) around 0
1.606 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
1.606 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
1.606 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
1.606 * [taylor]: Taking taylor expansion of 1/9 in a
1.606 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
1.606 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
1.606 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.607 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
1.607 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
1.607 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
1.607 * [taylor]: Taking taylor expansion of 1/9 in a
1.607 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
1.607 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
1.607 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.645 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1.645 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.645 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.645 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.645 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.646 * [taylor]: Taking taylor expansion of 1/9 in a
1.646 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.646 * [taylor]: Taking taylor expansion of (log1p a) in a
1.646 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.646 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.646 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.646 * [taylor]: Taking taylor expansion of 1/9 in a
1.646 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.646 * [taylor]: Taking taylor expansion of (log1p a) in a
1.682 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.682 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.682 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.682 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.682 * [taylor]: Taking taylor expansion of 1/9 in a
1.682 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.682 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.683 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.683 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.683 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.683 * [taylor]: Taking taylor expansion of 1/9 in a
1.683 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.683 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.715 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.715 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.715 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.715 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.715 * [taylor]: Taking taylor expansion of 1/9 in a
1.715 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.715 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.715 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.715 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.715 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.715 * [taylor]: Taking taylor expansion of 1/9 in a
1.715 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.715 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.753 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
1.753 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
1.753 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.753 * [taylor]: Taking taylor expansion of 1/3 in a
1.753 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.753 * [taylor]: Taking taylor expansion of (log1p a) in a
1.753 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.754 * [taylor]: Taking taylor expansion of 1/3 in a
1.754 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.754 * [taylor]: Taking taylor expansion of (log1p a) in a
1.785 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.785 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.785 * [taylor]: Taking taylor expansion of 1/3 in a
1.785 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.785 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.786 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.786 * [taylor]: Taking taylor expansion of 1/3 in a
1.786 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.786 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.818 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.818 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.818 * [taylor]: Taking taylor expansion of 1/3 in a
1.818 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.818 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.818 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.818 * [taylor]: Taking taylor expansion of 1/3 in a
1.818 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.818 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.857 * * * [progress]: simplifying candidates
1.858 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.861 * * [simplify]: iteration  0 :  81  enodes  (cost  432 )
1.863 * * [simplify]: iteration  1 :  151  enodes  (cost  370 )
1.866 * * [simplify]: iteration  2 :  395  enodes  (cost  361 )
1.875 * * [simplify]: iteration  3 :  1651  enodes  (cost  361 )
1.925 * * [simplify]: iteration  4 :  5001  enodes  (cost  357 )
1.927 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (pow (log1p a) 2/3)
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (pow (log1p a) 1/3)
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.928 * * * [progress]: adding candidates to table
2.090 * * [progress]: iteration 4 / 4
2.090 * * * [progress]: picking best candidate
2.202 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))>
2.202 * * * [progress]: localizing error
2.221 * * * [progress]: generating rewritten candidates
2.221 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.222 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.226 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.234 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
2.237 * * * [progress]: generating series expansions
2.237 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.237 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.238 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.238 * [taylor]: Taking taylor expansion of 0 in a
2.238 * [taylor]: Taking taylor expansion of 0 in a
2.238 * [taylor]: Taking taylor expansion of 0 in a
2.238 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.239 * [taylor]: Taking taylor expansion of 0 in a
2.239 * [taylor]: Taking taylor expansion of 0 in a
2.239 * [taylor]: Taking taylor expansion of 0 in a
2.240 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.240 * [taylor]: Taking taylor expansion of 0 in a
2.240 * [taylor]: Taking taylor expansion of 0 in a
2.240 * [taylor]: Taking taylor expansion of 0 in a
2.240 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.240 * [approximate]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in (a) around 0
2.240 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
2.240 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
2.240 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
2.240 * [taylor]: Taking taylor expansion of 1/9 in a
2.240 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
2.240 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
2.240 * [taylor]: Taking taylor expansion of (log1p a) in a
2.241 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
2.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
2.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
2.241 * [taylor]: Taking taylor expansion of 1/9 in a
2.241 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
2.241 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
2.241 * [taylor]: Taking taylor expansion of (log1p a) in a
2.282 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in (a) around 0
2.282 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
2.282 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
2.282 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
2.282 * [taylor]: Taking taylor expansion of 1/9 in a
2.282 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
2.282 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
2.282 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.282 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
2.282 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
2.282 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
2.282 * [taylor]: Taking taylor expansion of 1/9 in a
2.282 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
2.282 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
2.282 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.321 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in (a) around 0
2.321 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
2.321 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
2.321 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
2.321 * [taylor]: Taking taylor expansion of 1/9 in a
2.321 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
2.321 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
2.321 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.321 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
2.321 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
2.321 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
2.321 * [taylor]: Taking taylor expansion of 1/9 in a
2.322 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
2.322 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
2.322 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.365 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.365 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.365 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.365 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.365 * [taylor]: Taking taylor expansion of 1/9 in a
2.365 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.365 * [taylor]: Taking taylor expansion of (log1p a) in a
2.365 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.365 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.365 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.365 * [taylor]: Taking taylor expansion of 1/9 in a
2.365 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.365 * [taylor]: Taking taylor expansion of (log1p a) in a
2.397 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.397 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.397 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.397 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.397 * [taylor]: Taking taylor expansion of 1/9 in a
2.397 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.397 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.397 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.397 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.397 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.397 * [taylor]: Taking taylor expansion of 1/9 in a
2.397 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.398 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.434 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.435 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.435 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.435 * [taylor]: Taking taylor expansion of 1/9 in a
2.435 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.435 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.435 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.435 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.435 * [taylor]: Taking taylor expansion of 1/9 in a
2.435 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.435 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.467 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
2.467 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.467 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.467 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.467 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.467 * [taylor]: Taking taylor expansion of 1/9 in a
2.467 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.467 * [taylor]: Taking taylor expansion of (log1p a) in a
2.467 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.467 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.467 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.467 * [taylor]: Taking taylor expansion of 1/9 in a
2.467 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.467 * [taylor]: Taking taylor expansion of (log1p a) in a
2.499 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.499 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.499 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.499 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.499 * [taylor]: Taking taylor expansion of 1/9 in a
2.499 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.499 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.499 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.499 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.499 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.499 * [taylor]: Taking taylor expansion of 1/9 in a
2.499 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.499 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.537 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.537 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.537 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.537 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.537 * [taylor]: Taking taylor expansion of 1/9 in a
2.537 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.537 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.537 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.537 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.537 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.537 * [taylor]: Taking taylor expansion of 1/9 in a
2.537 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.537 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.569 * * * [progress]: simplifying candidates
2.570 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (exp (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (cbrt (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (cbrt (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (* (* (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (sqrt (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (sqrt (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
2.574 * * [simplify]: iteration  0 :  81  enodes  (cost  616 )
2.575 * * [simplify]: iteration  1 :  118  enodes  (cost  516 )
2.578 * * [simplify]: iteration  2 :  226  enodes  (cost  438 )
2.582 * * [simplify]: iteration  3 :  616  enodes  (cost  437 )
2.598 * * [simplify]: iteration  4 :  2290  enodes  (cost  434 )
2.674 * * [simplify]: iteration  5 :  5001  enodes  (cost  432 )
2.676 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))
  (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (pow (cbrt (cbrt (log1p a))) 6)
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (pow (log1p a) 2) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
2.677 * * * [progress]: adding candidates to table
2.842 * [progress]: [Phase 3 of 3] Extracting.
2.843 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
2.859 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.859 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
3.039 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
3.195 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
3.382 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>)
3.408 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
3.585 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (exp (log (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (log1p a) 1/9)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (exp (log (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 6)) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/3))))))>)
3.762 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
3.763 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))))
3.763 * * [simplify]: iteration  0 :  19  enodes  (cost  29 )
3.763 * * [simplify]: iteration  1 :  19  enodes  (cost  29 )
3.764 * [simplify]: Simplified to:
   (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))))
17.747 * [regime-testing]: Baseline error score: 34.205309503635625
17.749 * [regime-testing]: Oracle error score: 31.99625497355772
17.750 * [regime-testing]: End program error score: 34.205309503635625