21.814 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.324 * * * [progress]: [2/2] Setting up program.
0.327 * [progress]: [Phase 2 of 3] Improving.
0.328 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (cosh c) (log1p a))
0.328 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.329 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.330 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.332 * * [simplify]: iteration  3 :  16  enodes  (cost  5 )
0.334 * * [simplify]: iteration  4 :  18  enodes  (cost  5 )
0.336 * * [simplify]: iteration  5 :  19  enodes  (cost  5 )
0.338 * * [simplify]: iteration  6 :  25  enodes  (cost  5 )
0.342 * * [simplify]: iteration  7 :  36  enodes  (cost  5 )
0.352 * * [simplify]: iteration  8 :  62  enodes  (cost  5 )
0.382 * * [simplify]: iteration  9 :  164  enodes  (cost  5 )
0.697 * * [simplify]: iteration  10 :  1537  enodes  (cost  5 )
29.259 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
29.259 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
29.259 * * [progress]: iteration 1 / 4
29.259 * * * [progress]: picking best candidate
29.262 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
29.262 * * * [progress]: localizing error
29.268 * * * [progress]: generating rewritten candidates
29.268 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
29.269 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
29.270 * * * [progress]: generating series expansions
29.270 * * * * [progress]: [ 1 / 2 ] generating series at (2)
29.270 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
29.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
29.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
29.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
29.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
29.270 * [taylor]: Taking taylor expansion of 0 in a
29.270 * [taylor]: Taking taylor expansion of 0 in a
29.270 * [taylor]: Taking taylor expansion of 0 in a
29.270 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
29.270 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
29.271 * [taylor]: Taking taylor expansion of 0 in a
29.271 * [taylor]: Taking taylor expansion of 0 in a
29.271 * [taylor]: Taking taylor expansion of 0 in a
29.271 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
29.271 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
29.272 * [taylor]: Taking taylor expansion of 0 in a
29.272 * [taylor]: Taking taylor expansion of 0 in a
29.272 * [taylor]: Taking taylor expansion of 0 in a
29.272 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
29.272 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
29.272 * [taylor]: Taking taylor expansion of (log1p a) in a
29.272 * [taylor]: Rewrote expression to (log (+ 1 a))
29.272 * [taylor]: Taking taylor expansion of (+ 1 a) in a
29.272 * [taylor]: Taking taylor expansion of 1 in a
29.272 * [taylor]: Taking taylor expansion of a in a
29.273 * [taylor]: Taking taylor expansion of (log1p a) in a
29.273 * [taylor]: Rewrote expression to (log (+ 1 a))
29.273 * [taylor]: Taking taylor expansion of (+ 1 a) in a
29.273 * [taylor]: Taking taylor expansion of 1 in a
29.273 * [taylor]: Taking taylor expansion of a in a
29.280 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
29.280 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.280 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
29.280 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
29.280 * [taylor]: Taking taylor expansion of 1 in a
29.280 * [taylor]: Taking taylor expansion of (/ 1 a) in a
29.280 * [taylor]: Taking taylor expansion of a in a
29.281 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.281 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
29.281 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
29.281 * [taylor]: Taking taylor expansion of 1 in a
29.281 * [taylor]: Taking taylor expansion of (/ 1 a) in a
29.281 * [taylor]: Taking taylor expansion of a in a
29.287 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
29.287 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.287 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
29.287 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
29.287 * [taylor]: Taking taylor expansion of 1 in a
29.287 * [taylor]: Taking taylor expansion of (/ -1 a) in a
29.287 * [taylor]: Taking taylor expansion of -1 in a
29.287 * [taylor]: Taking taylor expansion of a in a
29.288 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.288 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
29.288 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
29.288 * [taylor]: Taking taylor expansion of 1 in a
29.288 * [taylor]: Taking taylor expansion of (/ -1 a) in a
29.288 * [taylor]: Taking taylor expansion of -1 in a
29.288 * [taylor]: Taking taylor expansion of a in a
29.294 * * * [progress]: simplifying candidates
29.294 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 a)
  (expm1 (log1p a))
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2)))
  (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2)))))
  (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
29.296 * * [simplify]: iteration  0 :  48  enodes  (cost  174 )
29.304 * * [simplify]: iteration  1 :  98  enodes  (cost  166 )
29.326 * * [simplify]: iteration  2 :  258  enodes  (cost  151 )
29.394 * * [simplify]: iteration  3 :  834  enodes  (cost  150 )
29.867 * * [simplify]: iteration  4 :  4073  enodes  (cost  143 )
33.657 * * [simplify]: iteration  done :  5000  enodes  (cost  143 )
33.657 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (+ 1 a)
  a
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (* a a) (fma a 1/3 -1/2) a)
  (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a)))
  (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a)))
