0.246 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.140 * * * [progress]: [2/2] Setting up program.
1.147 * [progress]: [Phase 2 of 3] Improving.
1.147 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.149 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
1.150 * * [simplify]: iteration 1: (5 enodes)
1.157 * * [simplify]: iteration 2: (11 enodes)
1.160 * * [simplify]: iteration 3: (14 enodes)
1.163 * * [simplify]: iteration 4: (16 enodes)
1.165 * * [simplify]: Extracting #0: cost 1 inf + 0
1.165 * * [simplify]: Extracting #1: cost 3 inf + 0
1.165 * * [simplify]: Extracting #2: cost 7 inf + 0
1.165 * * [simplify]: Extracting #3: cost 5 inf + 94
1.166 * * [simplify]: Extracting #4: cost 4 inf + 438
1.166 * * [simplify]: Extracting #5: cost 0 inf + 812
1.166 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
1.192 * * [progress]: iteration 1 / 4
1.192 * * * [progress]: picking best candidate
1.195 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.195 * * * [progress]: localizing error
1.210 * * * [progress]: generating rewritten candidates
1.210 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.214 * * * [progress]: generating series expansions
1.214 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.219 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.219 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.220 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.222 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.222 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.222 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.222 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.223 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.223 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.223 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.223 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.224 * [taylor]: Taking taylor expansion of 0 in a
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [taylor]: Taking taylor expansion of 0 in a
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [taylor]: Taking taylor expansion of 0 in a
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1.226 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1.227 * [taylor]: Taking taylor expansion of 0 in a
1.227 * [backup-simplify]: Simplify 0 into 0
1.227 * [backup-simplify]: Simplify 0 into 0
1.227 * [backup-simplify]: Simplify 0 into 0
1.228 * [taylor]: Taking taylor expansion of 0 in a
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [taylor]: Taking taylor expansion of 0 in a
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.229 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1.230 * [taylor]: Taking taylor expansion of 0 in a
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [taylor]: Taking taylor expansion of 0 in a
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [taylor]: Taking taylor expansion of 0 in a
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1.230 * * * [progress]: simplifying candidates
1.230 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1.231 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1.231 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
1.231 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.231 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.231 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1.232 * [simplify]: Simplifying:
  (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.232 * * [simplify]: iteration 1: (13 enodes)
1.236 * * [simplify]: iteration 2: (20 enodes)
1.243 * * [simplify]: iteration 3: (25 enodes)
1.252 * * [simplify]: iteration 4: (31 enodes)
1.262 * * [simplify]: iteration 5: (39 enodes)
1.275 * * [simplify]: iteration 6: (59 enodes)
1.296 * * [simplify]: iteration 7: (98 enodes)
1.344 * * [simplify]: iteration 8: (202 enodes)
1.410 * * [simplify]: iteration 9: (499 enodes)
1.799 * * [simplify]: iteration 10: (1474 enodes)
6.637 * * [simplify]: Extracting #0: cost 8 inf + 0
6.637 * * [simplify]: Extracting #1: cost 160 inf + 0
6.641 * * [simplify]: Extracting #2: cost 838 inf + 3
6.645 * * [simplify]: Extracting #3: cost 836 inf + 164
6.654 * * [simplify]: Extracting #4: cost 767 inf + 54397
6.722 * * [simplify]: Extracting #5: cost 340 inf + 509057
6.898 * * [simplify]: Extracting #6: cost 16 inf + 891616
7.041 * * [simplify]: Extracting #7: cost 0 inf + 903897
7.195 * * [simplify]: Extracting #8: cost 0 inf + 899930
7.359 * * [simplify]: Extracting #9: cost 0 inf + 899668
7.527 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (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))
7.528 * * * [progress]: adding candidates to table
7.643 * * [progress]: iteration 2 / 4
7.643 * * * [progress]: picking best candidate
7.678 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.678 * * * [progress]: localizing error
7.709 * * * [progress]: generating rewritten candidates
7.709 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
7.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
7.710 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.730 * * * [progress]: generating series expansions
7.730 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
7.730 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.731 * [taylor]: Taking taylor expansion of 0 in a
7.731 * [backup-simplify]: Simplify 0 into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.731 * [taylor]: Taking taylor expansion of 0 in a
7.731 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [taylor]: Taking taylor expansion of 0 in a
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.732 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.733 * [taylor]: Taking taylor expansion of 0 in a
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [taylor]: Taking taylor expansion of 0 in a
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [taylor]: Taking taylor expansion of 0 in a
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.734 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.735 * [taylor]: Taking taylor expansion of 0 in a
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [taylor]: Taking taylor expansion of 0 in a
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [taylor]: Taking taylor expansion of 0 in a
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.735 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
7.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.735 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.735 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.736 * [taylor]: Taking taylor expansion of 0 in a
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [taylor]: Taking taylor expansion of 0 in a
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [taylor]: Taking taylor expansion of 0 in a
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.737 * [taylor]: Taking taylor expansion of 0 in a
7.737 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [taylor]: Taking taylor expansion of 0 in a
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [taylor]: Taking taylor expansion of 0 in a
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.738 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.738 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.739 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.739 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.739 * [taylor]: Taking taylor expansion of 0 in a
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [taylor]: Taking taylor expansion of 0 in a
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [backup-simplify]: Simplify 0 into 0
7.739 * [taylor]: Taking taylor expansion of 0 in a
7.739 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.740 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.740 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
7.740 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.741 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.741 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.741 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.741 * [taylor]: Taking taylor expansion of 0 in a
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [taylor]: Taking taylor expansion of 0 in a
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [taylor]: Taking taylor expansion of 0 in a
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.742 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.742 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.743 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.743 * [taylor]: Taking taylor expansion of 0 in a
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [taylor]: Taking taylor expansion of 0 in a
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [taylor]: Taking taylor expansion of 0 in a
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.743 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.744 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.744 * [taylor]: Taking taylor expansion of 0 in a
7.744 * [backup-simplify]: Simplify 0 into 0
7.744 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [taylor]: Taking taylor expansion of 0 in a
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [taylor]: Taking taylor expansion of 0 in a
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.745 * * * [progress]: simplifying candidates
7.745 * * * * [progress]: [ 1 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (pow (fmod (cosh c) (log1p a)) 1))))>
7.745 * * * * [progress]: [ 2 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
7.745 * * * * [progress]: [ 3 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))>
7.745 * * * * [progress]: [ 4 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
7.745 * * * * [progress]: [ 5 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
7.745 * * * * [progress]: [ 6 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.746 * * * * [progress]: [ 7 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* 1 (fmod (cosh c) (log1p a))))))>
7.746 * * * * [progress]: [ 8 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
7.746 * * * * [progress]: [ 9 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow (fmod (cosh c) (log1p a)) 1)) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 10 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 11 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 12 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 13 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 14 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 15 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* 1 (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 16 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
7.746 * * * * [progress]: [ 17 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2)))>
7.746 * * * * [progress]: [ 18 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1 2))))>
7.746 * * * * [progress]: [ 19 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
7.746 * * * * [progress]: [ 20 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) 1/2)))>
7.746 * * * * [progress]: [ 21 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1 2))))>
7.746 * * * * [progress]: [ 22 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2))>
7.746 * * * * [progress]: [ 23 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
7.747 * * * * [progress]: [ 24 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (/ 1 2)))>
7.747 * * * * [progress]: [ 25 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2))>
7.747 * * * * [progress]: [ 26 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
7.747 * * * * [progress]: [ 27 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
7.747 * * * * [progress]: [ 28 / 75 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 29 / 75 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 30 / 75 ] simplifiying candidate #<alt (λ (a c) (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 31 / 75 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 32 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 33 / 75 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 34 / 75 ] simplifiying candidate #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))>
7.747 * * * * [progress]: [ 35 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.747 * * * * [progress]: [ 36 / 75 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.748 * * * * [progress]: [ 37 / 75 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
7.748 * * * * [progress]: [ 38 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 39 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 40 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 41 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 42 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
7.748 * * * * [progress]: [ 43 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 44 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 45 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
7.748 * * * * [progress]: [ 46 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 47 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 48 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 49 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
7.748 * * * * [progress]: [ 50 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 1/2)))>
7.748 * * * * [progress]: [ 51 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (* 2 1)))>
7.748 * * * * [progress]: [ 52 / 75 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 (/ 1 2))))>
7.749 * * * * [progress]: [ 53 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 54 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 55 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 56 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a)))))>
7.749 * * * * [progress]: [ 57 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 58 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a)))))>
7.749 * * * * [progress]: [ 59 / 75 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 60 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 61 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 62 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 63 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 64 / 75 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
7.749 * * * * [progress]: [ 65 / 75 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.749 * * * * [progress]: [ 66 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.749 * * * * [progress]: [ 67 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.749 * * * * [progress]: [ 68 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.749 * * * * [progress]: [ 69 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.750 * * * * [progress]: [ 70 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.750 * * * * [progress]: [ 71 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.750 * * * * [progress]: [ 72 / 75 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
7.750 * * * * [progress]: [ 73 / 75 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.750 * * * * [progress]: [ 74 / 75 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.750 * * * * [progress]: [ 75 / 75 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.751 * [simplify]: Simplifying:
  (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)))
  (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)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
7.753 * * [simplify]: iteration 1: (58 enodes)
7.780 * * [simplify]: iteration 2: (112 enodes)
7.815 * * [simplify]: iteration 3: (224 enodes)
7.859 * * [simplify]: iteration 4: (388 enodes)
8.022 * * [simplify]: iteration 5: (743 enodes)
9.066 * * [simplify]: Extracting #0: cost 17 inf + 0
9.066 * * [simplify]: Extracting #1: cost 179 inf + 2
9.068 * * [simplify]: Extracting #2: cost 408 inf + 10
9.073 * * [simplify]: Extracting #3: cost 403 inf + 4106
9.095 * * [simplify]: Extracting #4: cost 245 inf + 90044
9.138 * * [simplify]: Extracting #5: cost 19 inf + 233369
9.217 * * [simplify]: Extracting #6: cost 0 inf + 244683
9.269 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (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)))
  (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)))
  1
  1
  2
  1
  1
  (* (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)))
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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)))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (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))
9.274 * * * [progress]: adding candidates to table
10.202 * * [progress]: iteration 3 / 4
10.202 * * * [progress]: picking best candidate
10.264 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.264 * * * [progress]: localizing error
10.304 * * * [progress]: generating rewritten candidates
10.304 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
10.304 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
10.305 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
10.305 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
10.305 * * * [progress]: generating series expansions
10.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
10.305 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.305 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.305 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [taylor]: Taking taylor expansion of 0 in a
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [taylor]: Taking taylor expansion of 0 in a
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [taylor]: Taking taylor expansion of 0 in a
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.306 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.306 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.306 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.306 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.306 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.307 * [taylor]: Taking taylor expansion of 0 in a
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [taylor]: Taking taylor expansion of 0 in a
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [taylor]: Taking taylor expansion of 0 in a
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.307 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.307 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.308 * [taylor]: Taking taylor expansion of 0 in a
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [taylor]: Taking taylor expansion of 0 in a
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [taylor]: Taking taylor expansion of 0 in a
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.308 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.308 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.308 * [taylor]: Taking taylor expansion of 0 in a
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.309 * [taylor]: Taking taylor expansion of 0 in a
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [taylor]: Taking taylor expansion of 0 in a
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.309 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.309 * [taylor]: Taking taylor expansion of 0 in a
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [taylor]: Taking taylor expansion of 0 in a
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.310 * [taylor]: Taking taylor expansion of 0 in a
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.310 * [taylor]: Taking taylor expansion of 0 in a
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [taylor]: Taking taylor expansion of 0 in a
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [taylor]: Taking taylor expansion of 0 in a
10.310 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.311 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.311 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [taylor]: Taking taylor expansion of 0 in a
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [taylor]: Taking taylor expansion of 0 in a
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [taylor]: Taking taylor expansion of 0 in a
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.311 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.312 * [taylor]: Taking taylor expansion of 0 in a
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [taylor]: Taking taylor expansion of 0 in a
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [taylor]: Taking taylor expansion of 0 in a
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.312 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.312 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.313 * [taylor]: Taking taylor expansion of 0 in a
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [taylor]: Taking taylor expansion of 0 in a
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [taylor]: Taking taylor expansion of 0 in a
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.313 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
10.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.313 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.314 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.314 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.314 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.314 * [taylor]: Taking taylor expansion of 0 in a
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [taylor]: Taking taylor expansion of 0 in a
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [taylor]: Taking taylor expansion of 0 in a
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.314 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.314 * [taylor]: Taking taylor expansion of 0 in a
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [taylor]: Taking taylor expansion of 0 in a
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [taylor]: Taking taylor expansion of 0 in a
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.315 * [taylor]: Taking taylor expansion of 0 in a
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [taylor]: Taking taylor expansion of 0 in a
10.315 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify 0 into 0
10.316 * [taylor]: Taking taylor expansion of 0 in a
10.316 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.316 * * * [progress]: simplifying candidates
10.316 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (pow (fmod (cosh c) (log1p a)) 1)))))>
10.316 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (exp (log (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (log (exp (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* 1 (fmod (cosh c) (log1p a)))))))>
10.316 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))>
10.316 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (sqrt (fmod (cosh c) (log1p a))))))>
10.316 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.316 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.316 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.316 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.316 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* 1 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.324 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
10.325 * [simplify]: Simplifying:
  (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)))
  (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)))
  (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)))
  (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))
