23.365 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.316 * * * [progress]: [2/2] Setting up program.
0.319 * [progress]: [Phase 2 of 3] Improving.
0.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (cosh c) (log1p a))
0.320 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.320 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.321 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.323 * * [simplify]: iteration  3 :  16  enodes  (cost  5 )
0.324 * * [simplify]: iteration  4 :  18  enodes  (cost  5 )
0.326 * * [simplify]: iteration  5 :  19  enodes  (cost  5 )
0.328 * * [simplify]: iteration  6 :  25  enodes  (cost  5 )
0.332 * * [simplify]: iteration  7 :  35  enodes  (cost  5 )
0.341 * * [simplify]: iteration  8 :  58  enodes  (cost  5 )
0.364 * * [simplify]: iteration  9 :  149  enodes  (cost  5 )
0.655 * * [simplify]: iteration  10 :  1455  enodes  (cost  5 )
27.261 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
27.261 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
27.261 * * [progress]: iteration 1 / 4
27.261 * * * [progress]: picking best candidate
27.263 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
27.263 * * * [progress]: localizing error
27.273 * * * [progress]: generating rewritten candidates
27.273 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
27.274 * * * [progress]: generating series expansions
27.274 * * * * [progress]: [ 1 / 1 ] generating series at (2)
27.274 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
27.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.274 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.274 * [taylor]: Taking taylor expansion of 0 in a
27.274 * [taylor]: Taking taylor expansion of 0 in a
27.274 * [taylor]: Taking taylor expansion of 0 in a
27.274 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
27.274 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.275 * [taylor]: Taking taylor expansion of 0 in a
27.275 * [taylor]: Taking taylor expansion of 0 in a
27.275 * [taylor]: Taking taylor expansion of 0 in a
27.275 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.276 * [taylor]: Taking taylor expansion of 0 in a
27.276 * [taylor]: Taking taylor expansion of 0 in a
27.276 * [taylor]: Taking taylor expansion of 0 in a
27.276 * * * [progress]: simplifying candidates
27.276 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
27.277 * * [simplify]: iteration  0 :  12  enodes  (cost  75 )
27.278 * * [simplify]: iteration  1 :  19  enodes  (cost  75 )
27.280 * * [simplify]: iteration  2 :  24  enodes  (cost  65 )
27.283 * * [simplify]: iteration  3 :  30  enodes  (cost  65 )
27.288 * * [simplify]: iteration  4 :  38  enodes  (cost  65 )
27.295 * * [simplify]: iteration  5 :  62  enodes  (cost  65 )
27.312 * * [simplify]: iteration  6 :  125  enodes  (cost  65 )
27.374 * * [simplify]: iteration  7 :  456  enodes  (cost  65 )
27.748 * * [simplify]: iteration  8 :  1411  enodes  (cost  65 )
28.897 * * [simplify]: iteration  done :  5001  enodes  (cost  65 )
28.898 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
28.898 * * * [progress]: adding candidates to table
28.917 * * [progress]: iteration 2 / 4
28.917 * * * [progress]: picking best candidate
28.933 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
28.933 * * * [progress]: localizing error
28.941 * * * [progress]: generating rewritten candidates
28.941 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
28.941 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
28.941 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
28.950 * * * [progress]: generating series expansions
28.950 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
28.950 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
28.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.950 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.951 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
28.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.951 * [taylor]: Taking taylor expansion of 0 in a
28.952 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
28.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.952 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.952 * [taylor]: Taking taylor expansion of 0 in a
28.952 * [taylor]: Taking taylor expansion of 0 in a
28.952 * [taylor]: Taking taylor expansion of 0 in a
28.952 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
28.952 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
28.952 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.953 * [taylor]: Taking taylor expansion of 0 in a
28.953 * [taylor]: Taking taylor expansion of 0 in a
28.953 * [taylor]: Taking taylor expansion of 0 in a
28.953 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.953 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.953 * [taylor]: Taking taylor expansion of 0 in a
28.953 * [taylor]: Taking taylor expansion of 0 in a
28.954 * [taylor]: Taking taylor expansion of 0 in a
28.954 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
28.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.954 * [taylor]: Taking taylor expansion of 0 in a
28.954 * [taylor]: Taking taylor expansion of 0 in a
28.954 * [taylor]: Taking taylor expansion of 0 in a
28.954 * * * * [progress]: [ 3 / 3 ] generating series at (2)
28.955 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
28.955 * [taylor]: Taking taylor expansion of 0 in a
28.955 * [taylor]: Taking taylor expansion of 0 in a
28.955 * [taylor]: Taking taylor expansion of 0 in a
28.955 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
28.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.956 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
28.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
28.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.956 * [taylor]: Taking taylor expansion of 0 in a
28.957 * * * [progress]: simplifying candidates
28.957 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (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/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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))
  (fmod (cosh c) (log1p a))