33.657 * * * [progress]: adding candidates to table
33.726 * * [progress]: iteration 2 / 4
33.726 * * * [progress]: picking best candidate
33.748 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
33.748 * * * [progress]: localizing error
33.758 * * * [progress]: generating rewritten candidates
33.758 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
33.758 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
33.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
33.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
33.760 * * * [progress]: generating series expansions
33.760 * * * * [progress]: [ 1 / 4 ] generating series at (2)
33.761 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
33.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
33.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
33.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
33.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
33.761 * [taylor]: Taking taylor expansion of 0 in a
33.761 * [taylor]: Taking taylor expansion of 0 in a
33.761 * [taylor]: Taking taylor expansion of 0 in a
33.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
33.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
33.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
33.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
33.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
33.762 * [taylor]: Taking taylor expansion of 0 in a
33.762 * [taylor]: Taking taylor expansion of 0 in a
33.762 * [taylor]: Taking taylor expansion of 0 in a
33.762 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
33.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
33.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
33.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
33.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
33.763 * [taylor]: Taking taylor expansion of 0 in a
33.763 * [taylor]: Taking taylor expansion of 0 in a
33.763 * [taylor]: Taking taylor expansion of 0 in a
33.763 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
33.763 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
33.763 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.763 * [taylor]: Taking taylor expansion of 1/3 in a
33.763 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.763 * [taylor]: Taking taylor expansion of (log1p a) in a
33.763 * [taylor]: Rewrote expression to (log (+ 1 a))
33.763 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.763 * [taylor]: Taking taylor expansion of 1 in a
33.763 * [taylor]: Taking taylor expansion of a in a
33.765 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.765 * [taylor]: Taking taylor expansion of 1/3 in a
33.765 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.766 * [taylor]: Taking taylor expansion of (log1p a) in a
33.766 * [taylor]: Rewrote expression to (log (+ 1 a))
33.766 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.766 * [taylor]: Taking taylor expansion of 1 in a
33.766 * [taylor]: Taking taylor expansion of a in a
33.777 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
33.777 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.777 * [taylor]: Taking taylor expansion of 1/3 in a
33.777 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.777 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.777 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.777 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.777 * [taylor]: Taking taylor expansion of 1 in a
33.777 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.777 * [taylor]: Taking taylor expansion of a in a
33.778 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.779 * [taylor]: Taking taylor expansion of 1/3 in a
33.779 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.779 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.779 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.779 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.779 * [taylor]: Taking taylor expansion of 1 in a
33.779 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.779 * [taylor]: Taking taylor expansion of a in a
33.788 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
33.788 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.788 * [taylor]: Taking taylor expansion of 1/3 in a
33.788 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.788 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.788 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.788 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.788 * [taylor]: Taking taylor expansion of 1 in a
33.788 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.788 * [taylor]: Taking taylor expansion of -1 in a
33.788 * [taylor]: Taking taylor expansion of a in a
33.791 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.791 * [taylor]: Taking taylor expansion of 1/3 in a
33.791 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.791 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.791 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.791 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.791 * [taylor]: Taking taylor expansion of 1 in a
33.791 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.791 * [taylor]: Taking taylor expansion of -1 in a
33.791 * [taylor]: Taking taylor expansion of a in a
33.813 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
33.813 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
33.813 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.813 * [taylor]: Taking taylor expansion of 1/3 in a
33.813 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.813 * [taylor]: Taking taylor expansion of (log1p a) in a
33.813 * [taylor]: Rewrote expression to (log (+ 1 a))
33.813 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.813 * [taylor]: Taking taylor expansion of 1 in a
33.813 * [taylor]: Taking taylor expansion of a in a
33.815 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.815 * [taylor]: Taking taylor expansion of 1/3 in a
33.815 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.815 * [taylor]: Taking taylor expansion of (log1p a) in a
33.815 * [taylor]: Rewrote expression to (log (+ 1 a))
33.815 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.815 * [taylor]: Taking taylor expansion of 1 in a
33.815 * [taylor]: Taking taylor expansion of a in a
33.826 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
33.827 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.827 * [taylor]: Taking taylor expansion of 1/3 in a
33.827 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.827 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.827 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.827 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.827 * [taylor]: Taking taylor expansion of 1 in a
33.827 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.827 * [taylor]: Taking taylor expansion of a in a
33.828 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.828 * [taylor]: Taking taylor expansion of 1/3 in a
33.828 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.828 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.828 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.828 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.828 * [taylor]: Taking taylor expansion of 1 in a
33.828 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.828 * [taylor]: Taking taylor expansion of a in a
33.837 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
33.837 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.838 * [taylor]: Taking taylor expansion of 1/3 in a
33.838 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.838 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.838 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.838 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.838 * [taylor]: Taking taylor expansion of 1 in a
33.838 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.838 * [taylor]: Taking taylor expansion of -1 in a
33.838 * [taylor]: Taking taylor expansion of a in a
33.840 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.840 * [taylor]: Taking taylor expansion of 1/3 in a
33.840 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.840 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.840 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.840 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.840 * [taylor]: Taking taylor expansion of 1 in a
33.840 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.841 * [taylor]: Taking taylor expansion of -1 in a
33.841 * [taylor]: Taking taylor expansion of a in a
33.858 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
33.859 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
33.859 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.859 * [taylor]: Taking taylor expansion of 1/3 in a
33.859 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.859 * [taylor]: Taking taylor expansion of (log1p a) in a
33.859 * [taylor]: Rewrote expression to (log (+ 1 a))
33.859 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.859 * [taylor]: Taking taylor expansion of 1 in a
33.859 * [taylor]: Taking taylor expansion of a in a
33.861 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
33.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
33.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
33.861 * [taylor]: Taking taylor expansion of 1/3 in a
33.861 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.861 * [taylor]: Taking taylor expansion of (log1p a) in a
33.861 * [taylor]: Rewrote expression to (log (+ 1 a))
33.861 * [taylor]: Taking taylor expansion of (+ 1 a) in a
33.861 * [taylor]: Taking taylor expansion of 1 in a
33.861 * [taylor]: Taking taylor expansion of a in a
33.872 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
33.872 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.872 * [taylor]: Taking taylor expansion of 1/3 in a
33.872 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.872 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.872 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.872 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.872 * [taylor]: Taking taylor expansion of 1 in a
33.872 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.872 * [taylor]: Taking taylor expansion of a in a
33.874 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
33.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
33.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
33.874 * [taylor]: Taking taylor expansion of 1/3 in a
33.874 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.874 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.874 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
33.874 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
33.874 * [taylor]: Taking taylor expansion of 1 in a
33.874 * [taylor]: Taking taylor expansion of (/ 1 a) in a
33.874 * [taylor]: Taking taylor expansion of a in a
33.883 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
33.883 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.883 * [taylor]: Taking taylor expansion of 1/3 in a
33.883 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.883 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.883 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.883 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.883 * [taylor]: Taking taylor expansion of 1 in a
33.883 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.883 * [taylor]: Taking taylor expansion of -1 in a
33.883 * [taylor]: Taking taylor expansion of a in a
33.886 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
33.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
33.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
33.886 * [taylor]: Taking taylor expansion of 1/3 in a
33.886 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.886 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.886 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
33.886 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
33.886 * [taylor]: Taking taylor expansion of 1 in a
33.886 * [taylor]: Taking taylor expansion of (/ -1 a) in a
33.886 * [taylor]: Taking taylor expansion of -1 in a
33.886 * [taylor]: Taking taylor expansion of a in a
33.907 * * * [progress]: simplifying candidates
33.907 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
33.910 * * [simplify]: iteration  0 :  89  enodes  (cost  876 )
33.926 * * [simplify]: iteration  1 :  217  enodes  (cost  816 )
33.972 * * [simplify]: iteration  2 :  653  enodes  (cost  665 )
34.173 * * [simplify]: iteration  3 :  3078  enodes  (cost  542 )
35.192 * * [simplify]: iteration  done :  5000  enodes  (cost  521 )
35.192 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (cbrt (pow a 4)) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a)))
  (+ (cbrt (log a)) (+ (* (/ (cbrt (/ -1 (pow (- (log a)) 5))) (pow a 2)) -1/9) (* (cbrt (/ -1 (pow (log a) 2))) (- (/ 1/6 (pow a 2)) (/ 1/3 a)))))
  (- (* (cbrt (/ 1 (pow (log a) 2))) (- (/ 1/3 a) (/ 1/6 (pow a 2)))) (- (* (cbrt (/ 1 (pow (log a) 5))) (/ (/ 1/9 a) a)) (cbrt (log a))))
  (fma (cbrt (pow a 4)) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a)))
  (+ (cbrt (log a)) (+ (* (/ (cbrt (/ -1 (pow (- (log a)) 5))) (pow a 2)) -1/9) (* (cbrt (/ -1 (pow (log a) 2))) (- (/ 1/6 (pow a 2)) (/ 1/3 a)))))
  (- (* (cbrt (/ 1 (pow (log a) 2))) (- (/ 1/3 a) (/ 1/6 (pow a 2)))) (- (* (cbrt (/ 1 (pow (log a) 5))) (/ (/ 1/9 a) a)) (cbrt (log a))))
  (fma (cbrt (pow a 4)) -1/6 (fma 1/12 (cbrt (pow a 7)) (cbrt a)))
  (+ (cbrt (log a)) (+ (* (/ (cbrt (/ -1 (pow (- (log a)) 5))) (pow a 2)) -1/9) (* (cbrt (/ -1 (pow (log a) 2))) (- (/ 1/6 (pow a 2)) (/ 1/3 a)))))
  (- (* (cbrt (/ 1 (pow (log a) 2))) (- (/ 1/3 a) (/ 1/6 (pow a 2)))) (- (* (cbrt (/ 1 (pow (log a) 5))) (/ (/ 1/9 a) a)) (cbrt (log a))))