10.326 * * [simplify]: iteration 1: (13 enodes)
10.328 * * [simplify]: iteration 2: (20 enodes)
10.331 * * [simplify]: iteration 3: (25 enodes)
10.336 * * [simplify]: iteration 4: (31 enodes)
10.347 * * [simplify]: iteration 5: (39 enodes)
10.359 * * [simplify]: iteration 6: (59 enodes)
10.380 * * [simplify]: iteration 7: (98 enodes)
10.419 * * [simplify]: iteration 8: (202 enodes)
10.526 * * [simplify]: iteration 9: (499 enodes)
10.986 * * [simplify]: iteration 10: (1474 enodes)
14.441 * * [simplify]: Extracting #0: cost 8 inf + 0
14.442 * * [simplify]: Extracting #1: cost 160 inf + 0
14.445 * * [simplify]: Extracting #2: cost 838 inf + 3
14.451 * * [simplify]: Extracting #3: cost 836 inf + 164
14.463 * * [simplify]: Extracting #4: cost 767 inf + 54397
14.520 * * [simplify]: Extracting #5: cost 340 inf + 509057
14.630 * * [simplify]: Extracting #6: cost 16 inf + 891616
14.744 * * [simplify]: Extracting #7: cost 0 inf + 903897
14.879 * * [simplify]: Extracting #8: cost 0 inf + 899930
14.984 * * [simplify]: Extracting #9: cost 0 inf + 899668
15.090 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (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)))
  (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)))
  (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)))
  (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))
