5.634 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.355 * * * [progress]: [2/2] Setting up program.
0.358 * [progress]: [Phase 2 of 3] Improving.
0.358 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.360 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.361 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.363 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.364 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.365 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.367 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.368 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.369 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.371 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.379 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.579 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.581 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.581 * * [progress]: iteration 1 / 4
0.581 * * * [progress]: picking best candidate
0.583 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.583 * * * [progress]: localizing error
0.590 * * * [progress]: generating rewritten candidates
0.590 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.591 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.591 * * * [progress]: generating series expansions
0.591 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.591 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [taylor]: Taking taylor expansion of 0 in a
0.592 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [taylor]: Taking taylor expansion of 0 in a
0.593 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * [taylor]: Taking taylor expansion of 0 in a
0.594 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.594 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
0.594 * [taylor]: Taking taylor expansion of (log1p a) in a
0.594 * [taylor]: Rewrote expression to (log (+ 1 a))
0.594 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.594 * [taylor]: Taking taylor expansion of 1 in a
0.594 * [taylor]: Taking taylor expansion of a in a
0.595 * [taylor]: Taking taylor expansion of (log1p a) in a
0.595 * [taylor]: Rewrote expression to (log (+ 1 a))
0.596 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.596 * [taylor]: Taking taylor expansion of 1 in a
0.596 * [taylor]: Taking taylor expansion of a in a
0.604 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
0.604 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.604 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.604 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.604 * [taylor]: Taking taylor expansion of 1 in a
0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.604 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.605 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.605 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.605 * [taylor]: Taking taylor expansion of 1 in a
0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.610 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
0.610 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.610 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.610 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.610 * [taylor]: Taking taylor expansion of -1 in a
0.610 * [taylor]: Taking taylor expansion of a in a
0.611 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.611 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.611 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.611 * [taylor]: Taking taylor expansion of 1 in a
0.611 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.611 * [taylor]: Taking taylor expansion of -1 in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.617 * * * [progress]: simplifying candidates
0.617 * [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))
  (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))))
0.620 * * [simplify]: iteration  0 :  97  enodes  (cost  103 )
0.622 * * [simplify]: iteration  1 :  258  enodes  (cost  91 )
0.627 * * [simplify]: iteration  2 :  798  enodes  (cost  90 )
0.648 * * [simplify]: iteration  3 :  4467  enodes  (cost  86 )
0.811 * * [simplify]: iteration  4 :  5001  enodes  (cost  86 )
0.811 * [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))
  (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))))