35.193 * * * [progress]: adding candidates to table
35.385 * * [progress]: iteration 3 / 4
35.385 * * * [progress]: picking best candidate
35.430 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))>
35.430 * * * [progress]: localizing error
35.448 * * * [progress]: generating rewritten candidates
35.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
35.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
35.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
35.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
35.451 * * * [progress]: generating series expansions
35.451 * * * * [progress]: [ 1 / 4 ] generating series at (2)
35.451 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
35.451 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
35.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
35.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
35.452 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
35.452 * [taylor]: Taking taylor expansion of 0 in a
35.452 * [taylor]: Taking taylor expansion of 0 in a
35.452 * [taylor]: Taking taylor expansion of 0 in a
35.452 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
35.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
35.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
35.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
35.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
35.453 * [taylor]: Taking taylor expansion of 0 in a
35.453 * [taylor]: Taking taylor expansion of 0 in a
35.453 * [taylor]: Taking taylor expansion of 0 in a
35.453 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
35.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
35.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
35.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
35.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
35.454 * [taylor]: Taking taylor expansion of 0 in a
35.454 * [taylor]: Taking taylor expansion of 0 in a
35.454 * [taylor]: Taking taylor expansion of 0 in a
35.454 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
35.454 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
35.454 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
35.454 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
35.454 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
35.454 * [taylor]: Taking taylor expansion of 1/9 in a
35.454 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.454 * [taylor]: Taking taylor expansion of (log1p a) in a
35.454 * [taylor]: Rewrote expression to (log (+ 1 a))
35.454 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.454 * [taylor]: Taking taylor expansion of 1 in a
35.454 * [taylor]: Taking taylor expansion of a in a
35.457 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
35.457 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
35.457 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
35.457 * [taylor]: Taking taylor expansion of 1/9 in a
35.457 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.457 * [taylor]: Taking taylor expansion of (log1p a) in a
35.457 * [taylor]: Rewrote expression to (log (+ 1 a))
35.457 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.457 * [taylor]: Taking taylor expansion of 1 in a
35.457 * [taylor]: Taking taylor expansion of a in a
35.469 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
35.469 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
35.469 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
35.469 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
35.469 * [taylor]: Taking taylor expansion of 1/9 in a
35.469 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.469 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.469 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.469 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.469 * [taylor]: Taking taylor expansion of 1 in a
35.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.469 * [taylor]: Taking taylor expansion of a in a
35.470 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
35.470 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
35.470 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
35.470 * [taylor]: Taking taylor expansion of 1/9 in a
35.470 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.470 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.470 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.470 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.470 * [taylor]: Taking taylor expansion of 1 in a
35.470 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.470 * [taylor]: Taking taylor expansion of a in a
35.480 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
35.480 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
35.480 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
35.480 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
35.480 * [taylor]: Taking taylor expansion of 1/9 in a
35.480 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.480 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.480 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.480 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.480 * [taylor]: Taking taylor expansion of 1 in a
35.480 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.480 * [taylor]: Taking taylor expansion of -1 in a
35.480 * [taylor]: Taking taylor expansion of a in a
35.483 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
35.483 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
35.483 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
35.483 * [taylor]: Taking taylor expansion of 1/9 in a
35.483 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.483 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.483 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.483 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.483 * [taylor]: Taking taylor expansion of 1 in a
35.483 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.483 * [taylor]: Taking taylor expansion of -1 in a
35.483 * [taylor]: Taking taylor expansion of a in a
35.501 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
35.502 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
35.502 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
35.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
35.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
35.502 * [taylor]: Taking taylor expansion of 1/3 in a
35.502 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.502 * [taylor]: Taking taylor expansion of (log1p a) in a
35.502 * [taylor]: Rewrote expression to (log (+ 1 a))
35.502 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.502 * [taylor]: Taking taylor expansion of 1 in a
35.502 * [taylor]: Taking taylor expansion of a in a
35.504 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
35.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
35.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
35.504 * [taylor]: Taking taylor expansion of 1/3 in a
35.504 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.504 * [taylor]: Taking taylor expansion of (log1p a) in a
35.504 * [taylor]: Rewrote expression to (log (+ 1 a))
35.504 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.504 * [taylor]: Taking taylor expansion of 1 in a
35.504 * [taylor]: Taking taylor expansion of a in a
35.516 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
35.516 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
35.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
35.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
35.516 * [taylor]: Taking taylor expansion of 1/3 in a
35.516 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.516 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.516 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.516 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.516 * [taylor]: Taking taylor expansion of 1 in a
35.516 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.516 * [taylor]: Taking taylor expansion of a in a
35.517 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
35.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
35.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
35.517 * [taylor]: Taking taylor expansion of 1/3 in a
35.517 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.517 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.517 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.517 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.517 * [taylor]: Taking taylor expansion of 1 in a
35.517 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.517 * [taylor]: Taking taylor expansion of a in a
35.530 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
35.530 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
35.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
35.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
35.530 * [taylor]: Taking taylor expansion of 1/3 in a
35.530 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.530 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.530 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.530 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.530 * [taylor]: Taking taylor expansion of 1 in a
35.530 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.530 * [taylor]: Taking taylor expansion of -1 in a
35.530 * [taylor]: Taking taylor expansion of a in a
35.533 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
35.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
35.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
35.533 * [taylor]: Taking taylor expansion of 1/3 in a
35.533 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.533 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.533 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.533 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.533 * [taylor]: Taking taylor expansion of 1 in a
35.533 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.533 * [taylor]: Taking taylor expansion of -1 in a
35.533 * [taylor]: Taking taylor expansion of a in a
35.552 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
35.552 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
35.552 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
35.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
35.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
35.552 * [taylor]: Taking taylor expansion of 1/3 in a
35.552 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.552 * [taylor]: Taking taylor expansion of (log1p a) in a
35.552 * [taylor]: Rewrote expression to (log (+ 1 a))
35.552 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.552 * [taylor]: Taking taylor expansion of 1 in a
35.552 * [taylor]: Taking taylor expansion of a in a
35.554 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
35.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
35.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
35.554 * [taylor]: Taking taylor expansion of 1/3 in a
35.554 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
35.554 * [taylor]: Taking taylor expansion of (log1p a) in a
35.554 * [taylor]: Rewrote expression to (log (+ 1 a))
35.554 * [taylor]: Taking taylor expansion of (+ 1 a) in a
35.554 * [taylor]: Taking taylor expansion of 1 in a
35.554 * [taylor]: Taking taylor expansion of a in a
35.566 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
35.566 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
35.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
35.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
35.566 * [taylor]: Taking taylor expansion of 1/3 in a
35.566 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.566 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.566 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.567 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.567 * [taylor]: Taking taylor expansion of 1 in a
35.567 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.567 * [taylor]: Taking taylor expansion of a in a
35.568 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
35.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
35.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
35.568 * [taylor]: Taking taylor expansion of 1/3 in a
35.568 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
35.568 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
35.568 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
35.568 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
35.568 * [taylor]: Taking taylor expansion of 1 in a
35.568 * [taylor]: Taking taylor expansion of (/ 1 a) in a
35.568 * [taylor]: Taking taylor expansion of a in a
35.578 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
35.578 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
35.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
35.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
35.578 * [taylor]: Taking taylor expansion of 1/3 in a
35.578 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.578 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.578 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.578 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.578 * [taylor]: Taking taylor expansion of 1 in a
35.578 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.578 * [taylor]: Taking taylor expansion of -1 in a
35.578 * [taylor]: Taking taylor expansion of a in a
35.580 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
35.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
35.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
35.581 * [taylor]: Taking taylor expansion of 1/3 in a
35.581 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
35.581 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
35.581 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
35.581 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
35.581 * [taylor]: Taking taylor expansion of 1 in a
35.581 * [taylor]: Taking taylor expansion of (/ -1 a) in a
35.581 * [taylor]: Taking taylor expansion of -1 in a
35.581 * [taylor]: Taking taylor expansion of a in a
35.599 * * * [progress]: simplifying candidates
35.600 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))) (* 1/18 (pow (pow a 10) 1/9)))
  (- (+ (* 1/18 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/9)) (+ (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (- (+ (* 1/9 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (pow (- (log -1) (log (/ -1 a))) 1/9)) (+ (* 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
  (- (+ (* 1/12 (pow (pow a 7) 1/3)) (pow a 1/3)) (* 1/6 (pow (pow a 4) 1/3)))
  (- (+ (* 1/6 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/3)) (+ (* 1/3 (* (pow (/ -1 (pow (log (/ 1 a)) 2)) 1/3) (/ 1 a))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 5)) 1/3) (/ 1 (pow a 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 a))) 1/3) (* 1/3 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))) (+ (* 1/9 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)) 1/3))) (* 1/6 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 2)) 1/3)))))