15.093 * * * [progress]: adding candidates to table
15.546 * * [progress]: iteration 4 / 4
15.546 * * * [progress]: picking best candidate
15.598 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.598 * * * [progress]: localizing error
15.636 * * * [progress]: generating rewritten candidates
15.636 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
15.636 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2 1)
15.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 1)
15.637 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
15.637 * * * [progress]: generating series expansions
15.637 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.637 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.637 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.637 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.637 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.637 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.638 * [taylor]: Taking taylor expansion of 0 in a
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [taylor]: Taking taylor expansion of 0 in a
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [taylor]: Taking taylor expansion of 0 in a
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.638 * [taylor]: Taking taylor expansion of 0 in a
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [taylor]: Taking taylor expansion of 0 in a
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.638 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [taylor]: Taking taylor expansion of 0 in a
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.639 * [taylor]: Taking taylor expansion of 0 in a
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [taylor]: Taking taylor expansion of 0 in a
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [taylor]: Taking taylor expansion of 0 in a
15.639 * [backup-simplify]: Simplify 0 into 0
15.639 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.640 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2 1)
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [taylor]: Taking taylor expansion of 0 in a
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [taylor]: Taking taylor expansion of 0 in a
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [taylor]: Taking taylor expansion of 0 in a
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.640 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.640 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.641 * [taylor]: Taking taylor expansion of 0 in a
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [taylor]: Taking taylor expansion of 0 in a
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [taylor]: Taking taylor expansion of 0 in a
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.641 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.642 * [taylor]: Taking taylor expansion of 0 in a
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [taylor]: Taking taylor expansion of 0 in a
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [taylor]: Taking taylor expansion of 0 in a
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify 0 into 0
15.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.642 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 1)
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.642 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.642 * [taylor]: Taking taylor expansion of 0 in a
15.642 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [taylor]: Taking taylor expansion of 0 in a
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [taylor]: Taking taylor expansion of 0 in a
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.643 * [taylor]: Taking taylor expansion of 0 in a
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [taylor]: Taking taylor expansion of 0 in a
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [backup-simplify]: Simplify 0 into 0
15.643 * [taylor]: Taking taylor expansion of 0 in a
15.643 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [backup-simplify]: Simplify 0 into 0
15.644 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.645 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [taylor]: Taking taylor expansion of 0 in a
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [taylor]: Taking taylor expansion of 0 in a
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [taylor]: Taking taylor expansion of 0 in a
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify 0 into 0
15.645 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
15.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.645 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
15.646 * [taylor]: Taking taylor expansion of 0 in a
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [taylor]: Taking taylor expansion of 0 in a
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [taylor]: Taking taylor expansion of 0 in a
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.646 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
15.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
15.646 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.646 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
15.647 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.647 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
15.647 * [taylor]: Taking taylor expansion of 0 in a
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [taylor]: Taking taylor expansion of 0 in a
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [taylor]: Taking taylor expansion of 0 in a
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify 0 into 0
15.647 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
15.647 * * * [progress]: simplifying candidates
15.647 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))))))>
15.647 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))))))>
15.647 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))))>
15.647 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.647 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.647 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.647 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* 1 (fmod (cosh c) (log1p a))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.648 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
15.649 * [simplify]: Simplifying:
  (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)))
  (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)))
  (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)))
  (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))
