5.242 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.351 * * * [progress]: [2/2] Setting up program.
0.353 * [progress]: [Phase 2 of 3] Improving.
0.353 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.355 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.357 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.358 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.359 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.360 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.361 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.363 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.364 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.366 * * [simplify]: iteration  8 :  154  enodes  (cost  3 )
0.373 * * [simplify]: iteration  9 :  1044  enodes  (cost  3 )
0.570 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.571 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.572 * * [progress]: iteration 1 / 4
0.572 * * * [progress]: picking best candidate
0.574 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.574 * * * [progress]: localizing error
0.580 * * * [progress]: generating rewritten candidates
0.580 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.581 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.583 * * * [progress]: generating series expansions
0.583 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.585 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.586 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.587 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.591 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.591 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.591 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.591 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.591 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.591 * [taylor]: Taking taylor expansion of 0 in a
0.591 * [taylor]: Taking taylor expansion of 0 in a
0.591 * [taylor]: Taking taylor expansion of 0 in a
0.592 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.592 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
0.592 * [taylor]: Taking taylor expansion of (log1p a) in a
0.592 * [taylor]: Taking taylor expansion of (log1p a) in a
0.592 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
0.592 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.592 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.592 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
0.592 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.592 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.592 * * * [progress]: simplifying candidates
0.593 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
0.595 * * [simplify]: iteration  0 :  27  enodes  (cost  72 )
0.596 * * [simplify]: iteration  1 :  33  enodes  (cost  62 )
0.598 * * [simplify]: iteration  2 :  40  enodes  (cost  62 )
0.599 * * [simplify]: iteration  3 :  50  enodes  (cost  62 )
0.601 * * [simplify]: iteration  4 :  79  enodes  (cost  62 )
0.602 * * [simplify]: iteration  5 :  158  enodes  (cost  62 )
0.608 * * [simplify]: iteration  6 :  702  enodes  (cost  62 )
0.625 * * [simplify]: iteration  7 :  2342  enodes  (cost  62 )
0.698 * * [simplify]: iteration  8 :  5001  enodes  (cost  62 )
0.699 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
0.699 * * * [progress]: adding candidates to table
0.745 * * [progress]: iteration 2 / 4
0.745 * * * [progress]: picking best candidate
0.765 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
0.765 * * * [progress]: localizing error
0.775 * * * [progress]: generating rewritten candidates
0.775 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.776 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.781 * * * [progress]: generating series expansions
0.781 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.782 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.782 * [taylor]: Taking taylor expansion of 0 in a
0.782 * [taylor]: Taking taylor expansion of 0 in a
0.782 * [taylor]: Taking taylor expansion of 0 in a
0.782 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.782 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.784 * [taylor]: Taking taylor expansion of 0 in a
0.784 * [taylor]: Taking taylor expansion of 0 in a
0.784 * [taylor]: Taking taylor expansion of 0 in a
0.784 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.784 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.784 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.784 * [taylor]: Taking taylor expansion of 1/3 in a
0.784 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.784 * [taylor]: Taking taylor expansion of (log1p a) in a
0.785 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.785 * [taylor]: Taking taylor expansion of 1/3 in a
0.785 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.785 * [taylor]: Taking taylor expansion of (log1p a) in a
0.822 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.822 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.822 * [taylor]: Taking taylor expansion of 1/3 in a
0.822 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.822 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.822 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.822 * [taylor]: Taking taylor expansion of 1/3 in a
0.822 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.822 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.853 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.853 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.853 * [taylor]: Taking taylor expansion of 1/3 in a
0.853 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.853 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.853 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.854 * [taylor]: Taking taylor expansion of 1/3 in a
0.854 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.854 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.887 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
0.887 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.887 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.887 * [taylor]: Taking taylor expansion of 1/3 in a
0.887 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.887 * [taylor]: Taking taylor expansion of (log1p a) in a
0.887 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.888 * [taylor]: Taking taylor expansion of 1/3 in a
0.888 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.888 * [taylor]: Taking taylor expansion of (log1p a) in a
0.918 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
0.918 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.918 * [taylor]: Taking taylor expansion of 1/3 in a
0.918 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.918 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.919 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
0.919 * [taylor]: Taking taylor expansion of 1/3 in a
0.919 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
0.919 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
0.951 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
0.951 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.951 * [taylor]: Taking taylor expansion of 1/3 in a
0.951 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.951 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.951 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
0.951 * [taylor]: Taking taylor expansion of 1/3 in a
0.951 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
0.951 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
0.984 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.984 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
0.984 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.985 * [taylor]: Taking taylor expansion of 1/3 in a
0.985 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.985 * [taylor]: Taking taylor expansion of (log1p a) in a
0.985 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
0.985 * [taylor]: Taking taylor expansion of 1/3 in a
0.985 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
0.985 * [taylor]: Taking taylor expansion of (log1p a) in a
1.016 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
1.016 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.016 * [taylor]: Taking taylor expansion of 1/3 in a
1.016 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.016 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.016 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
1.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
1.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
1.016 * [taylor]: Taking taylor expansion of 1/3 in a
1.016 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.016 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.052 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
1.052 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of 1/3 in a
1.052 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.052 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.052 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of 1/3 in a
1.052 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.052 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.084 * * * [progress]: simplifying candidates
1.084 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.087 * * [simplify]: iteration  0 :  41  enodes  (cost  281 )
1.088 * * [simplify]: iteration  1 :  73  enodes  (cost  245 )
1.090 * * [simplify]: iteration  2 :  152  enodes  (cost  239 )
1.093 * * [simplify]: iteration  3 :  486  enodes  (cost  232 )
1.106 * * [simplify]: iteration  4 :  2446  enodes  (cost  232 )
1.172 * * [simplify]: iteration  5 :  5001  enodes  (cost  232 )
1.174 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (pow (log1p a) 1/3)
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
1.174 * * * [progress]: adding candidates to table
1.316 * * [progress]: iteration 3 / 4
1.316 * * * [progress]: picking best candidate
1.372 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))>
1.372 * * * [progress]: localizing error
1.386 * * * [progress]: generating rewritten candidates
1.386 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.387 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
1.389 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2)
1.390 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1)
1.393 * * * [progress]: generating series expansions
1.393 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.393 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.394 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.394 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.394 * [taylor]: Taking taylor expansion of 0 in a
1.394 * [taylor]: Taking taylor expansion of 0 in a
1.394 * [taylor]: Taking taylor expansion of 0 in a
1.394 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.395 * [taylor]: Taking taylor expansion of 0 in a
1.395 * [taylor]: Taking taylor expansion of 0 in a
1.395 * [taylor]: Taking taylor expansion of 0 in a
1.395 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
1.396 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.396 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.396 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.396 * [taylor]: Taking taylor expansion of 1/9 in a
1.396 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.396 * [taylor]: Taking taylor expansion of (log1p a) in a
1.396 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.396 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.396 * [taylor]: Taking taylor expansion of 1/9 in a
1.396 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.396 * [taylor]: Taking taylor expansion of (log1p a) in a
1.430 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.430 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.430 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.430 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.431 * [taylor]: Taking taylor expansion of 1/9 in a
1.431 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.431 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.431 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.431 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.431 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.431 * [taylor]: Taking taylor expansion of 1/9 in a
1.431 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.431 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.463 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.463 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.463 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.463 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.463 * [taylor]: Taking taylor expansion of 1/9 in a
1.463 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.463 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.463 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.463 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.463 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.463 * [taylor]: Taking taylor expansion of 1/9 in a
1.463 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.463 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2)
1.495 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.495 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.495 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.495 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.495 * [taylor]: Taking taylor expansion of 1/9 in a
1.495 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.495 * [taylor]: Taking taylor expansion of (log1p a) in a
1.495 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.495 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.495 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.495 * [taylor]: Taking taylor expansion of 1/9 in a
1.495 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.495 * [taylor]: Taking taylor expansion of (log1p a) in a
1.530 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.530 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.530 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.530 * [taylor]: Taking taylor expansion of 1/9 in a
1.530 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.530 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.531 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.531 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.531 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.531 * [taylor]: Taking taylor expansion of 1/9 in a
1.531 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.531 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.562 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
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]: 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.598 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1)
1.598 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
1.598 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.599 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.599 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.599 * [taylor]: Taking taylor expansion of 1/9 in a
1.599 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.599 * [taylor]: Taking taylor expansion of (log1p a) in a
1.599 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
1.599 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
1.599 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
1.599 * [taylor]: Taking taylor expansion of 1/9 in a
1.599 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
1.599 * [taylor]: Taking taylor expansion of (log1p a) in a
1.629 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
1.629 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.630 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.630 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.630 * [taylor]: Taking taylor expansion of 1/9 in a
1.630 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.630 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.630 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
1.630 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
1.630 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
1.630 * [taylor]: Taking taylor expansion of 1/9 in a
1.630 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
1.630 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.666 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
1.666 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.666 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.666 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.666 * [taylor]: Taking taylor expansion of 1/9 in a
1.666 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.666 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.666 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
1.666 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
1.666 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
1.666 * [taylor]: Taking taylor expansion of 1/9 in a
1.666 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
1.666 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.698 * * * [progress]: simplifying candidates
1.699 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (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 (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
1.702 * * [simplify]: iteration  0 :  56  enodes  (cost  491 )
1.703 * * [simplify]: iteration  1 :  83  enodes  (cost  431 )
1.705 * * [simplify]: iteration  2 :  139  enodes  (cost  425 )
1.707 * * [simplify]: iteration  3 :  286  enodes  (cost  425 )
1.714 * * [simplify]: iteration  4 :  1005  enodes  (cost  425 )
1.738 * * [simplify]: iteration  5 :  3398  enodes  (cost  406 )
1.819 * * [simplify]: iteration  6 :  5001  enodes  (cost  397 )
1.821 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
1.821 * * * [progress]: adding candidates to table
1.989 * * [progress]: iteration 4 / 4
1.989 * * * [progress]: picking best candidate
2.089 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))>
2.090 * * * [progress]: localizing error
2.116 * * * [progress]: generating rewritten candidates
2.116 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.118 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.118 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1 2)
2.121 * * * [progress]: generating series expansions
2.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.121 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.121 * [taylor]: Taking taylor expansion of 0 in a
2.122 * [taylor]: Taking taylor expansion of 0 in a
2.122 * [taylor]: Taking taylor expansion of 0 in a
2.122 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.122 * [taylor]: Taking taylor expansion of 0 in a
2.122 * [taylor]: Taking taylor expansion of 0 in a
2.123 * [taylor]: Taking taylor expansion of 0 in a
2.123 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.123 * [taylor]: Taking taylor expansion of 0 in a
2.124 * [taylor]: Taking taylor expansion of 0 in a
2.124 * [taylor]: Taking taylor expansion of 0 in a
2.124 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.124 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.124 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.124 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.124 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.124 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.124 * [taylor]: Taking taylor expansion of 0 in a
2.124 * [taylor]: Taking taylor expansion of 0 in a
2.124 * [taylor]: Taking taylor expansion of 0 in a
2.125 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.125 * [taylor]: Taking taylor expansion of 0 in a
2.125 * [taylor]: Taking taylor expansion of 0 in a
2.125 * [taylor]: Taking taylor expansion of 0 in a
2.126 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.126 * [taylor]: Taking taylor expansion of 0 in a
2.126 * [taylor]: Taking taylor expansion of 0 in a
2.126 * [taylor]: Taking taylor expansion of 0 in a
2.127 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.127 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.127 * [taylor]: Taking taylor expansion of 0 in a
2.127 * [taylor]: Taking taylor expansion of 0 in a
2.127 * [taylor]: Taking taylor expansion of 0 in a
2.128 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.128 * [taylor]: Taking taylor expansion of 0 in a
2.128 * [taylor]: Taking taylor expansion of 0 in a
2.128 * [taylor]: Taking taylor expansion of 0 in a
2.129 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.129 * [taylor]: Taking taylor expansion of 0 in a
2.129 * [taylor]: Taking taylor expansion of 0 in a
2.129 * [taylor]: Taking taylor expansion of 0 in a
2.129 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1 2)
2.129 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
2.129 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.129 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.129 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.129 * [taylor]: Taking taylor expansion of 1/9 in a
2.129 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.130 * [taylor]: Taking taylor expansion of (log1p a) in a
2.130 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
2.130 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
2.130 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
2.130 * [taylor]: Taking taylor expansion of 1/9 in a
2.130 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
2.130 * [taylor]: Taking taylor expansion of (log1p a) in a
2.161 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
2.161 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.161 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.161 * [taylor]: Taking taylor expansion of 1/9 in a
2.161 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.161 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.161 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
2.161 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
2.161 * [taylor]: Taking taylor expansion of 1/9 in a
2.161 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
2.161 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.197 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
2.197 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.197 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.197 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.197 * [taylor]: Taking taylor expansion of 1/9 in a
2.197 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.197 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.197 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
2.197 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
2.197 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
2.197 * [taylor]: Taking taylor expansion of 1/9 in a
2.197 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
2.197 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.229 * * * [progress]: simplifying candidates
2.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (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 (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
2.233 * * [simplify]: iteration  0 :  56  enodes  (cost  721 )
2.234 * * [simplify]: iteration  1 :  83  enodes  (cost  597 )
2.236 * * [simplify]: iteration  2 :  139  enodes  (cost  595 )
2.239 * * [simplify]: iteration  3 :  286  enodes  (cost  595 )
2.245 * * [simplify]: iteration  4 :  1005  enodes  (cost  595 )
2.269 * * [simplify]: iteration  5 :  3398  enodes  (cost  546 )
2.349 * * [simplify]: iteration  6 :  5001  enodes  (cost  543 )
2.351 * [simplify]: Simplified to:
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (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 (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
2.351 * * * [progress]: adding candidates to table
2.542 * [progress]: [Phase 3 of 3] Extracting.
2.542 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
2.569 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
2.570 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
2.758 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
2.920 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
3.109 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
3.141 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
3.322 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (cbrt (pow (log1p a) 3))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<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) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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) (exp (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (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) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (pow (log1p a) 1/9) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt 1) (pow (log1p a) 1/3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (exp (log (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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) (exp (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (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))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (cbrt (log1p a)) 1/3)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (sqrt (cbrt (log1p a)))) (cbrt (sqrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (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)))))>)
3.501 * * * [regime]: Found split indices: #<option (#s(si 17 255))>
3.502 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
3.502 * * [simplify]: iteration  0 :  22  enodes  (cost  84 )
3.502 * * [simplify]: iteration  1 :  22  enodes  (cost  84 )
3.503 * [simplify]: Simplified to:
   (* (* (cbrt (* (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
16.758 * [regime-testing]: Baseline error score: 34.02706646060749
16.759 * [regime-testing]: Oracle error score: 32.028483581192766
16.760 * [regime-testing]: End program error score: 34.02706646060749