0.811 * * * [progress]: adding candidates to table
0.881 * * [progress]: iteration 2 / 4
0.881 * * * [progress]: picking best candidate
0.903 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
0.903 * * * [progress]: localizing error
0.917 * * * [progress]: generating rewritten candidates
0.917 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.917 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.918 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.920 * * * [progress]: generating series expansions
0.920 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.920 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.920 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.920 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.920 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.920 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.920 * [taylor]: Taking taylor expansion of 0 in a
0.921 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.921 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.921 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.921 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.921 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 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.922 * [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.938 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.938 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.938 * [taylor]: Taking taylor expansion of 1/3 in a
0.938 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.938 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.938 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.938 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.938 * [taylor]: Taking taylor expansion of 1 in a
0.938 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.938 * [taylor]: Taking taylor expansion of a in a
0.939 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.939 * [taylor]: Taking taylor expansion of 1/3 in a
0.939 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.939 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.939 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.939 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.939 * [taylor]: Taking taylor expansion of 1 in a
0.939 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.940 * [taylor]: Taking taylor expansion of a in a
0.949 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.949 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.949 * [taylor]: Taking taylor expansion of 1/3 in a
0.949 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.949 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.949 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.949 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.949 * [taylor]: Taking taylor expansion of 1 in a
0.949 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.949 * [taylor]: Taking taylor expansion of -1 in a
0.949 * [taylor]: Taking taylor expansion of a in a
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.953 * [taylor]: Taking taylor expansion of 1 in a
0.953 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.953 * [taylor]: Taking taylor expansion of -1 in a
0.953 * [taylor]: Taking taylor expansion of a in a
0.971 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
0.971 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.971 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.972 * [taylor]: Taking taylor expansion of 1/3 in a
0.972 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.972 * [taylor]: Taking taylor expansion of (log1p a) in a
0.972 * [taylor]: Rewrote expression to (log (+ 1 a))
0.972 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.972 * [taylor]: Taking taylor expansion of 1 in a
0.972 * [taylor]: Taking taylor expansion of a in a
0.974 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.974 * [taylor]: Taking taylor expansion of 1/3 in a
0.974 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.974 * [taylor]: Taking taylor expansion of (log1p a) in a
0.974 * [taylor]: Rewrote expression to (log (+ 1 a))
0.974 * [taylor]: Taking taylor expansion of (+ 1 a) in a
0.974 * [taylor]: Taking taylor expansion of 1 in a
0.974 * [taylor]: Taking taylor expansion of a in a
0.985 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.985 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.986 * [taylor]: Taking taylor expansion of 1/3 in a
0.986 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.986 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.986 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
0.986 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
0.986 * [taylor]: Taking taylor expansion of 1 in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.986 * [taylor]: Taking taylor expansion of a in a
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.997 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.997 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.997 * [taylor]: Taking taylor expansion of 1/3 in a
0.997 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.997 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.997 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
0.997 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
0.997 * [taylor]: Taking taylor expansion of 1 in a
0.997 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.997 * [taylor]: Taking taylor expansion of -1 in a
0.997 * [taylor]: Taking taylor expansion of a in a
1.000 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.000 * [taylor]: Taking taylor expansion of 1/3 in a
1.000 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.000 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.000 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.000 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.000 * [taylor]: Taking taylor expansion of 1 in a
1.000 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.000 * [taylor]: Taking taylor expansion of -1 in a
1.000 * [taylor]: Taking taylor expansion of a in a
1.021 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.022 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
1.022 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.022 * [taylor]: Taking taylor expansion of 1/3 in a
1.022 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.022 * [taylor]: Taking taylor expansion of (log1p a) in a
1.022 * [taylor]: Rewrote expression to (log (+ 1 a))
1.022 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.022 * [taylor]: Taking taylor expansion of 1 in a
1.022 * [taylor]: Taking taylor expansion of a in a
1.024 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
1.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
1.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
1.024 * [taylor]: Taking taylor expansion of 1/3 in a
1.024 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.024 * [taylor]: Taking taylor expansion of (log1p a) in a
1.024 * [taylor]: Rewrote expression to (log (+ 1 a))
1.024 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.024 * [taylor]: Taking taylor expansion of 1 in a
1.024 * [taylor]: Taking taylor expansion of a in a
1.036 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.036 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.036 * [taylor]: Taking taylor expansion of 1/3 in a
1.036 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.036 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.036 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.036 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.036 * [taylor]: Taking taylor expansion of 1 in a
1.036 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.037 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.037 * [taylor]: Taking taylor expansion of 1/3 in a
1.037 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.037 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.037 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.037 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.037 * [taylor]: Taking taylor expansion of 1 in a
1.037 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.037 * [taylor]: Taking taylor expansion of a in a
1.047 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.047 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.047 * [taylor]: Taking taylor expansion of 1/3 in a
1.047 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.047 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.047 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.047 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.047 * [taylor]: Taking taylor expansion of 1 in a
1.047 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.047 * [taylor]: Taking taylor expansion of -1 in a
1.047 * [taylor]: Taking taylor expansion of a in a
1.050 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.050 * [taylor]: Taking taylor expansion of 1/3 in a
1.050 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.050 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.050 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.050 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.050 * [taylor]: Taking taylor expansion of 1 in a
1.050 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.050 * [taylor]: Taking taylor expansion of -1 in a
1.050 * [taylor]: Taking taylor expansion of a in a
1.068 * * * [progress]: simplifying candidates
1.069 * [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.073 * * [simplify]: iteration  0 :  215  enodes  (cost  543 )
1.077 * * [simplify]: iteration  1 :  684  enodes  (cost  498 )
1.091 * * [simplify]: iteration  2 :  3108  enodes  (cost  438 )
1.168 * * [simplify]: iteration  3 :  5001  enodes  (cost  431 )
1.171 * [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.171 * * * [progress]: adding candidates to table
1.413 * * [progress]: iteration 3 / 4
1.413 * * * [progress]: picking best candidate
1.474 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))>
1.474 * * * [progress]: localizing error
1.489 * * * [progress]: generating rewritten candidates
1.489 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.489 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1.490 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1.493 * * * [progress]: generating series expansions
1.493 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.493 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.493 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.493 * [taylor]: Taking taylor expansion of 0 in a
1.493 * [taylor]: Taking taylor expansion of 0 in a
1.494 * [taylor]: Taking taylor expansion of 0 in a
1.494 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.494 * [taylor]: Taking taylor expansion of 0 in a
1.494 * [taylor]: Taking taylor expansion of 0 in a
1.494 * [taylor]: Taking taylor expansion of 0 in a
1.495 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.495 * [taylor]: Taking taylor expansion of 0 in a
1.496 * [taylor]: Taking taylor expansion of 0 in a
1.496 * [taylor]: Taking taylor expansion of 0 in a
1.496 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1.496 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.496 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.496 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.496 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.496 * [taylor]: Taking taylor expansion of 1/9 in a
1.496 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.496 * [taylor]: Taking taylor expansion of (log1p a) in a
1.496 * [taylor]: Rewrote expression to (log (+ 1 a))
1.496 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.496 * [taylor]: Taking taylor expansion of 1 in a
1.496 * [taylor]: Taking taylor expansion of a in a
1.498 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.498 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.498 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.498 * [taylor]: Taking taylor expansion of 1/9 in a
1.498 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.498 * [taylor]: Taking taylor expansion of (log1p a) in a
1.498 * [taylor]: Rewrote expression to (log (+ 1 a))
1.499 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.499 * [taylor]: Taking taylor expansion of 1 in a
1.499 * [taylor]: Taking taylor expansion of a in a
1.511 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.511 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.511 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.511 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.511 * [taylor]: Taking taylor expansion of 1/9 in a
1.511 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.511 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.511 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.511 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.511 * [taylor]: Taking taylor expansion of 1 in a
1.511 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.511 * [taylor]: Taking taylor expansion of a in a
1.512 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.512 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.512 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.512 * [taylor]: Taking taylor expansion of 1/9 in a
1.512 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.512 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.512 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.512 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.512 * [taylor]: Taking taylor expansion of 1 in a
1.512 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.513 * [taylor]: Taking taylor expansion of a in a
1.522 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.522 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.522 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.522 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.522 * [taylor]: Taking taylor expansion of 1/9 in a
1.522 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.522 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.522 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.522 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.522 * [taylor]: Taking taylor expansion of 1 in a
1.522 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.522 * [taylor]: Taking taylor expansion of -1 in a
1.522 * [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.525 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.525 * [taylor]: Taking taylor expansion of 1/9 in a
1.525 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.525 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.525 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.525 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.525 * [taylor]: Taking taylor expansion of 1 in a
1.525 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.525 * [taylor]: Taking taylor expansion of -1 in a
1.525 * [taylor]: Taking taylor expansion of a in a
1.546 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1.547 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.547 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.547 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.547 * [taylor]: Taking taylor expansion of 1/9 in a
1.547 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.547 * [taylor]: Taking taylor expansion of (log1p a) in a
1.547 * [taylor]: Rewrote expression to (log (+ 1 a))
1.547 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.547 * [taylor]: Taking taylor expansion of 1 in a
1.547 * [taylor]: Taking taylor expansion of a in a
1.549 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.549 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.549 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.549 * [taylor]: Taking taylor expansion of 1/9 in a
1.549 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.549 * [taylor]: Taking taylor expansion of (log1p a) in a
1.549 * [taylor]: Rewrote expression to (log (+ 1 a))
1.549 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.549 * [taylor]: Taking taylor expansion of 1 in a
1.549 * [taylor]: Taking taylor expansion of a in a
1.561 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.561 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.561 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.561 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.561 * [taylor]: Taking taylor expansion of 1/9 in a
1.561 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.561 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.561 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.561 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.561 * [taylor]: Taking taylor expansion of 1 in a
1.561 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.561 * [taylor]: Taking taylor expansion of a in a
1.562 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.562 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.562 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.562 * [taylor]: Taking taylor expansion of 1/9 in a
1.562 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.562 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.562 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.562 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.562 * [taylor]: Taking taylor expansion of 1 in a
1.562 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.562 * [taylor]: Taking taylor expansion of a in a
1.572 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.572 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.572 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.572 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.572 * [taylor]: Taking taylor expansion of 1/9 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 -1 in a
1.572 * [taylor]: Taking taylor expansion of a in a
1.575 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.575 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.575 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.575 * [taylor]: Taking taylor expansion of 1/9 in a
1.575 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.575 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.575 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.575 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.575 * [taylor]: Taking taylor expansion of 1 in a
1.575 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.575 * [taylor]: Taking taylor expansion of -1 in a
1.575 * [taylor]: Taking taylor expansion of a in a
1.593 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1.593 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.593 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.593 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.593 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.593 * [taylor]: Taking taylor expansion of 1/9 in a
1.593 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.593 * [taylor]: Taking taylor expansion of (log1p a) in a
1.593 * [taylor]: Rewrote expression to (log (+ 1 a))
1.593 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.593 * [taylor]: Taking taylor expansion of 1 in a
1.594 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.596 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.596 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.596 * [taylor]: Taking taylor expansion of 1/9 in a
1.596 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.596 * [taylor]: Taking taylor expansion of (log1p a) in a
1.596 * [taylor]: Rewrote expression to (log (+ 1 a))
1.596 * [taylor]: Taking taylor expansion of (+ 1 a) in a
1.596 * [taylor]: Taking taylor expansion of 1 in a
1.596 * [taylor]: Taking taylor expansion of a in a
1.608 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.608 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.608 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.608 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.608 * [taylor]: Taking taylor expansion of 1/9 in a
1.608 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.608 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.608 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.608 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.608 * [taylor]: Taking taylor expansion of 1 in a
1.608 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.608 * [taylor]: Taking taylor expansion of a in a
1.609 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.609 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.609 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.609 * [taylor]: Taking taylor expansion of 1/9 in a
1.609 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.609 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.610 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
1.610 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
1.610 * [taylor]: Taking taylor expansion of 1 in a
1.610 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.610 * [taylor]: Taking taylor expansion of a in a
1.619 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.619 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.619 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.619 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.619 * [taylor]: Taking taylor expansion of 1/9 in a
1.619 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.619 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.619 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.619 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.619 * [taylor]: Taking taylor expansion of 1 in a
1.619 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.619 * [taylor]: Taking taylor expansion of -1 in a
1.619 * [taylor]: Taking taylor expansion of a in a
1.622 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.622 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.622 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.622 * [taylor]: Taking taylor expansion of 1/9 in a
1.622 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.622 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.622 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
1.623 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
1.623 * [taylor]: Taking taylor expansion of 1 in a
1.623 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.623 * [taylor]: Taking taylor expansion of -1 in a
1.623 * [taylor]: Taking taylor expansion of a in a
1.644 * * * [progress]: simplifying candidates
1.645 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (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 (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 (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))
  (- (+ (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)))))
  (- (+ (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.649 * * [simplify]: iteration  0 :  221  enodes  (cost  777 )
1.653 * * [simplify]: iteration  1 :  633  enodes  (cost  708 )
1.665 * * [simplify]: iteration  2 :  2827  enodes  (cost  663 )
1.727 * * [simplify]: iteration  3 :  5001  enodes  (cost  663 )
1.730 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (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 (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 (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 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 (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (/ (* 4/81 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)) (pow a 2))) (pow (- (log -1) (log (/ -1 a))) 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 (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (/ (* 4/81 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)) (pow a 2))) (pow (- (log -1) (log (/ -1 a))) 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 (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (/ (* 4/81 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)) (pow a 2))) (pow (- (log -1) (log (/ -1 a))) 1/9))
1.731 * * * [progress]: adding candidates to table
2.056 * * [progress]: iteration 4 / 4
2.056 * * * [progress]: picking best candidate
2.174 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))>
2.174 * * * [progress]: localizing error
2.199 * * * [progress]: generating rewritten candidates
2.199 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.200 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.200 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2 2)
2.204 * * * [progress]: generating series expansions
2.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.204 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.204 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.204 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.204 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.204 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.205 * [taylor]: Taking taylor expansion of 0 in a
2.205 * [taylor]: Taking taylor expansion of 0 in a
2.205 * [taylor]: Taking taylor expansion of 0 in a
2.205 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.205 * [taylor]: Taking taylor expansion of 0 in a
2.206 * [taylor]: Taking taylor expansion of 0 in a
2.206 * [taylor]: Taking taylor expansion of 0 in a
2.206 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.206 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.206 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.206 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.206 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.207 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.207 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.207 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.207 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.207 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.207 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.207 * [taylor]: Taking taylor expansion of 0 in a
2.208 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.208 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.208 * [taylor]: Taking taylor expansion of 0 in a
2.208 * [taylor]: Taking taylor expansion of 0 in a
2.208 * [taylor]: Taking taylor expansion of 0 in a
2.209 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.209 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.209 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.209 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.209 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.209 * [taylor]: Taking taylor expansion of 0 in a
2.209 * [taylor]: Taking taylor expansion of 0 in a
2.209 * [taylor]: Taking taylor expansion of 0 in a
2.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.210 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.210 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.210 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.210 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.210 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.210 * [taylor]: Taking taylor expansion of 0 in a
2.210 * [taylor]: Taking taylor expansion of 0 in a
2.210 * [taylor]: Taking taylor expansion of 0 in a
2.211 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.211 * [taylor]: Taking taylor expansion of 0 in a
2.211 * [taylor]: Taking taylor expansion of 0 in a
2.211 * [taylor]: Taking taylor expansion of 0 in a
2.212 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.212 * [taylor]: Taking taylor expansion of 0 in a
2.212 * [taylor]: Taking taylor expansion of 0 in a
2.212 * [taylor]: Taking taylor expansion of 0 in a
2.212 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2 2)
2.212 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.212 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.213 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.213 * [taylor]: Taking taylor expansion of 1/9 in a
2.213 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.213 * [taylor]: Taking taylor expansion of (log1p a) in a
2.213 * [taylor]: Rewrote expression to (log (+ 1 a))
2.213 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.213 * [taylor]: Taking taylor expansion of 1 in a
2.213 * [taylor]: Taking taylor expansion of a in a
2.215 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.215 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.215 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.215 * [taylor]: Taking taylor expansion of 1/9 in a
2.215 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.215 * [taylor]: Taking taylor expansion of (log1p a) in a
2.215 * [taylor]: Rewrote expression to (log (+ 1 a))
2.215 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.215 * [taylor]: Taking taylor expansion of 1 in a
2.215 * [taylor]: Taking taylor expansion of a in a
2.227 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.227 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.227 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.227 * [taylor]: Taking taylor expansion of 1/9 in a
2.227 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.227 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.227 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.227 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.227 * [taylor]: Taking taylor expansion of 1 in a
2.227 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.227 * [taylor]: Taking taylor expansion of a in a
2.228 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.229 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.229 * [taylor]: Taking taylor expansion of 1/9 in a
2.229 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.229 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.229 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.229 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.229 * [taylor]: Taking taylor expansion of 1 in a
2.229 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.229 * [taylor]: Taking taylor expansion of a in a
2.238 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.238 * [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 -1 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.242 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.242 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.242 * [taylor]: Taking taylor expansion of 1 in a
2.242 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.242 * [taylor]: Taking taylor expansion of -1 in a
2.242 * [taylor]: Taking taylor expansion of a in a
2.260 * * * [progress]: simplifying candidates
2.260 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (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))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (pow 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.265 * * [simplify]: iteration  0 :  221  enodes  (cost  923 )
2.269 * * [simplify]: iteration  1 :  633  enodes  (cost  796 )
2.281 * * [simplify]: iteration  2 :  2827  enodes  (cost  781 )
2.341 * * [simplify]: iteration  3 :  5001  enodes  (cost  781 )
2.344 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (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))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (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 (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (/ (* 4/81 (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)) (pow a 2))) (pow (- (log -1) (log (/ -1 a))) 1/9))
2.344 * * * [progress]: adding candidates to table
2.637 * [progress]: [Phase 3 of 3] Extracting.
2.637 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
2.668 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.668 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
2.876 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
3.058 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
3.274 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))>)
3.309 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
3.513 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (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 (sqrt (log1p a))) (cbrt (sqrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (fma (pow (pow a 19) 1/9) 2/81 (- (pow a 1/9) (* 1/18 (pow (pow a 10) 1/9))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (log (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (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 (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (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)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (log (exp (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (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 (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (log (exp (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (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)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))))) (cbrt (log1p a)))))))>)
3.716 * * * [regime]: Found split indices: #<option (#s(si 10 255))>
3.716 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
3.717 * * [simplify]: iteration  0 :  22  enodes  (cost  84 )
3.717 * * [simplify]: iteration  1 :  22  enodes  (cost  84 )
3.718 * [simplify]: Simplified to:
   (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))))
17.639 * [regime-testing]: Baseline error score: 34.02706646060749
17.640 * [regime-testing]: Oracle error score: 32.02232683816098
17.641 * [regime-testing]: End program error score: 34.02706646060749