15.649 * * [simplify]: iteration 1: (13 enodes)
15.651 * * [simplify]: iteration 2: (20 enodes)
15.654 * * [simplify]: iteration 3: (25 enodes)
15.658 * * [simplify]: iteration 4: (31 enodes)
15.663 * * [simplify]: iteration 5: (39 enodes)
15.669 * * [simplify]: iteration 6: (59 enodes)
15.679 * * [simplify]: iteration 7: (98 enodes)
15.702 * * [simplify]: iteration 8: (202 enodes)
15.752 * * [simplify]: iteration 9: (499 enodes)
16.001 * * [simplify]: iteration 10: (1474 enodes)
18.741 * * [simplify]: Extracting #0: cost 8 inf + 0
18.741 * * [simplify]: Extracting #1: cost 160 inf + 0
18.745 * * [simplify]: Extracting #2: cost 838 inf + 3
18.749 * * [simplify]: Extracting #3: cost 836 inf + 164
18.758 * * [simplify]: Extracting #4: cost 767 inf + 54397
18.803 * * [simplify]: Extracting #5: cost 340 inf + 509057
18.891 * * [simplify]: Extracting #6: cost 16 inf + 891616
18.989 * * [simplify]: Extracting #7: cost 0 inf + 903897
19.091 * * [simplify]: Extracting #8: cost 0 inf + 899930
19.192 * * [simplify]: Extracting #9: cost 0 inf + 899668
19.294 * [simplify]: Simplified to:
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (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)))
  (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)))
  (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)))
  (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))
