0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.957 * * * [progress]: [2/2] Setting up program.
0.965 * [progress]: [Phase 2 of 3] Improving.
0.966 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.968 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.969 * * [simplify]: iteration 1: (5 enodes)
0.975 * * [simplify]: iteration 2: (21 enodes)
0.982 * * [simplify]: iteration 3: (34 enodes)
0.992 * * [simplify]: iteration 4: (38 enodes)
1.002 * * [simplify]: iteration 5: (40 enodes)
1.016 * * [simplify]: Extracting #0: cost 1 inf + 0
1.016 * * [simplify]: Extracting #1: cost 4 inf + 0
1.017 * * [simplify]: Extracting #2: cost 10 inf + 0
1.017 * * [simplify]: Extracting #3: cost 10 inf + 3
1.017 * * [simplify]: Extracting #4: cost 9 inf + 368
1.018 * * [simplify]: Extracting #5: cost 5 inf + 809
1.018 * * [simplify]: Extracting #6: cost 0 inf + 1620
1.019 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
1.026 * * [progress]: iteration 1 / 4
1.046 * * * [progress]: picking best candidate
1.050 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.050 * * * [progress]: localizing error
1.067 * * * [progress]: generating rewritten candidates
1.067 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.069 * * * [progress]: generating series expansions
1.069 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.073 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.073 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.074 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.075 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.075 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.075 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.075 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.075 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.075 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.075 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.075 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.078 * [taylor]: Taking taylor expansion of 0 in a
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [taylor]: Taking taylor expansion of 0 in a
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [taylor]: Taking taylor expansion of 0 in a
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.079 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.079 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.079 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [taylor]: Taking taylor expansion of 0 in a
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify 0 into 0
1.080 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.080 * * * [progress]: simplifying candidates
1.080 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1.080 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1.080 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1.080 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.080 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.080 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.081 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.081 * * [simplify]: iteration 1: (15 enodes)
1.085 * * [simplify]: iteration 2: (49 enodes)
1.092 * * [simplify]: iteration 3: (64 enodes)
1.102 * * [simplify]: iteration 4: (74 enodes)
1.113 * * [simplify]: iteration 5: (86 enodes)
1.127 * * [simplify]: iteration 6: (101 enodes)
1.152 * * [simplify]: iteration 7: (124 enodes)
1.182 * * [simplify]: iteration 8: (171 enodes)
1.239 * * [simplify]: iteration 9: (278 enodes)
1.329 * * [simplify]: iteration 10: (652 enodes)
2.061 * * [simplify]: Extracting #0: cost 10 inf + 0
2.062 * * [simplify]: Extracting #1: cost 23 inf + 0
2.062 * * [simplify]: Extracting #2: cost 99 inf + 1
2.063 * * [simplify]: Extracting #3: cost 269 inf + 2774
2.065 * * [simplify]: Extracting #4: cost 255 inf + 7501
2.070 * * [simplify]: Extracting #5: cost 191 inf + 52547
2.089 * * [simplify]: Extracting #6: cost 33 inf + 206910
2.136 * * [simplify]: Extracting #7: cost 0 inf + 242543
2.187 * * [simplify]: Extracting #8: cost 0 inf + 242503
2.236 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (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)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
2.236 * * * [progress]: adding candidates to table
2.350 * * [progress]: iteration 2 / 4
2.350 * * * [progress]: picking best candidate
2.375 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.375 * * * [progress]: localizing error
2.392 * * * [progress]: generating rewritten candidates
2.392 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.392 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.394 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.397 * * * [progress]: generating series expansions
2.397 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.397 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.397 * [taylor]: Taking taylor expansion of 0 in a
2.397 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [taylor]: Taking taylor expansion of 0 in a
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [taylor]: Taking taylor expansion of 0 in a
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.398 * [taylor]: Taking taylor expansion of 0 in a
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [taylor]: Taking taylor expansion of 0 in a
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 0 into 0
2.399 * [taylor]: Taking taylor expansion of 0 in a
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.399 * [taylor]: Taking taylor expansion of 0 in a
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [taylor]: Taking taylor expansion of 0 in a
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [taylor]: Taking taylor expansion of 0 in a
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.400 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.400 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
2.400 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.400 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.400 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.400 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.400 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
2.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.400 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.400 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
2.400 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.400 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.400 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.401 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.401 * [taylor]: Taking taylor expansion of 0 in a
2.401 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.404 * [taylor]: Taking taylor expansion of 0 in a
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
2.407 * [taylor]: Taking taylor expansion of 0 in a
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
2.407 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.407 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
2.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.407 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.407 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
2.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.407 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.407 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
2.407 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.408 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.408 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.408 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
2.408 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.408 * [taylor]: Taking taylor expansion of 0 in a
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.410 * [taylor]: Taking taylor expansion of 0 in a
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
2.413 * [taylor]: Taking taylor expansion of 0 in a
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
2.413 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.413 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
2.413 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.413 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.413 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.413 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.413 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.413 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.413 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.413 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.413 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
2.413 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.414 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.414 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.414 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
2.414 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.414 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.414 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.414 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
2.414 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.414 * [taylor]: Taking taylor expansion of 0 in a
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.416 * [taylor]: Taking taylor expansion of 0 in a
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
2.421 * [taylor]: Taking taylor expansion of 0 in a
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
2.422 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.422 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
2.422 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
2.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
2.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.422 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
2.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.422 * [taylor]: Taking taylor expansion of 0 in a
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [taylor]: Taking taylor expansion of 0 in a
2.422 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [taylor]: Taking taylor expansion of 0 in a
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
2.423 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.423 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
2.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
2.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
2.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
2.425 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
2.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
2.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
2.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
2.425 * [taylor]: Taking taylor expansion of 0 in a
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.426 * [taylor]: Taking taylor expansion of 0 in a
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [taylor]: Taking taylor expansion of 0 in a
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
2.426 * * * [progress]: simplifying candidates
2.426 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
2.426 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
2.426 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
2.426 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
2.427 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.427 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
2.427 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.427 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
2.427 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
2.427 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
2.428 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.428 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
2.428 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
2.428 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
2.428 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
2.428 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.428 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
2.428 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
2.428 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.428 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.428 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.428 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.429 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.429 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
2.429 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.429 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.429 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
2.430 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
2.431 * * [simplify]: iteration 1: (47 enodes)
2.451 * * [simplify]: iteration 2: (127 enodes)
2.481 * * [simplify]: iteration 3: (176 enodes)
2.507 * * [simplify]: iteration 4: (220 enodes)
2.551 * * [simplify]: iteration 5: (268 enodes)
2.602 * * [simplify]: iteration 6: (357 enodes)
2.653 * * [simplify]: iteration 7: (546 enodes)
2.806 * * [simplify]: iteration 8: (1165 enodes)
4.271 * * [simplify]: Extracting #0: cost 26 inf + 0
4.272 * * [simplify]: Extracting #1: cost 198 inf + 3
4.274 * * [simplify]: Extracting #2: cost 491 inf + 8
4.277 * * [simplify]: Extracting #3: cost 493 inf + 6635
4.293 * * [simplify]: Extracting #4: cost 343 inf + 85178
4.343 * * [simplify]: Extracting #5: cost 175 inf + 229336
4.462 * * [simplify]: Extracting #6: cost 19 inf + 423214
4.566 * * [simplify]: Extracting #7: cost 0 inf + 446570
4.640 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (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)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (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)))
  1
  (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)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
