8.385 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.379 * * * [progress]: [2/2] Setting up program.
0.381 * [progress]: [Phase 2 of 3] Improving.
0.382 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.384 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.385 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.386 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.387 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.389 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.391 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.392 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.393 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.395 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.403 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.602 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.604 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.604 * * [progress]: iteration 1 / 4
0.604 * * * [progress]: picking best candidate
0.606 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.606 * * * [progress]: localizing error
0.613 * * * [progress]: generating rewritten candidates
0.613 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.614 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.614 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.616 * * * [progress]: generating series expansions
0.616 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.616 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.616 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.619 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
0.619 * [taylor]: Taking taylor expansion of (log1p a) in a
0.619 * [taylor]: Rewrote expression to (log (+ 1 a))
0.619 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.619 * [taylor]: Taking taylor expansion of 1 in a
0.619 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of (log1p a) in a
0.620 * [taylor]: Rewrote expression to (log (+ 1 a))
0.620 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [taylor]: Taking taylor expansion of a in a
0.626 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
0.626 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.626 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.626 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.626 * [taylor]: Taking taylor expansion of 1 in a
0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.626 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.627 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.627 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.627 * [taylor]: Taking taylor expansion of 1 in a
0.627 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.627 * [taylor]: Taking taylor expansion of a in a
0.632 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
0.632 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.632 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.632 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.632 * [taylor]: Taking taylor expansion of 1 in a
0.632 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.632 * [taylor]: Taking taylor expansion of -1 in a
0.632 * [taylor]: Taking taylor expansion of a in a
0.633 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.633 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.633 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.633 * [taylor]: Taking taylor expansion of 1 in a
0.633 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.633 * [taylor]: Taking taylor expansion of -1 in a
0.633 * [taylor]: Taking taylor expansion of a in a
0.638 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.638 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.638 * [taylor]: Taking taylor expansion of (cosh c) in c
0.638 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.638 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.639 * [taylor]: Taking taylor expansion of (exp c) in c
0.639 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.639 * [taylor]: Taking taylor expansion of (- c) in c
0.639 * [taylor]: Taking taylor expansion of c in c
0.639 * [taylor]: Taking taylor expansion of 2 in c
0.640 * [taylor]: Taking taylor expansion of (cosh c) in c
0.640 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.640 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.640 * [taylor]: Taking taylor expansion of (exp c) in c
0.640 * [taylor]: Taking taylor expansion of c in c
0.640 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.640 * [taylor]: Taking taylor expansion of (- c) in c
0.640 * [taylor]: Taking taylor expansion of c in c
0.640 * [taylor]: Taking taylor expansion of 2 in c
0.657 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.657 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.657 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.657 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.657 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.657 * [taylor]: Taking taylor expansion of c in c
0.657 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.657 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.657 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.657 * [taylor]: Taking taylor expansion of c in c
0.658 * [taylor]: Taking taylor expansion of 2 in c
0.658 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.658 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.658 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.658 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.658 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.658 * [taylor]: Taking taylor expansion of c in c
0.658 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.658 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.658 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.659 * [taylor]: Taking taylor expansion of c in c
0.659 * [taylor]: Taking taylor expansion of 2 in c
0.674 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.674 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.674 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.674 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.674 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.674 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.674 * [taylor]: Taking taylor expansion of -1 in c
0.674 * [taylor]: Taking taylor expansion of c in c
0.674 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.674 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.674 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.674 * [taylor]: Taking taylor expansion of -1 in c
0.674 * [taylor]: Taking taylor expansion of c in c
0.675 * [taylor]: Taking taylor expansion of 2 in c
0.675 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.675 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.675 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.675 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.675 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.675 * [taylor]: Taking taylor expansion of -1 in c
0.675 * [taylor]: Taking taylor expansion of c in c
0.676 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.676 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.676 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.676 * [taylor]: Taking taylor expansion of -1 in c
0.676 * [taylor]: Taking taylor expansion of c in c
0.676 * [taylor]: Taking taylor expansion of 2 in c
0.686 * * * [progress]: simplifying candidates
0.687 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 a)
  (expm1 (log1p a))
  (log1p (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))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (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))
  (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2)))
  (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2)))))
  (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 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.690 * * [simplify]: iteration  0 :  152  enodes  (cost  145 )
0.693 * * [simplify]: iteration  1 :  424  enodes  (cost  130 )
0.700 * * [simplify]: iteration  2 :  1473  enodes  (cost  121 )
0.735 * * [simplify]: iteration  3 :  5001  enodes  (cost  115 )
0.736 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 a)
  a
  (log1p (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))
  (expm1 (cosh c))
  (log1p (cosh c))
  (* 2 (cosh c))
  (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))
  (fma (pow a 2) (- (* 1/3 a) 1/2) a)
  (+ (/ 1 a) (- (log a) (/ 1/2 (pow a 2))))
  (+ (/ 1 a) (- (log a) (/ 1/2 (pow a 2))))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