35.607 * * [simplify]: iteration  0 :  153  enodes  (cost  1045 )
35.636 * * [simplify]: iteration  1 :  386  enodes  (cost  995 )
35.722 * * [simplify]: iteration  2 :  1226  enodes  (cost  881 )
36.013 * * [simplify]: iteration  done :  5001  enodes  (cost  833 )
36.013 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (pow (cbrt (cbrt (log1p a))) 3)
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (pow (cbrt (log1p a)) 3)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (expm1 (cbrt (log1p a)))
  (log1p (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (pow (cbrt (log1p a)) 3)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))
  (fma (/ (pow (/ -1 (pow (- (log a)) 8)) 1/9) (pow a 2)) 1/18 (- (pow (log a) 1/9) (fma 1/9 (/ (pow (/ -1 (pow (- (log a)) 8)) 1/9) a) (/ (* 4/81 (pow (/ -1 (pow (- (log a)) 17)) 1/9)) (pow a 2)))))
  (+ (pow (- (log -1) (log (/ -1 a))) 1/9) (- (* (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (* (/ (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9) (pow a 2)) 4/81)))
  (- (fma 1/12 (cbrt (pow a 7)) (cbrt a)) (* 1/6 (cbrt (pow a 4))))
  (- (+ (* (cbrt (/ -1 (pow (- (log a)) 2))) (- (/ 1/6 (pow a 2)) (/ 1/3 a))) (cbrt (log a))) (* (/ (cbrt (/ -1 (pow (- (log a)) 5))) (pow a 2)) 1/9))
  (- (+ (cbrt (- (log -1) (log (/ -1 a)))) (* (cbrt (/ 1 (pow (- (log -1) (log (/ -1 a))) 2))) (- (/ 1/3 a) (/ 1/6 (pow a 2))))) (* (/ 1/9 (pow a 2)) (cbrt (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)))))
  (- (fma 1/12 (cbrt (pow a 7)) (cbrt a)) (* 1/6 (cbrt (pow a 4))))
  (- (+ (* (cbrt (/ -1 (pow (- (log a)) 2))) (- (/ 1/6 (pow a 2)) (/ 1/3 a))) (cbrt (log a))) (* (/ (cbrt (/ -1 (pow (- (log a)) 5))) (pow a 2)) 1/9))
  (- (+ (cbrt (- (log -1) (log (/ -1 a)))) (* (cbrt (/ 1 (pow (- (log -1) (log (/ -1 a))) 2))) (- (/ 1/3 a) (/ 1/6 (pow a 2))))) (* (/ 1/9 (pow a 2)) (cbrt (/ 1 (pow (- (log -1) (log (/ -1 a))) 5)))))
36.014 * * * [progress]: adding candidates to table
36.303 * * [progress]: iteration 4 / 4
36.303 * * * [progress]: picking best candidate
36.409 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))>
36.410 * * * [progress]: localizing error
36.438 * * * [progress]: generating rewritten candidates
36.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
36.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
36.439 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
36.439 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1 2)
36.441 * * * [progress]: generating series expansions
36.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
36.441 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
36.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.442 * [taylor]: Taking taylor expansion of 0 in a
36.442 * [taylor]: Taking taylor expansion of 0 in a
36.442 * [taylor]: Taking taylor expansion of 0 in a
36.442 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
36.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.443 * [taylor]: Taking taylor expansion of 0 in a
36.443 * [taylor]: Taking taylor expansion of 0 in a
36.443 * [taylor]: Taking taylor expansion of 0 in a
36.443 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
36.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.444 * [taylor]: Taking taylor expansion of 0 in a
36.444 * [taylor]: Taking taylor expansion of 0 in a
36.444 * [taylor]: Taking taylor expansion of 0 in a
36.444 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
36.444 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
36.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.444 * [taylor]: Taking taylor expansion of 0 in a
36.445 * [taylor]: Taking taylor expansion of 0 in a
36.445 * [taylor]: Taking taylor expansion of 0 in a
36.445 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
36.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.445 * [taylor]: Taking taylor expansion of 0 in a
36.445 * [taylor]: Taking taylor expansion of 0 in a
36.446 * [taylor]: Taking taylor expansion of 0 in a
36.446 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
36.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.447 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
36.447 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
36.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
36.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.447 * [taylor]: Taking taylor expansion of 0 in a
36.448 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
36.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
36.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
36.448 * [taylor]: Taking taylor expansion of 0 in a
36.448 * [taylor]: Taking taylor expansion of 0 in a
36.448 * [taylor]: Taking taylor expansion of 0 in a
36.449 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
36.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
36.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
36.450 * [taylor]: Taking taylor expansion of 0 in a
36.450 * [taylor]: Taking taylor expansion of 0 in a
36.450 * [taylor]: Taking taylor expansion of 0 in a
36.450 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1 2)
36.450 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
36.450 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
36.450 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
36.450 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
36.450 * [taylor]: Taking taylor expansion of 1/9 in a
36.450 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
36.450 * [taylor]: Taking taylor expansion of (log1p a) in a
36.450 * [taylor]: Rewrote expression to (log (+ 1 a))
36.450 * [taylor]: Taking taylor expansion of (+ 1 a) in a
36.450 * [taylor]: Taking taylor expansion of 1 in a
36.450 * [taylor]: Taking taylor expansion of a in a
36.452 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
36.452 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
36.452 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
36.452 * [taylor]: Taking taylor expansion of 1/9 in a
36.452 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
36.453 * [taylor]: Taking taylor expansion of (log1p a) in a
36.453 * [taylor]: Rewrote expression to (log (+ 1 a))
36.453 * [taylor]: Taking taylor expansion of (+ 1 a) in a
36.453 * [taylor]: Taking taylor expansion of 1 in a
36.453 * [taylor]: Taking taylor expansion of a in a
36.464 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
36.464 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
36.464 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
36.464 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
36.464 * [taylor]: Taking taylor expansion of 1/9 in a
36.464 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
36.464 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
36.464 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
36.464 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
36.464 * [taylor]: Taking taylor expansion of 1 in a
36.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a
36.464 * [taylor]: Taking taylor expansion of a in a
36.466 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
36.466 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
36.466 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
36.466 * [taylor]: Taking taylor expansion of 1/9 in a
36.466 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
36.466 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
36.466 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
36.466 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
36.466 * [taylor]: Taking taylor expansion of 1 in a
36.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a
36.466 * [taylor]: Taking taylor expansion of a in a
36.475 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
36.475 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
36.475 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
36.475 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
36.475 * [taylor]: Taking taylor expansion of 1/9 in a
36.475 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
36.475 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
36.476 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
36.476 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
36.476 * [taylor]: Taking taylor expansion of 1 in a
36.476 * [taylor]: Taking taylor expansion of (/ -1 a) in a
36.476 * [taylor]: Taking taylor expansion of -1 in a
36.476 * [taylor]: Taking taylor expansion of a in a
36.478 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
36.478 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
36.478 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
36.478 * [taylor]: Taking taylor expansion of 1/9 in a
36.478 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
36.478 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
36.478 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
36.478 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
36.478 * [taylor]: Taking taylor expansion of 1 in a
36.478 * [taylor]: Taking taylor expansion of (/ -1 a) in a
36.478 * [taylor]: Taking taylor expansion of -1 in a
36.478 * [taylor]: Taking taylor expansion of a in a
36.500 * * * [progress]: simplifying candidates
36.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (- (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))) (* 1/18 (pow (pow a 10) 1/9)))
  (- (+ (* 1/18 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 (pow a 2)))) (pow (- (log (/ 1 a))) 1/9)) (+ (* 4/81 (* (pow (/ -1 (pow (log (/ 1 a)) 17)) 1/9) (/ 1 (pow a 2)))) (* 1/9 (* (pow (/ -1 (pow (log (/ 1 a)) 8)) 1/9) (/ 1 a)))))
  (- (+ (* 1/9 (* (/ 1 a) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (pow (- (log -1) (log (/ -1 a))) 1/9)) (+ (* 1/18 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 8)) 1/9))) (* 4/81 (* (/ 1 (pow a 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 a))) 17)) 1/9)))))