19.297 * * * [progress]: adding candidates to table
19.772 * [progress]: [Phase 3 of 3] Extracting.
19.772 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
19.778 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
19.778 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
19.864 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
19.953 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
20.039 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
20.118 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (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) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>)
20.211 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
20.212 * [simplify]: Simplifying:
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))
20.212 * * [simplify]: iteration 1: (14 enodes)
20.212 * * [simplify]: iteration 2: (17 enodes)
20.213 * * [simplify]: Extracting #0: cost 1 inf + 0
20.213 * * [simplify]: Extracting #1: cost 3 inf + 0
20.213 * * [simplify]: Extracting #2: cost 6 inf + 0
20.213 * * [simplify]: Extracting #3: cost 9 inf + 0
20.213 * * [simplify]: Extracting #4: cost 10 inf + 0
20.213 * * [simplify]: Extracting #5: cost 12 inf + 0
20.213 * * [simplify]: Extracting #6: cost 14 inf + 0
20.213 * * [simplify]: Extracting #7: cost 11 inf + 93
20.213 * * [simplify]: Extracting #8: cost 10 inf + 149
20.215 * * [simplify]: Extracting #9: cost 8 inf + 663
20.216 * * [simplify]: Extracting #10: cost 3 inf + 2628
20.216 * * [simplify]: Extracting #11: cost 0 inf + 4359
20.216 * [simplify]: Simplified to:
  (* (* (sqrt (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
37.596 * [regime-testing]: Baseline error score: 34.02769330739831
37.599 * [regime-testing]: Oracle error score: 33.978016289442515
37.603 * [regime-testing]: End program error score: 34.02769330739831