0.737 * * * [progress]: adding candidates to table
0.829 * * [progress]: iteration 2 / 4
0.829 * * * [progress]: picking best candidate
0.858 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
0.858 * * * [progress]: localizing error
0.868 * * * [progress]: generating rewritten candidates
0.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.869 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.870 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.871 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.873 * * * [progress]: generating series expansions
0.873 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.873 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.875 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.875 * [taylor]: Taking taylor expansion of 0 in a
0.875 * [taylor]: Taking taylor expansion of 0 in a
0.875 * [taylor]: Taking taylor expansion of 0 in a
0.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.875 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.875 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.875 * [taylor]: Taking taylor expansion of 1/3 in a
0.876 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.876 * [taylor]: Taking taylor expansion of (log1p a) in a
0.876 * [taylor]: Rewrote expression to (log (+ 1 a))
0.876 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.876 * [taylor]: Taking taylor expansion of 1 in a
0.876 * [taylor]: Taking taylor expansion of a in a
0.878 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.878 * [taylor]: Taking taylor expansion of 1/3 in a
0.878 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.878 * [taylor]: Taking taylor expansion of (log1p a) in a
0.878 * [taylor]: Rewrote expression to (log (+ 1 a))
0.878 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.878 * [taylor]: Taking taylor expansion of 1 in a
0.878 * [taylor]: Taking taylor expansion of a in a
0.890 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.890 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.890 * [taylor]: Taking taylor expansion of 1/3 in a
0.890 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.890 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.890 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.890 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.890 * [taylor]: Taking taylor expansion of 1 in a
0.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.890 * [taylor]: Taking taylor expansion of a in a
0.892 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.892 * [taylor]: Taking taylor expansion of 1/3 in a
0.892 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.892 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.892 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.892 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.892 * [taylor]: Taking taylor expansion of 1 in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.892 * [taylor]: Taking taylor expansion of a in a
0.901 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.901 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.901 * [taylor]: Taking taylor expansion of 1/3 in a
0.901 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.901 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.902 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.902 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.902 * [taylor]: Taking taylor expansion of 1 in a
0.902 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.902 * [taylor]: Taking taylor expansion of -1 in a
0.902 * [taylor]: Taking taylor expansion of a in a
0.904 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.904 * [taylor]: Taking taylor expansion of 1/3 in a
0.904 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.904 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.904 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.904 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.904 * [taylor]: Taking taylor expansion of 1 in a
0.904 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.904 * [taylor]: Taking taylor expansion of -1 in a
0.904 * [taylor]: Taking taylor expansion of a in a
0.922 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
0.922 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.922 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.922 * [taylor]: Taking taylor expansion of 1/3 in a
0.922 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.923 * [taylor]: Taking taylor expansion of (log1p a) in a
0.923 * [taylor]: Rewrote expression to (log (+ 1 a))
0.923 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.923 * [taylor]: Taking taylor expansion of 1 in a
0.923 * [taylor]: Taking taylor expansion of a in a
0.925 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.925 * [taylor]: Taking taylor expansion of 1/3 in a
0.925 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.925 * [taylor]: Taking taylor expansion of (log1p a) in a
0.925 * [taylor]: Rewrote expression to (log (+ 1 a))
0.925 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.925 * [taylor]: Taking taylor expansion of 1 in a
0.925 * [taylor]: Taking taylor expansion of a in a
0.940 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.940 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.940 * [taylor]: Taking taylor expansion of 1/3 in a
0.940 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.940 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.941 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.941 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.941 * [taylor]: Taking taylor expansion of 1 in a
0.941 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.941 * [taylor]: Taking taylor expansion of 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.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]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.942 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.942 * [taylor]: Taking taylor expansion of 1 in a
0.942 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.942 * [taylor]: Taking taylor expansion of a in a
0.952 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.952 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.952 * [taylor]: Taking taylor expansion of 1/3 in a
0.952 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.952 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.952 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.952 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.952 * [taylor]: Taking taylor expansion of 1 in a
0.952 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.952 * [taylor]: Taking taylor expansion of -1 in a
0.952 * [taylor]: Taking taylor expansion of a in a
0.955 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.955 * [taylor]: Taking taylor expansion of 1/3 in a
0.955 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.955 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.955 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.955 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.955 * [taylor]: Taking taylor expansion of 1 in a
0.955 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.955 * [taylor]: Taking taylor expansion of -1 in a
0.955 * [taylor]: Taking taylor expansion of a in a
0.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.973 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.973 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.973 * [taylor]: Taking taylor expansion of 1/3 in a
0.973 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.973 * [taylor]: Taking taylor expansion of (log1p a) in a
0.973 * [taylor]: Rewrote expression to (log (+ 1 a))
0.973 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.973 * [taylor]: Taking taylor expansion of 1 in a
0.973 * [taylor]: Taking taylor expansion of a in a
0.975 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.975 * [taylor]: Taking taylor expansion of 1/3 in a
0.975 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.975 * [taylor]: Taking taylor expansion of (log1p a) in a
0.975 * [taylor]: Rewrote expression to (log (+ 1 a))
0.975 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.975 * [taylor]: Taking taylor expansion of 1 in a
0.975 * [taylor]: Taking taylor expansion of a in a
0.987 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.987 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.987 * [taylor]: Taking taylor expansion of 1/3 in a
0.987 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.987 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.987 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.987 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.987 * [taylor]: Taking taylor expansion of 1 in a
0.987 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.987 * [taylor]: Taking taylor expansion of a in a
0.989 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.989 * [taylor]: Taking taylor expansion of 1/3 in a
0.989 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.989 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.989 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.989 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.989 * [taylor]: Taking taylor expansion of 1 in a
0.989 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.989 * [taylor]: Taking taylor expansion of a in a
0.999 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.999 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.999 * [taylor]: Taking taylor expansion of 1/3 in a
0.999 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.999 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.999 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.999 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.999 * [taylor]: Taking taylor expansion of 1 in a
0.999 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.999 * [taylor]: Taking taylor expansion of -1 in a
0.999 * [taylor]: Taking taylor expansion of a in a
1.002 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.002 * [taylor]: Taking taylor expansion of 1/3 in a
1.002 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.002 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.002 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.002 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.002 * [taylor]: Taking taylor expansion of 1 in a
1.002 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.002 * [taylor]: Taking taylor expansion of -1 in a
1.002 * [taylor]: Taking taylor expansion of a in a
1.020 * * * [progress]: simplifying candidates
1.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (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)))))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (expm1 (cbrt (log1p a)))
  (log1p (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))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