36.505 * * [simplify]: iteration  0 :  101  enodes  (cost  1221 )
36.522 * * [simplify]: iteration  1 :  227  enodes  (cost  1211 )
36.568 * * [simplify]: iteration  2 :  621  enodes  (cost  1043 )
36.755 * * [simplify]: iteration  3 :  2813  enodes  (cost  1018 )
37.701 * * [simplify]: iteration  done :  5000  enodes  (cost  1012 )
37.702 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log1p (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (pow (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) 3)
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (expm1 (cbrt (cbrt (log1p a))))
  (log1p (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))
  (fma (/ (pow (/ -1 (pow (- (log a)) 8)) 1/9) (pow a 2)) 1/18 (- (pow (log a) 1/9) (fma 4/81 (/ (pow (/ -1 (pow (- (log a)) 17)) 1/9) (pow a 2)) (/ (* 1/9 (pow (/ -1 (pow (- (log a)) 8)) 1/9)) a))))
  (+ (pow (log a) 1/9) (- (* (pow (/ 1 (pow (log a) 8)) 1/9) (- (/ 1/9 a) (/ 1/18 (pow a 2)))) (* (/ 4/81 (pow a 2)) (pow (/ 1 (pow (log a) 17)) 1/9))))
37.702 * * * [progress]: adding candidates to table
37.974 * [progress]: [Phase 3 of 3] Extracting.
37.974 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
37.999 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
37.999 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
38.174 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
38.328 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
38.510 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (log (exp (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) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>)
38.544 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
38.714 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (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))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (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 (pow (cbrt (log1p a)) 3)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (- (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)) (* 1/18 (pow (pow a 10) 1/9)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (sqrt (cbrt (log1p a))) (sqrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (fma (pow (pow a 10) 1/9) -1/18 (fma 2/81 (pow (pow a 19) 1/9) (pow a 1/9)))) (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 (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/3)) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (pow (cbrt (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 (pow (cbrt (log1p a)) 3))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (pow (cbrt (cbrt (log1p a))) 3))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (exp (log (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (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 (log1p a)))) (cbrt (cbrt (log1p a)))) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (pow (log1p a) 1/3)) (cbrt (log1p a)))))>)
38.886 * * * [regime]: Found split indices: #<option (#s(si 11 255))>
38.886 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a))))))
38.887 * * [simplify]: iteration  0 :  23  enodes  (cost  88 )
38.888 * * [simplify]: iteration  1 :  31  enodes  (cost  88 )
38.888 * * [simplify]: iteration  done :  31  enodes  (cost  88 )
38.889 * [simplify]: Simplified to:
   (* (* (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))) (cbrt (fmod (cosh c) (* (* (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (* (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a))))))
51.756 * [regime-testing]: Baseline error score: 33.847539793763666
51.756 * [regime-testing]: Oracle error score: 31.826107021453986
51.758 * [regime-testing]: End program error score: 33.847539793763666