28.960 * * [simplify]: iteration  0 :  56  enodes  (cost  978 )
28.970 * * [simplify]: iteration  1 :  94  enodes  (cost  616 )
28.999 * * [simplify]: iteration  2 :  314  enodes  (cost  536 )
29.224 * * [simplify]: iteration  3 :  1641  enodes  (cost  509 )
30.527 * * [simplify]: iteration  done :  5001  enodes  (cost  509 )
30.528 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (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
  1
  2
  1
  1
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (* (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)
  (pow (sqrt (fmod (cosh c) (log1p a))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (fmod (cosh c) (log1p a))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (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))
  (fmod (cosh c) (log1p a))
30.528 * * * [progress]: adding candidates to table
30.631 * * [progress]: iteration 3 / 4
30.631 * * * [progress]: picking best candidate
30.654 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
30.654 * * * [progress]: localizing error
30.667 * * * [progress]: generating rewritten candidates
30.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
30.668 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
30.668 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
30.671 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
30.696 * * * [progress]: generating series expansions
30.696 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
30.696 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
30.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.696 * [taylor]: Taking taylor expansion of 0 in a
30.696 * [taylor]: Taking taylor expansion of 0 in a
30.696 * [taylor]: Taking taylor expansion of 0 in a
30.696 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
30.696 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.697 * [taylor]: Taking taylor expansion of 0 in a
30.697 * [taylor]: Taking taylor expansion of 0 in a
30.697 * [taylor]: Taking taylor expansion of 0 in a
30.697 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.697 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
30.698 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
30.698 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.698 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.698 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.698 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * [taylor]: Taking taylor expansion of 0 in a
30.698 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
30.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.699 * [taylor]: Taking taylor expansion of 0 in a
30.699 * [taylor]: Taking taylor expansion of 0 in a
30.699 * [taylor]: Taking taylor expansion of 0 in a
30.699 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.700 * [taylor]: Taking taylor expansion of 0 in a
30.700 * [taylor]: Taking taylor expansion of 0 in a
30.700 * [taylor]: Taking taylor expansion of 0 in a
30.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
30.700 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in (c a) around 0
30.700 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in a
30.700 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
30.700 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
30.700 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
30.700 * [taylor]: Taking taylor expansion of 1/4 in a
30.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
30.700 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.700 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
30.700 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
30.700 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
30.700 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
30.700 * [taylor]: Taking taylor expansion of 1/4 in c
30.700 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
30.700 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.701 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) 3) in c
30.701 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
30.701 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
30.701 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
30.701 * [taylor]: Taking taylor expansion of 1/4 in c
30.701 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
30.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.701 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
30.701 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
30.701 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
30.701 * [taylor]: Taking taylor expansion of 1/4 in a
30.701 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
30.701 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
30.701 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.704 * [taylor]: Taking taylor expansion of 0 in a
30.710 * [taylor]: Taking taylor expansion of 0 in a
30.718 * [taylor]: Taking taylor expansion of 0 in a
30.719 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in (c a) around 0
30.719 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in a
30.719 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
30.719 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
30.719 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
30.719 * [taylor]: Taking taylor expansion of 1/4 in a
30.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
30.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.719 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
30.719 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
30.719 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
30.719 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
30.719 * [taylor]: Taking taylor expansion of 1/4 in c
30.719 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
30.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.719 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) 3) in c
30.719 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
30.719 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
30.720 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
30.720 * [taylor]: Taking taylor expansion of 1/4 in c
30.720 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
30.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.720 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
30.720 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
30.720 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
30.720 * [taylor]: Taking taylor expansion of 1/4 in a
30.720 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
30.720 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
30.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.723 * [taylor]: Taking taylor expansion of 0 in a
30.728 * [taylor]: Taking taylor expansion of 0 in a
30.737 * [taylor]: Taking taylor expansion of 0 in a
30.737 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in (c a) around 0
30.737 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in a
30.737 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
30.737 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
30.737 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
30.737 * [taylor]: Taking taylor expansion of 1/4 in a
30.737 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
30.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.738 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
30.738 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
30.738 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
30.738 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
30.738 * [taylor]: Taking taylor expansion of 1/4 in c
30.738 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
30.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.738 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) 3) in c
30.738 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
30.738 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
30.738 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
30.738 * [taylor]: Taking taylor expansion of 1/4 in c
30.738 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
30.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.739 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
30.739 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
30.739 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
30.739 * [taylor]: Taking taylor expansion of 1/4 in a
30.739 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
30.739 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
30.739 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.742 * [taylor]: Taking taylor expansion of 0 in a
30.747 * [taylor]: Taking taylor expansion of 0 in a
30.759 * [taylor]: Taking taylor expansion of 0 in a
30.759 * * * * [progress]: [ 4 / 4 ] generating series at (2)
30.759 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
30.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
30.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
30.760 * [taylor]: Taking taylor expansion of 0 in a
30.760 * [taylor]: Taking taylor expansion of 0 in a
30.760 * [taylor]: Taking taylor expansion of 0 in a
30.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
30.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
30.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
30.760 * [taylor]: Taking taylor expansion of 0 in a
30.760 * [taylor]: Taking taylor expansion of 0 in a
30.761 * [taylor]: Taking taylor expansion of 0 in a
30.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
30.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
30.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
30.761 * [taylor]: Taking taylor expansion of 0 in a
30.761 * [taylor]: Taking taylor expansion of 0 in a
30.761 * [taylor]: Taking taylor expansion of 0 in a
30.762 * * * [progress]: simplifying candidates
30.763 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/2 2) 3)
  (* (/ 1 2) 3)
  (* (/ (/ 1 2) 2) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (/ 3 2)
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2))
  (+ 3 1)
  (+ 3 1)
  (+ (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (+ (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (+ (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (cbrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (sqrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (sqrt (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt 1)))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt 1))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) 1)
  (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ 3 2)) (sqrt (sqrt (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 (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
30.768 * * [simplify]: iteration  0 :  100  enodes  (cost  2598 )
30.789 * * [simplify]: iteration  1 :  249  enodes  (cost  1812 )
30.868 * * [simplify]: iteration  2 :  1054  enodes  (cost  1583 )
31.510 * * [simplify]: iteration  done :  5000  enodes  (cost  1583 )
31.511 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  3/2
  3
  3/4
  3/2
  3/4
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  3/2
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2)
  4
  4
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 12)
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 12)
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3/2) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
  (* (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 5/2)
  (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 (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
31.511 * * * [progress]: adding candidates to table
31.757 * * [progress]: iteration 4 / 4
31.757 * * * [progress]: picking best candidate
31.814 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
31.814 * * * [progress]: localizing error
31.829 * * * [progress]: generating rewritten candidates
31.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
31.829 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
31.829 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
31.835 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
31.840 * * * [progress]: generating series expansions
31.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
31.841 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.841 * [taylor]: Taking taylor expansion of 0 in a
31.841 * [taylor]: Taking taylor expansion of 0 in a
31.841 * [taylor]: Taking taylor expansion of 0 in a
31.841 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.841 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.842 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
31.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.842 * [taylor]: Taking taylor expansion of 0 in a
31.843 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
31.843 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.843 * [taylor]: Taking taylor expansion of 0 in a
31.843 * [taylor]: Taking taylor expansion of 0 in a
31.843 * [taylor]: Taking taylor expansion of 0 in a
31.843 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.843 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.844 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
31.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.844 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.844 * [taylor]: Taking taylor expansion of 0 in a
31.845 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
31.845 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3)) in (c a) around 0
31.845 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3)) in a
31.846 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))))) in a
31.846 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)))) in a
31.846 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.846 * [taylor]: Taking taylor expansion of 3 in a
31.846 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))) in a
31.846 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in a
31.846 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in a
31.846 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in a
31.846 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.846 * [taylor]: Taking taylor expansion of 3 in a
31.849 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in a
31.850 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
31.850 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
31.850 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
31.850 * [taylor]: Taking taylor expansion of 1/4 in a
31.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
31.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.852 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3)) in c
31.852 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))))) in c
31.852 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)))) in c
31.852 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.852 * [taylor]: Taking taylor expansion of 3 in c
31.853 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))) in c
31.853 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in c
31.853 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in c
31.853 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in c
31.853 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.853 * [taylor]: Taking taylor expansion of 3 in c
31.854 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in c
31.854 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
31.854 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
31.854 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
31.854 * [taylor]: Taking taylor expansion of 1/4 in c
31.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
31.854 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.857 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3)) in c
31.857 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))))) in c
31.857 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)))) in c
31.857 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.857 * [taylor]: Taking taylor expansion of 3 in c
31.857 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))) in c
31.857 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in c
31.857 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in c
31.857 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in c
31.857 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.857 * [taylor]: Taking taylor expansion of 3 in c
31.858 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in c
31.858 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
31.858 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
31.858 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
31.858 * [taylor]: Taking taylor expansion of 1/4 in c
31.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
31.858 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.861 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3)) in a
31.861 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))))) in a
31.861 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)))) in a
31.861 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.861 * [taylor]: Taking taylor expansion of 3 in a
31.862 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))) in a
31.862 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in a
31.862 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in a
31.862 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in a
31.862 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.862 * [taylor]: Taking taylor expansion of 3 in a
31.863 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in a
31.863 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
31.863 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
31.863 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
31.863 * [taylor]: Taking taylor expansion of 1/4 in a
31.863 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
31.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.872 * [taylor]: Taking taylor expansion of 0 in a
31.887 * [taylor]: Taking taylor expansion of 0 in a
31.911 * [taylor]: Taking taylor expansion of 0 in a
31.913 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) (sqrt 3)) in (c a) around 0
31.913 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) (sqrt 3)) in a
31.913 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))))) in a
31.913 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)))) in a
31.913 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.913 * [taylor]: Taking taylor expansion of 3 in a
31.914 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))) in a
31.914 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in a
31.914 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in a
31.914 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in a
31.914 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.914 * [taylor]: Taking taylor expansion of 3 in a
31.915 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in a
31.915 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
31.915 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
31.915 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
31.915 * [taylor]: Taking taylor expansion of 1/4 in a
31.915 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
31.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.918 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) (sqrt 3)) in c
31.918 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))))) in c
31.918 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)))) in c
31.918 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.918 * [taylor]: Taking taylor expansion of 3 in c
31.918 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))) in c
31.918 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in c
31.918 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in c
31.918 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in c
31.918 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.918 * [taylor]: Taking taylor expansion of 3 in c
31.919 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in c
31.919 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
31.919 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
31.919 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
31.919 * [taylor]: Taking taylor expansion of 1/4 in c
31.919 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
31.919 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.922 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) (sqrt 3)) in c
31.922 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))))) in c
31.922 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)))) in c
31.922 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.922 * [taylor]: Taking taylor expansion of 3 in c
31.923 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))) in c
31.923 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in c
31.923 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in c
31.923 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in c
31.923 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.923 * [taylor]: Taking taylor expansion of 3 in c
31.924 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in c
31.924 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
31.924 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
31.924 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
31.924 * [taylor]: Taking taylor expansion of 1/4 in c
31.924 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
31.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.927 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) (sqrt 3)) in a
31.927 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))))) in a
31.927 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)))) in a
31.927 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.927 * [taylor]: Taking taylor expansion of 3 in a
31.927 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3))) in a
31.927 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in a
31.927 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in a
31.927 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in a
31.928 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.928 * [taylor]: Taking taylor expansion of 3 in a
31.928 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in a
31.928 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
31.928 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
31.928 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
31.928 * [taylor]: Taking taylor expansion of 1/4 in a
31.928 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
31.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.940 * [taylor]: Taking taylor expansion of 0 in a
31.957 * [taylor]: Taking taylor expansion of 0 in a
31.981 * [taylor]: Taking taylor expansion of 0 in a
31.983 * [approximate]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) (sqrt 3)) in (c a) around 0
31.983 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) (sqrt 3)) in a
31.983 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))))) in a
31.983 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)))) in a
31.983 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.983 * [taylor]: Taking taylor expansion of 3 in a
31.983 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))) in a
31.983 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in a
31.984 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in a
31.984 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in a
31.984 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.984 * [taylor]: Taking taylor expansion of 3 in a
31.984 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in a
31.984 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
31.984 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
31.984 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
31.984 * [taylor]: Taking taylor expansion of 1/4 in a
31.984 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
31.984 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.987 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) (sqrt 3)) in c
31.987 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))))) in c
31.987 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)))) in c
31.987 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.987 * [taylor]: Taking taylor expansion of 3 in c
31.988 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))) in c
31.988 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in c
31.988 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in c
31.988 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in c
31.988 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.988 * [taylor]: Taking taylor expansion of 3 in c
31.989 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in c
31.989 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
31.989 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
31.989 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
31.989 * [taylor]: Taking taylor expansion of 1/4 in c
31.989 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
31.989 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.992 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) (sqrt 3)) in c
31.992 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))))) in c
31.992 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)))) in c
31.992 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.992 * [taylor]: Taking taylor expansion of 3 in c
31.992 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))) in c
31.992 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in c
31.992 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in c
31.992 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in c
31.993 * [taylor]: Taking taylor expansion of (sqrt 3) in c
31.993 * [taylor]: Taking taylor expansion of 3 in c
31.993 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in c
31.993 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
31.993 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
31.993 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
31.993 * [taylor]: Taking taylor expansion of 1/4 in c
31.993 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
31.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.996 * [taylor]: Taking taylor expansion of (pow (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) (sqrt 3)) in a
31.996 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))))) in a
31.996 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)))) in a
31.996 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.996 * [taylor]: Taking taylor expansion of 3 in a
31.997 * [taylor]: Taking taylor expansion of (log (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3))) in a
31.997 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in a
31.997 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in a
31.997 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in a
31.997 * [taylor]: Taking taylor expansion of (sqrt 3) in a
31.997 * [taylor]: Taking taylor expansion of 3 in a
31.998 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in a
31.998 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
31.998 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
31.998 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
31.998 * [taylor]: Taking taylor expansion of 1/4 in a
31.998 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
31.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
32.007 * [taylor]: Taking taylor expansion of 0 in a
32.026 * [taylor]: Taking taylor expansion of 0 in a
32.051 * [taylor]: Taking taylor expansion of 0 in a
32.052 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
32.052 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in (c a) around 0
32.052 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in a
32.052 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in a
32.052 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in a
32.052 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.052 * [taylor]: Taking taylor expansion of 3 in a
32.053 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in a
32.053 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
32.053 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
32.053 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
32.053 * [taylor]: Taking taylor expansion of 1/4 in a
32.053 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
32.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
32.054 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in c
32.054 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in c
32.054 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in c
32.054 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.054 * [taylor]: Taking taylor expansion of 3 in c
32.055 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in c
32.055 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
32.055 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
32.055 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
32.055 * [taylor]: Taking taylor expansion of 1/4 in c
32.055 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
32.055 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
32.056 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in c
32.056 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in c
32.056 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in c
32.056 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.056 * [taylor]: Taking taylor expansion of 3 in c
32.057 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in c
32.057 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in c
32.057 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in c
32.057 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in c
32.057 * [taylor]: Taking taylor expansion of 1/4 in c
32.057 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
32.057 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
32.058 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) in a
32.058 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4)))) in a
32.058 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh c) (log1p a)) 1/4))) in a
32.058 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.058 * [taylor]: Taking taylor expansion of 3 in a
32.059 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 1/4)) in a
32.059 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/4) in a
32.059 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh c) (log1p a))))) in a
32.059 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh c) (log1p a)))) in a
32.059 * [taylor]: Taking taylor expansion of 1/4 in a
32.059 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
32.059 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
32.063 * [taylor]: Taking taylor expansion of 0 in a
32.073 * [taylor]: Taking taylor expansion of 0 in a
32.087 * [taylor]: Taking taylor expansion of 0 in a
32.088 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in (c a) around 0
32.088 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in a
32.088 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in a
32.088 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in a
32.088 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.088 * [taylor]: Taking taylor expansion of 3 in a
32.088 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in a
32.088 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
32.088 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
32.089 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
32.089 * [taylor]: Taking taylor expansion of 1/4 in a
32.089 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
32.089 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
32.090 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in c
32.090 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in c
32.090 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in c
32.090 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.090 * [taylor]: Taking taylor expansion of 3 in c
32.090 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in c
32.091 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
32.091 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
32.091 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
32.091 * [taylor]: Taking taylor expansion of 1/4 in c
32.091 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
32.091 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
32.092 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in c
32.092 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in c
32.092 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in c
32.092 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.092 * [taylor]: Taking taylor expansion of 3 in c
32.093 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in c
32.093 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in c
32.093 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
32.093 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
32.093 * [taylor]: Taking taylor expansion of 1/4 in c
32.093 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
32.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
32.094 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) (sqrt 3)) in a
32.094 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)))) in a
32.094 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4))) in a
32.094 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.094 * [taylor]: Taking taylor expansion of 3 in a
32.095 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4)) in a
32.095 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/4) in a
32.095 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
32.095 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
32.095 * [taylor]: Taking taylor expansion of 1/4 in a
32.095 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
32.095 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
32.099 * [taylor]: Taking taylor expansion of 0 in a
32.109 * [taylor]: Taking taylor expansion of 0 in a
32.126 * [taylor]: Taking taylor expansion of 0 in a
32.127 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in (c a) around 0
32.127 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in a
32.127 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in a
32.127 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in a
32.127 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.127 * [taylor]: Taking taylor expansion of 3 in a
32.127 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in a
32.128 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
32.128 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
32.128 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
32.128 * [taylor]: Taking taylor expansion of 1/4 in a
32.128 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
32.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
32.129 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in c
32.129 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in c
32.129 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in c
32.129 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.129 * [taylor]: Taking taylor expansion of 3 in c
32.130 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in c
32.130 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
32.130 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
32.130 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
32.130 * [taylor]: Taking taylor expansion of 1/4 in c
32.130 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
32.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
32.131 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in c
32.131 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in c
32.131 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in c
32.131 * [taylor]: Taking taylor expansion of (sqrt 3) in c
32.131 * [taylor]: Taking taylor expansion of 3 in c
32.132 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in c
32.132 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in c
32.132 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
32.132 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
32.132 * [taylor]: Taking taylor expansion of 1/4 in c
32.132 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
32.132 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
32.133 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) (sqrt 3)) in a
32.133 * [taylor]: Taking taylor expansion of (exp (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)))) in a
32.133 * [taylor]: Taking taylor expansion of (* (sqrt 3) (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4))) in a
32.133 * [taylor]: Taking taylor expansion of (sqrt 3) in a
32.133 * [taylor]: Taking taylor expansion of 3 in a
32.134 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4)) in a
32.134 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/4) in a
32.134 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
32.134 * [taylor]: Taking taylor expansion of (* 1/4 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
32.134 * [taylor]: Taking taylor expansion of 1/4 in a
32.134 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
32.134 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
32.139 * [taylor]: Taking taylor expansion of 0 in a
32.148 * [taylor]: Taking taylor expansion of 0 in a
32.169 * [taylor]: Taking taylor expansion of 0 in a
32.169 * * * [progress]: simplifying candidates
32.172 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (* (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (* (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (* (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (* (sqrt 3) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (* (cbrt 3) (cbrt 3))))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 1))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 1)
  (pow (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt 1)) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt 1) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow 1 (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3))
  (pow (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (pow (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (pow (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (pow 1 (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2)) (sqrt 3))
  (log (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (exp (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (* (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))) (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))
  (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (* (* (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))) (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (sqrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (sqrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (/ (sqrt 3) 2))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (/ (sqrt 3) 2))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (* 1/2 (sqrt 3))
  (* 1 (sqrt 3))
  (* (/ 1/2 2) (sqrt 3))
  (* (/ 1 2) (sqrt 3))
  (* (/ (/ 1 2) 2) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt 3) (cbrt 3))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1)
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt 3))
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt 1)) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt 1) (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow 1 (sqrt 3))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (* (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (/ (sqrt 3) 2)
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2))
  (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 (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
32.178 * * [simplify]: iteration  0 :  107  enodes  (cost  1367 )
32.210 * * [simplify]: iteration  1 :  229  enodes  (cost  1254 )
32.268 * * [simplify]: iteration  2 :  579  enodes  (cost  1185 )
32.460 * * [simplify]: iteration  3 :  1633  enodes  (cost  1185 )
33.858 * * [simplify]: iteration  done :  5000  enodes  (cost  1185 )
33.859 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  3
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (fabs (cbrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3))
  (pow (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  1
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  1
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3)) (sqrt 3))
  1
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3))
  (pow (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (pow (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  (pow (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (sqrt 3))
  1
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2)) (sqrt 3))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2)) (sqrt 3))
  (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)
  (exp (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (* (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))) (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))))
  (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)
  (sqrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (sqrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (/ (sqrt 3) 2))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (/ (sqrt 3) 2))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (* 1/2 (sqrt 3))
  (sqrt 3)
  (* (sqrt 3) 1/4)
  (* 1/2 (sqrt 3))
  (* (sqrt 3) 1/4)
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (fabs (cbrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3)))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (pow (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt 3))
  (pow (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  (pow (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt 3))
  1
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
  (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (* (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))) (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))))
  (cbrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)
  (* 1/2 (sqrt 3))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (sqrt (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2))
  (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (/ (sqrt 3) 2))
  (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 (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3)) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
  (pow (pow (fmod (cosh c) (log1p a)) 1/4) (sqrt 3))
33.859 * * * [progress]: adding candidates to table
34.088 * [progress]: [Phase 3 of 3] Extracting.
34.088 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.092 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
34.092 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.176 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.250 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.342 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.421 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (pow (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)) (cbrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3)) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt 3))) (sqrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (cbrt (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) 3)) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (pow (exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow (sqrt (fmod (cosh c) (log1p a))) 4) (/ 1 2)))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 4))))> #<alt (λ (a c) (* (pow (pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
34.501 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
34.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
34.501 * * [simplify]: iteration  0 :  12  enodes  (cost  19 )
34.502 * * [simplify]: iteration  1 :  14  enodes  (cost  19 )
34.502 * * [simplify]: iteration  done :  14  enodes  (cost  19 )
34.502 * [simplify]: Simplified to:
   (* (exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3)) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
45.579 * [regime-testing]: Baseline error score: 34.42602171033165
45.579 * [regime-testing]: Oracle error score: 34.371989226279624
45.581 * [regime-testing]: End program error score: 34.42602171033165