1.030 * * [simplify]: iteration  0 :  215  enodes  (cost  543 )
1.035 * * [simplify]: iteration  1 :  684  enodes  (cost  498 )
1.048 * * [simplify]: iteration  2 :  3108  enodes  (cost  438 )
1.125 * * [simplify]: iteration  3 :  5001  enodes  (cost  431 )
1.128 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (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)))))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (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))
  (fma (pow (pow a 7) 1/3) 1/12 (- (pow a 1/3) (* 1/6 (pow (pow a 4) 1/3))))
  (+ (- (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (- (/ 1/6 (pow a 2)) (/ 1/3 a))) (/ (* 1/9 (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3)) (pow a 2))) (pow (log a) 1/3))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3) (- (/ 1/3 a) (/ 1/6 (pow a 2))))) (/ (* 1/9 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3)) (pow a 2)))
  (fma (pow (pow a 7) 1/3) 1/12 (- (pow a 1/3) (* 1/6 (pow (pow a 4) 1/3))))
  (+ (- (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (- (/ 1/6 (pow a 2)) (/ 1/3 a))) (/ (* 1/9 (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3)) (pow a 2))) (pow (log a) 1/3))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3) (- (/ 1/3 a) (/ 1/6 (pow a 2))))) (/ (* 1/9 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3)) (pow a 2)))
  (fma (pow (pow a 7) 1/3) 1/12 (- (pow a 1/3) (* 1/6 (pow (pow a 4) 1/3))))
  (+ (- (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (- (/ 1/6 (pow a 2)) (/ 1/3 a))) (/ (* 1/9 (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3)) (pow a 2))) (pow (log a) 1/3))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3) (- (/ 1/3 a) (/ 1/6 (pow a 2))))) (/ (* 1/9 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3)) (pow a 2)))