4.643 * * * [progress]: adding candidates to table
5.278 * * [progress]: iteration 3 / 4
5.278 * * * [progress]: picking best candidate
5.355 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.355 * * * [progress]: localizing error
5.390 * * * [progress]: generating rewritten candidates
5.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
5.391 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
5.391 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
5.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.392 * * * [progress]: generating series expansions
5.392 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.393 * [taylor]: Taking taylor expansion of 0 in a
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [taylor]: Taking taylor expansion of 0 in a
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [taylor]: Taking taylor expansion of 0 in a
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.394 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.394 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.394 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.395 * [taylor]: Taking taylor expansion of 0 in a
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [taylor]: Taking taylor expansion of 0 in a
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [taylor]: Taking taylor expansion of 0 in a
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.396 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.397 * [taylor]: Taking taylor expansion of 0 in a
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [taylor]: Taking taylor expansion of 0 in a
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [taylor]: Taking taylor expansion of 0 in a
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.397 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
5.397 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.397 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.398 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.398 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.398 * [taylor]: Taking taylor expansion of 0 in a
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [taylor]: Taking taylor expansion of 0 in a
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [taylor]: Taking taylor expansion of 0 in a
5.399 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.399 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.400 * [taylor]: Taking taylor expansion of 0 in a
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [taylor]: Taking taylor expansion of 0 in a
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [taylor]: Taking taylor expansion of 0 in a
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.400 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.401 * [taylor]: Taking taylor expansion of 0 in a
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [taylor]: Taking taylor expansion of 0 in a
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [taylor]: Taking taylor expansion of 0 in a
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.402 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
5.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.402 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
5.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.402 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.402 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.403 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.403 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.403 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.403 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.403 * [taylor]: Taking taylor expansion of 0 in a
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [taylor]: Taking taylor expansion of 0 in a
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [taylor]: Taking taylor expansion of 0 in a
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
5.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.404 * [taylor]: Taking taylor expansion of 0 in a
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [taylor]: Taking taylor expansion of 0 in a
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [taylor]: Taking taylor expansion of 0 in a
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
5.405 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.405 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
5.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.405 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.405 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.406 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.406 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.406 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.406 * [taylor]: Taking taylor expansion of 0 in a
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [taylor]: Taking taylor expansion of 0 in a
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 0 into 0
5.407 * [taylor]: Taking taylor expansion of 0 in a
5.407 * [backup-simplify]: Simplify 0 into 0
5.407 * [backup-simplify]: Simplify 0 into 0
5.407 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
5.407 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.407 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.407 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
5.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.407 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.407 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.407 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.407 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.407 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.407 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.408 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.408 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
5.408 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
5.408 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.408 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.408 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
5.408 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
5.408 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
5.408 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.408 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.409 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.409 * [taylor]: Taking taylor expansion of 0 in a
5.409 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
5.410 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
5.412 * [taylor]: Taking taylor expansion of 0 in a
5.412 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify 0 into 0
5.414 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
5.414 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
5.417 * [taylor]: Taking taylor expansion of 0 in a
5.417 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
5.418 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.418 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
5.418 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.418 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.418 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.418 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.419 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
5.419 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.419 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
5.419 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
5.419 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
5.419 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.419 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
5.420 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.420 * [taylor]: Taking taylor expansion of 0 in a
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
5.423 * [taylor]: Taking taylor expansion of 0 in a
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.428 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
5.428 * [taylor]: Taking taylor expansion of 0 in a
5.428 * [backup-simplify]: Simplify 0 into 0
5.428 * [backup-simplify]: Simplify 0 into 0
5.428 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
5.429 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.429 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
5.429 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.429 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.429 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.429 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.429 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
5.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
5.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.430 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.430 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
5.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
5.430 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
5.430 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.430 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
5.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.431 * [taylor]: Taking taylor expansion of 0 in a
5.431 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify 0 into 0
5.432 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
5.432 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
5.434 * [taylor]: Taking taylor expansion of 0 in a
5.434 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
5.436 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
5.439 * [taylor]: Taking taylor expansion of 0 in a
5.439 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
5.439 * * * [progress]: simplifying candidates
5.439 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))>
5.440 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))>
5.440 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))>
5.440 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.440 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.441 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))>
5.441 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a))))))))>
5.441 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a)))))))>
5.442 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
5.442 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1))))>
5.442 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.442 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
5.442 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))>
5.442 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.442 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.442 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.442 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.442 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.443 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
5.444 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
5.444 * * [simplify]: iteration 1: (30 enodes)
5.455 * * [simplify]: iteration 2: (96 enodes)
5.473 * * [simplify]: iteration 3: (115 enodes)
5.492 * * [simplify]: iteration 4: (129 enodes)
5.527 * * [simplify]: iteration 5: (146 enodes)
5.569 * * [simplify]: iteration 6: (173 enodes)
5.620 * * [simplify]: iteration 7: (228 enodes)
5.665 * * [simplify]: iteration 8: (360 enodes)
5.781 * * [simplify]: iteration 9: (731 enodes)
6.419 * * [simplify]: Extracting #0: cost 22 inf + 0
6.419 * * [simplify]: Extracting #1: cost 107 inf + 1
6.422 * * [simplify]: Extracting #2: cost 321 inf + 4
6.425 * * [simplify]: Extracting #3: cost 356 inf + 863
6.436 * * [simplify]: Extracting #4: cost 251 inf + 64686
6.481 * * [simplify]: Extracting #5: cost 37 inf + 252649
6.537 * * [simplify]: Extracting #6: cost 0 inf + 285643
6.596 * * [simplify]: Extracting #7: cost 0 inf + 284766
6.640 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (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)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (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))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
6.643 * * * [progress]: adding candidates to table
7.447 * * [progress]: iteration 4 / 4
7.447 * * * [progress]: picking best candidate
7.547 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.547 * * * [progress]: localizing error
7.625 * * * [progress]: generating rewritten candidates
7.625 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
7.625 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1)
7.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
7.626 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
7.627 * * * [progress]: generating series expansions
7.627 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
7.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.627 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.628 * [taylor]: Taking taylor expansion of 0 in a
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [taylor]: Taking taylor expansion of 0 in a
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [taylor]: Taking taylor expansion of 0 in a
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.628 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.629 * [taylor]: Taking taylor expansion of 0 in a
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [taylor]: Taking taylor expansion of 0 in a
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [taylor]: Taking taylor expansion of 0 in a
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.630 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.631 * [taylor]: Taking taylor expansion of 0 in a
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [taylor]: Taking taylor expansion of 0 in a
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [taylor]: Taking taylor expansion of 0 in a
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.631 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1)
7.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.631 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.631 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.632 * [taylor]: Taking taylor expansion of 0 in a
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [taylor]: Taking taylor expansion of 0 in a
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [taylor]: Taking taylor expansion of 0 in a
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.633 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.634 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.634 * [taylor]: Taking taylor expansion of 0 in a
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [taylor]: Taking taylor expansion of 0 in a
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [taylor]: Taking taylor expansion of 0 in a
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.634 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.634 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.634 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.635 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.635 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.635 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.635 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.635 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.635 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.635 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.635 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.635 * [taylor]: Taking taylor expansion of 0 in a
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [taylor]: Taking taylor expansion of 0 in a
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [taylor]: Taking taylor expansion of 0 in a
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.636 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
7.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.636 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.636 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.637 * [taylor]: Taking taylor expansion of 0 in a
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [taylor]: Taking taylor expansion of 0 in a
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [taylor]: Taking taylor expansion of 0 in a
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.637 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.638 * [taylor]: Taking taylor expansion of 0 in a
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [taylor]: Taking taylor expansion of 0 in a
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [taylor]: Taking taylor expansion of 0 in a
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.639 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.640 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.640 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.640 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.640 * [taylor]: Taking taylor expansion of 0 in a
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [taylor]: Taking taylor expansion of 0 in a
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [taylor]: Taking taylor expansion of 0 in a
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.641 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
7.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.641 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.641 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.641 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.642 * [taylor]: Taking taylor expansion of 0 in a
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [taylor]: Taking taylor expansion of 0 in a
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [taylor]: Taking taylor expansion of 0 in a
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.643 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.644 * [taylor]: Taking taylor expansion of 0 in a
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [taylor]: Taking taylor expansion of 0 in a
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [taylor]: Taking taylor expansion of 0 in a
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.644 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.644 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.645 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.645 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.645 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.645 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.645 * [taylor]: Taking taylor expansion of 0 in a
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [taylor]: Taking taylor expansion of 0 in a
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [taylor]: Taking taylor expansion of 0 in a
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.646 * * * [progress]: simplifying candidates
7.646 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))))>
7.646 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))))>
7.646 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))))>
7.647 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))))>
7.647 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))))>
7.647 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.647 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.648 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.649 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.650 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.650 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
7.650 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.651 * * [simplify]: iteration 1: (15 enodes)
7.655 * * [simplify]: iteration 2: (49 enodes)
7.662 * * [simplify]: iteration 3: (64 enodes)
7.671 * * [simplify]: iteration 4: (74 enodes)
7.682 * * [simplify]: iteration 5: (86 enodes)
7.700 * * [simplify]: iteration 6: (101 enodes)
7.715 * * [simplify]: iteration 7: (124 enodes)
7.735 * * [simplify]: iteration 8: (171 enodes)
7.765 * * [simplify]: iteration 9: (278 enodes)
7.845 * * [simplify]: iteration 10: (652 enodes)
8.545 * * [simplify]: Extracting #0: cost 10 inf + 0
8.545 * * [simplify]: Extracting #1: cost 23 inf + 0
8.546 * * [simplify]: Extracting #2: cost 99 inf + 1
8.548 * * [simplify]: Extracting #3: cost 269 inf + 2774
8.552 * * [simplify]: Extracting #4: cost 255 inf + 7501
8.557 * * [simplify]: Extracting #5: cost 191 inf + 52547
8.576 * * [simplify]: Extracting #6: cost 33 inf + 206910
8.628 * * [simplify]: Extracting #7: cost 0 inf + 242543
8.678 * * [simplify]: Extracting #8: cost 0 inf + 242503
8.714 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (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)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (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))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
8.718 * * * [progress]: adding candidates to table
9.650 * [progress]: [Phase 3 of 3] Extracting.
9.650 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
9.654 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
9.655 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
9.814 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
9.933 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
10.053 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
10.185 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
10.385 * * * [regime]: Found split indices: #<option (#s(si 14 255))>
10.385 * [simplify]: Simplifying:
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
10.386 * * [simplify]: iteration 1: (12 enodes)
10.386 * * [simplify]: iteration 2: (13 enodes)
10.386 * * [simplify]: Extracting #0: cost 1 inf + 0
10.386 * * [simplify]: Extracting #1: cost 3 inf + 0
10.386 * * [simplify]: Extracting #2: cost 5 inf + 0
10.386 * * [simplify]: Extracting #3: cost 6 inf + 0
10.387 * * [simplify]: Extracting #4: cost 7 inf + 0
10.387 * * [simplify]: Extracting #5: cost 8 inf + 0
10.387 * * [simplify]: Extracting #6: cost 10 inf + 0
10.387 * * [simplify]: Extracting #7: cost 12 inf + 0
10.387 * * [simplify]: Extracting #8: cost 9 inf + 93
10.387 * * [simplify]: Extracting #9: cost 0 inf + 3685
10.387 * [simplify]: Simplified to:
  (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
30.679 * [regime-testing]: Baseline error score: 34.30772404501774
30.681 * [regime-testing]: Oracle error score: 34.085770843254785
30.686 * [regime-testing]: End program error score: 34.30772404501774