1.128 * * * [progress]: adding candidates to table
1.340 * * [progress]: iteration 3 / 4
1.340 * * * [progress]: picking best candidate
1.400 * * * * [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.400 * * * [progress]: localizing error
1.418 * * * [progress]: generating rewritten candidates
1.418 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.419 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.423 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1.425 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
1.427 * * * [progress]: generating series expansions
1.427 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.428 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.428 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.428 * [taylor]: Taking taylor expansion of 0 in a
1.428 * [taylor]: Taking taylor expansion of 0 in a
1.428 * [taylor]: Taking taylor expansion of 0 in a
1.428 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.429 * [taylor]: Taking taylor expansion of 0 in a
1.429 * [taylor]: Taking taylor expansion of 0 in a
1.429 * [taylor]: Taking taylor expansion of 0 in a
1.429 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.430 * [taylor]: Taking taylor expansion of 0 in a
1.430 * [taylor]: Taking taylor expansion of 0 in a
1.430 * [taylor]: Taking taylor expansion of 0 in a
1.430 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.430 * [approximate]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in (a) around 0
1.430 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
1.430 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
1.430 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
1.430 * [taylor]: Taking taylor expansion of 1/9 in a
1.430 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
1.430 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
1.430 * [taylor]: Taking taylor expansion of (log1p a) in a
1.430 * [taylor]: Rewrote expression to (log (+ 1 a))
1.431 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.431 * [taylor]: Taking taylor expansion of 1 in a
1.431 * [taylor]: Taking taylor expansion of a in a
1.433 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
1.433 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
1.433 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
1.433 * [taylor]: Taking taylor expansion of 1/9 in a
1.433 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
1.433 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
1.433 * [taylor]: Taking taylor expansion of (log1p a) in a
1.433 * [taylor]: Rewrote expression to (log (+ 1 a))
1.433 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.433 * [taylor]: Taking taylor expansion of 1 in a
1.433 * [taylor]: Taking taylor expansion of a in a
1.446 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in (a) around 0
1.446 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
1.446 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
1.446 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
1.446 * [taylor]: Taking taylor expansion of 1/9 in a
1.446 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
1.446 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
1.446 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.446 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.446 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.447 * [taylor]: Taking taylor expansion of 1 in a
1.447 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.447 * [taylor]: Taking taylor expansion of a in a
1.448 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
1.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
1.448 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
1.448 * [taylor]: Taking taylor expansion of 1/9 in a
1.448 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
1.448 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
1.449 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.449 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.449 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.449 * [taylor]: Taking taylor expansion of 1 in a
1.449 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.449 * [taylor]: Taking taylor expansion of a in a
1.459 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in (a) around 0
1.459 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
1.459 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
1.459 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
1.459 * [taylor]: Taking taylor expansion of 1/9 in a
1.459 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
1.459 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
1.459 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.459 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.459 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.459 * [taylor]: Taking taylor expansion of 1 in a
1.459 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.459 * [taylor]: Taking taylor expansion of -1 in a
1.459 * [taylor]: Taking taylor expansion of a in a
1.463 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
1.463 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
1.463 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
1.463 * [taylor]: Taking taylor expansion of 1/9 in a
1.463 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
1.463 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
1.463 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.463 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.463 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.463 * [taylor]: Taking taylor expansion of 1 in a
1.463 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.463 * [taylor]: Taking taylor expansion of -1 in a
1.463 * [taylor]: Taking taylor expansion of a in a
1.510 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1.510 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.510 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.510 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.510 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.510 * [taylor]: Taking taylor expansion of 1/9 in a
1.510 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.510 * [taylor]: Taking taylor expansion of (log1p a) in a
1.510 * [taylor]: Rewrote expression to (log (+ 1 a))
1.510 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.510 * [taylor]: Taking taylor expansion of 1 in a
1.510 * [taylor]: Taking taylor expansion of a in a
1.512 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.512 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.512 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.512 * [taylor]: Taking taylor expansion of 1/9 in a
1.512 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.512 * [taylor]: Taking taylor expansion of (log1p a) in a
1.512 * [taylor]: Rewrote expression to (log (+ 1 a))
1.512 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.512 * [taylor]: Taking taylor expansion of 1 in a
1.512 * [taylor]: Taking taylor expansion of a in a
1.524 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.524 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.524 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.524 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.524 * [taylor]: Taking taylor expansion of 1/9 in a
1.524 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.524 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.524 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.524 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.524 * [taylor]: Taking taylor expansion of 1 in a
1.524 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.524 * [taylor]: Taking taylor expansion of a in a
1.525 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.525 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.526 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.526 * [taylor]: Taking taylor expansion of 1/9 in a
1.526 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.526 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.526 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.526 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.526 * [taylor]: Taking taylor expansion of 1 in a
1.526 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.526 * [taylor]: Taking taylor expansion of a in a
1.535 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.535 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.535 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.535 * [taylor]: Taking taylor expansion of 1/9 in a
1.535 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.535 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.535 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.535 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.535 * [taylor]: Taking taylor expansion of 1 in a
1.536 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.536 * [taylor]: Taking taylor expansion of -1 in a
1.536 * [taylor]: Taking taylor expansion of a in a
1.538 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.538 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.538 * [taylor]: Taking taylor expansion of 1/9 in a
1.538 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.538 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.538 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.538 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.538 * [taylor]: Taking taylor expansion of 1 in a
1.538 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.538 * [taylor]: Taking taylor expansion of -1 in a
1.538 * [taylor]: Taking taylor expansion of a in a
1.557 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
1.557 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
1.557 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.557 * [taylor]: Taking taylor expansion of 1/3 in a
1.557 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.557 * [taylor]: Taking taylor expansion of (log1p a) in a
1.557 * [taylor]: Rewrote expression to (log (+ 1 a))
1.557 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.557 * [taylor]: Taking taylor expansion of 1 in a
1.557 * [taylor]: Taking taylor expansion of a in a
1.560 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.560 * [taylor]: Taking taylor expansion of 1/3 in a
1.560 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.560 * [taylor]: Taking taylor expansion of (log1p a) in a
1.560 * [taylor]: Rewrote expression to (log (+ 1 a))
1.560 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.560 * [taylor]: Taking taylor expansion of 1 in a
1.560 * [taylor]: Taking taylor expansion of a in a
1.572 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.572 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.572 * [taylor]: Taking taylor expansion of 1/3 in a
1.572 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.572 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.572 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.572 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.572 * [taylor]: Taking taylor expansion of 1 in a
1.572 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.572 * [taylor]: Taking taylor expansion of a in a
1.574 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.574 * [taylor]: Taking taylor expansion of 1/3 in a
1.574 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.574 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.574 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.574 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.574 * [taylor]: Taking taylor expansion of 1 in a
1.574 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.574 * [taylor]: Taking taylor expansion of a in a
1.584 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.584 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.584 * [taylor]: Taking taylor expansion of 1/3 in a
1.584 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.584 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.584 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.584 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.584 * [taylor]: Taking taylor expansion of 1 in a
1.584 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.584 * [taylor]: Taking taylor expansion of -1 in a
1.584 * [taylor]: Taking taylor expansion of a in a
1.587 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.587 * [taylor]: Taking taylor expansion of 1/3 in a
1.587 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.587 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.587 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.587 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.587 * [taylor]: Taking taylor expansion of 1 in a
1.587 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.587 * [taylor]: Taking taylor expansion of -1 in a
1.587 * [taylor]: Taking taylor expansion of a in a
1.610 * * * [progress]: simplifying candidates
1.611 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (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)))))))
  (expm1 (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log1p (cbrt (* (cbrt (log1p a)) (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)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (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))))
  (expm1 (cbrt (log1p a)))
  (log1p (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))
  (- (+ (* 17/324 (pow (pow a 20) 1/9)) (pow a 2/9)) (* 1/9 (pow (pow a 11) 1/9)))
  (- (+ (* 1/9 (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (/ 1 (pow a 2)))) (pow (pow (log (/ 1 a)) 2) 1/9)) (+ (* 2/9 (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (/ 1 a))) (* 7/81 (* (pow (/ 1 (pow (log (/ 1 a)) 16)) 1/9) (/ 1 (pow a 2))))))
  (- (+ (* 2/9 (* (/ (log -1) a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 1/9 (* (/ (log (/ -1 a)) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 32/81 (* (/ (* (log -1) (log (/ -1 a))) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (pow (pow (- (log -1) (log (/ -1 a))) 2) 1/9))))) (+ (* 1/9 (* (/ (log -1) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 16/81 (* (/ (pow (log (/ -1 a)) 2) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (+ (* 16/81 (* (/ (pow (log -1) 2) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (* 2/9 (* (/ (log (/ -1 a)) a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9)))))))
  (- (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))) (* 1/18 (pow (pow a 10) 1/9)))
  (- (+ (* 1/18 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/9)) (+ (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (- (+ (* 1/9 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (pow (- (log -1) (log (/ -1 a))) 1/9)) (+ (* 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
1.618 * * [simplify]: iteration  0 :  619  enodes  (cost  787 )
1.629 * * [simplify]: iteration  1 :  2346  enodes  (cost  705 )
1.664 * * [simplify]: iteration  2 :  5001  enodes  (cost  684 )
1.668 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))
  (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)))))))
  (expm1 (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log1p (cbrt (* (cbrt (log1p a)) (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 (log1p a)) (cbrt (log1p a)))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (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 (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (expm1 (cbrt (log1p a)))
  (log1p (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)))
  (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))
  (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9))))
  (fma (/ 1/9 (pow a 2)) (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (- (pow (pow (log (/ 1 a)) 2) 1/9) (fma 2/9 (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (/ 1 a)) (* 7/81 (* (pow (/ 1 (pow (log (/ 1 a)) 16)) 1/9) (/ 1 (pow a 2)))))))
  (+ (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9) (+ (* 2/9 (/ (log -1) a)) (fma 1/9 (/ 1 (pow a 2)) (* 1/9 (/ (log (/ -1 a)) (pow a 2)))))) (- (fma 32/81 (* (/ (* (log -1) (log (/ -1 a))) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9)) (pow (pow (- (log -1) (log (/ -1 a))) 2) 1/9)) (+ (+ (* 1/9 (* (/ (log -1) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9) (+ (* 16/81 (/ (pow (log (/ -1 a)) 2) (pow a 2))) (* 16/81 (/ (pow (log -1) 2) (pow a 2)))))) (* 2/9 (* (/ (log (/ -1 a)) a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))))))
  (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))
  (fma (/ 1/18 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (- (- (pow (log a) 1/9) (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2))))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (fma (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (/ 1/9 a) (- (pow (- (log -1) (log (/ -1 a))) 1/9) (fma 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9)) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9))))))
  (fma (pow (pow a 7) 1/3) 1/12 (- (pow a 1/3) (* 1/6 (pow (pow a 4) 1/3))))
  (fma (/ 1/6 (pow a 2)) (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (- (- (pow (log a) 1/3) (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (fma (/ 1/3 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3) (- (pow (- (log -1) (log (/ -1 a))) 1/3) (fma 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3)) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3))))))
1.668 * * * [progress]: adding candidates to table
1.939 * * [progress]: iteration 4 / 4
1.940 * * * [progress]: picking best candidate
2.056 * * * * [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.056 * * * [progress]: localizing error
2.077 * * * [progress]: generating rewritten candidates
2.077 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.078 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.082 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.091 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
2.094 * * * [progress]: generating series expansions
2.094 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.094 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.094 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.095 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.095 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.095 * [taylor]: Taking taylor expansion of 0 in a
2.095 * [taylor]: Taking taylor expansion of 0 in a
2.095 * [taylor]: Taking taylor expansion of 0 in a
2.095 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.096 * [taylor]: Taking taylor expansion of 0 in a
2.096 * [taylor]: Taking taylor expansion of 0 in a
2.096 * [taylor]: Taking taylor expansion of 0 in a
2.097 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.097 * [taylor]: Taking taylor expansion of 0 in a
2.097 * [taylor]: Taking taylor expansion of 0 in a
2.097 * [taylor]: Taking taylor expansion of 0 in a
2.098 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.098 * [approximate]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in (a) around 0
2.098 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
2.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
2.098 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
2.098 * [taylor]: Taking taylor expansion of 1/9 in a
2.098 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
2.098 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
2.098 * [taylor]: Taking taylor expansion of (log1p a) in a
2.098 * [taylor]: Rewrote expression to (log (+ 1 a))
2.098 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.098 * [taylor]: Taking taylor expansion of 1 in a
2.098 * [taylor]: Taking taylor expansion of a in a
2.101 * [taylor]: Taking taylor expansion of (pow (pow (log1p a) 2) 1/9) in a
2.101 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p a) 2)))) in a
2.101 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p a) 2))) in a
2.101 * [taylor]: Taking taylor expansion of 1/9 in a
2.101 * [taylor]: Taking taylor expansion of (log (pow (log1p a) 2)) in a
2.101 * [taylor]: Taking taylor expansion of (pow (log1p a) 2) in a
2.101 * [taylor]: Taking taylor expansion of (log1p a) in a
2.101 * [taylor]: Rewrote expression to (log (+ 1 a))
2.101 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.101 * [taylor]: Taking taylor expansion of 1 in a
2.101 * [taylor]: Taking taylor expansion of a in a
2.114 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in (a) around 0
2.114 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
2.114 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
2.114 * [taylor]: Taking taylor expansion of 1/9 in a
2.114 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
2.114 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
2.114 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.114 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.114 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.114 * [taylor]: Taking taylor expansion of 1 in a
2.114 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.114 * [taylor]: Taking taylor expansion of a in a
2.116 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ 1 a)) 2) 1/9) in a
2.116 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ 1 a)) 2)))) in a
2.116 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ 1 a)) 2))) in a
2.116 * [taylor]: Taking taylor expansion of 1/9 in a
2.116 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ 1 a)) 2)) in a
2.116 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 2) in a
2.116 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.116 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.116 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.116 * [taylor]: Taking taylor expansion of 1 in a
2.116 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.116 * [taylor]: Taking taylor expansion of a in a
2.126 * [approximate]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in (a) around 0
2.126 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
2.126 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
2.126 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
2.126 * [taylor]: Taking taylor expansion of 1/9 in a
2.126 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
2.126 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
2.126 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.126 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.126 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.126 * [taylor]: Taking taylor expansion of 1 in a
2.126 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.126 * [taylor]: Taking taylor expansion of -1 in a
2.126 * [taylor]: Taking taylor expansion of a in a
2.130 * [taylor]: Taking taylor expansion of (pow (pow (log1p (/ -1 a)) 2) 1/9) in a
2.131 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (log1p (/ -1 a)) 2)))) in a
2.131 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (log1p (/ -1 a)) 2))) in a
2.131 * [taylor]: Taking taylor expansion of 1/9 in a
2.131 * [taylor]: Taking taylor expansion of (log (pow (log1p (/ -1 a)) 2)) in a
2.131 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 2) in a
2.131 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.131 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.131 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.131 * [taylor]: Taking taylor expansion of 1 in a
2.131 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.131 * [taylor]: Taking taylor expansion of -1 in a
2.131 * [taylor]: Taking taylor expansion of a in a
2.177 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.177 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.177 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.177 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.177 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.177 * [taylor]: Taking taylor expansion of 1/9 in a
2.177 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.177 * [taylor]: Taking taylor expansion of (log1p a) in a
2.177 * [taylor]: Rewrote expression to (log (+ 1 a))
2.177 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.177 * [taylor]: Taking taylor expansion of 1 in a
2.177 * [taylor]: Taking taylor expansion of a in a
2.179 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.179 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.179 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.179 * [taylor]: Taking taylor expansion of 1/9 in a
2.179 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.179 * [taylor]: Taking taylor expansion of (log1p a) in a
2.179 * [taylor]: Rewrote expression to (log (+ 1 a))
2.179 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.179 * [taylor]: Taking taylor expansion of 1 in a
2.179 * [taylor]: Taking taylor expansion of a in a
2.191 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.191 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.191 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.191 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.191 * [taylor]: Taking taylor expansion of 1/9 in a
2.191 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.191 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.191 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.191 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.191 * [taylor]: Taking taylor expansion of 1 in a
2.191 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.191 * [taylor]: Taking taylor expansion of a in a
2.193 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.193 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.193 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.193 * [taylor]: Taking taylor expansion of 1/9 in a
2.193 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.193 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.193 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.193 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.193 * [taylor]: Taking taylor expansion of 1 in a
2.193 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.193 * [taylor]: Taking taylor expansion of a in a
2.203 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.203 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.203 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.203 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.203 * [taylor]: Taking taylor expansion of 1/9 in a
2.203 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.203 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.203 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.203 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.203 * [taylor]: Taking taylor expansion of 1 in a
2.203 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.203 * [taylor]: Taking taylor expansion of -1 in a
2.203 * [taylor]: Taking taylor expansion of a in a
2.206 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.206 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.206 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.206 * [taylor]: Taking taylor expansion of 1/9 in a
2.206 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.206 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.206 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.206 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.206 * [taylor]: Taking taylor expansion of 1 in a
2.206 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.206 * [taylor]: Taking taylor expansion of -1 in a
2.206 * [taylor]: Taking taylor expansion of a in a
2.225 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
2.225 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.225 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.225 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.225 * [taylor]: Taking taylor expansion of 1/9 in a
2.225 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.225 * [taylor]: Taking taylor expansion of (log1p a) in a
2.225 * [taylor]: Rewrote expression to (log (+ 1 a))
2.225 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.225 * [taylor]: Taking taylor expansion of 1 in a
2.225 * [taylor]: Taking taylor expansion of a in a
2.227 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.227 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.227 * [taylor]: Taking taylor expansion of 1/9 in a
2.227 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.227 * [taylor]: Taking taylor expansion of (log1p a) in a
2.227 * [taylor]: Rewrote expression to (log (+ 1 a))
2.227 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.227 * [taylor]: Taking taylor expansion of 1 in a
2.227 * [taylor]: Taking taylor expansion of a in a
2.239 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.239 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.239 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.239 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.239 * [taylor]: Taking taylor expansion of 1/9 in a
2.239 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.239 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.239 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.239 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.239 * [taylor]: Taking taylor expansion of 1 in a
2.239 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.239 * [taylor]: Taking taylor expansion of a in a
2.241 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.241 * [taylor]: Taking taylor expansion of 1/9 in a
2.241 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.241 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.241 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.241 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.241 * [taylor]: Taking taylor expansion of 1 in a
2.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.241 * [taylor]: Taking taylor expansion of a in a
2.250 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.250 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.250 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.250 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.250 * [taylor]: Taking taylor expansion of 1/9 in a
2.250 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.250 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.250 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.251 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.251 * [taylor]: Taking taylor expansion of 1 in a
2.251 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.251 * [taylor]: Taking taylor expansion of -1 in a
2.251 * [taylor]: Taking taylor expansion of a in a
2.258 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.258 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.258 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.258 * [taylor]: Taking taylor expansion of 1/9 in a
2.258 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.258 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.258 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.258 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.258 * [taylor]: Taking taylor expansion of 1 in a
2.258 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.258 * [taylor]: Taking taylor expansion of -1 in a
2.258 * [taylor]: Taking taylor expansion of a in a
2.276 * * * [progress]: simplifying candidates
2.277 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (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)))))))))
  (log1p (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 (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)))))))))
  (expm1 (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log1p (cbrt (* (cbrt (log1p a)) (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)))))
  (expm1 (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))
  (log1p (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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))))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (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))
  (- (+ (* 17/324 (pow (pow a 20) 1/9)) (pow a 2/9)) (* 1/9 (pow (pow a 11) 1/9)))
  (- (+ (* 1/9 (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (/ 1 (pow a 2)))) (pow (pow (log (/ 1 a)) 2) 1/9)) (+ (* 2/9 (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (/ 1 a))) (* 7/81 (* (pow (/ 1 (pow (log (/ 1 a)) 16)) 1/9) (/ 1 (pow a 2))))))
  (- (+ (* 2/9 (* (/ (log -1) a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 1/9 (* (/ (log (/ -1 a)) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 32/81 (* (/ (* (log -1) (log (/ -1 a))) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (pow (pow (- (log -1) (log (/ -1 a))) 2) 1/9))))) (+ (* 1/9 (* (/ (log -1) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9))) (+ (* 16/81 (* (/ (pow (log (/ -1 a)) 2) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (+ (* 16/81 (* (/ (pow (log -1) 2) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9))) (* 2/9 (* (/ (log (/ -1 a)) a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9)))))))
  (- (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))) (* 1/18 (pow (pow a 10) 1/9)))
  (- (+ (* 1/18 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/9)) (+ (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (- (+ (* 1/9 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (pow (- (log -1) (log (/ -1 a))) 1/9)) (+ (* 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)))))
  (- (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))) (* 1/18 (pow (pow a 10) 1/9)))
  (- (+ (* 1/18 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/9)) (+ (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (- (+ (* 1/9 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (pow (- (log -1) (log (/ -1 a))) 1/9)) (+ (* 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)))))
2.284 * * [simplify]: iteration  0 :  482  enodes  (cost  1009 )
2.292 * * [simplify]: iteration  1 :  1734  enodes  (cost  889 )
2.320 * * [simplify]: iteration  2 :  5002  enodes  (cost  746 )
2.323 * [simplify]: Simplified to:
   (expm1 (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)))))))))
  (log1p (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 (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)))))))))
  (expm1 (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log1p (cbrt (* (cbrt (log1p a)) (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 (log1p a)) (cbrt (log1p a)))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (sqrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (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)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (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 (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))
  (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9))))
  (+ (pow (pow (log (/ 1 a)) 2) 1/9) (+ (* (pow (/ 1 (pow (log (/ 1 a)) 7)) 1/9) (- (/ 1/9 (pow a 2)) (* (/ 1 a) 2/9))) (* (- 7/81) (/ (pow (/ 1 (pow (log (/ 1 a)) 16)) 1/9) (pow a 2)))))
  (+ (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9) (+ (fma 2/9 (/ (log -1) a) (/ 1/9 (pow a 2))) (* 1/9 (/ (log (/ -1 a)) (pow a 2))))) (- (- (fma 32/81 (* (/ (* (log -1) (log (/ -1 a))) (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9)) (pow (pow (- (log -1) (log (/ -1 a))) 2) 1/9)) (* (* 16/81 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 34)) 1/9)) (+ (/ (pow (log (/ -1 a)) 2) (pow a 2)) (/ (pow (log -1) 2) (pow a 2))))) (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 16)) 1/9) (+ (* 2/9 (/ (log (/ -1 a)) a)) (* 1/9 (/ (log -1) (pow a 2)))))))
  (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))
  (- (pow (log a) 1/9) (- (fma 4/81 (/ (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (pow a 2)) (/ (* 1/9 (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9)) a)) (/ (* 1/18 (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9)) (pow a 2))))
  (+ (pow (- (log -1) (log (/ -1 a))) 1/9) (+ (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (* (- (/ 4/81 (pow a 2))) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9))))
  (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))
  (- (pow (log a) 1/9) (- (fma 4/81 (/ (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (pow a 2)) (/ (* 1/9 (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9)) a)) (/ (* 1/18 (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9)) (pow a 2))))
  (+ (pow (- (log -1) (log (/ -1 a))) 1/9) (+ (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (* (- (/ 4/81 (pow a 2))) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9))))
2.324 * * * [progress]: adding candidates to table
2.591 * [progress]: [Phase 3 of 3] Extracting.
2.591 * * [regime]: Finding splitpoints for: (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
2.608 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.608 * * * * [regimes]: Trying to branch on (log1p a) from (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
2.794 * * * * [regimes]: Trying to branch on (cosh c) from (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
2.954 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
3.145 * * * * [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.170 * * * * [regimes]: Trying to branch on c from (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
3.351 * * * * [regimes]: Trying to branch on a from (#<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)) (exp (log (cbrt (log1p a))))) (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) (* (* (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (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))) (* (* (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 (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) (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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (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) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (fma (pow (pow a 20) 1/9) 17/324 (- (pow a 2/9) (* 1/9 (pow (pow a 11) 1/9)))) (cbrt (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 (expm1 (log1p (cosh c))) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)))))> #<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) (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)))) (log (exp (cbrt (cbrt (log1p a)))))))))))> #<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))) (* (log (exp (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (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) (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) (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 (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<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))) (* (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))) (log (exp (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))) (* (pow (* (cbrt (log1p a)) (cbrt (log1p a))) 1/3) (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))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (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)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))))))))> #<alt (λ (a c) (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 (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 (pow (log1p a) 1/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)))) (pow (cbrt (log1p a)) 1/3)))))))> #<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)) (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)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))))))))>)
3.530 * * * [regime]: Found split indices: #<option (#s(si 18 255))>
3.531 * [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.531 * * [simplify]: iteration  0 :  19  enodes  (cost  29 )
3.531 * * [simplify]: iteration  1 :  19  enodes  (cost  29 )
3.532 * [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.728 * [regime-testing]: Baseline error score: 34.205309503635625
17.729 * [regime-testing]: Oracle error score: 32.00517676484329
17.730 * [regime-testing]: End program error score: 34.205309503635625