0.337 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.750 * * * [progress]: [2/2] Setting up program.
0.754 * [progress]: [Phase 2 of 3] Improving.
0.755 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.756 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.757 * * [simplify]: iteration 1: (5 enodes)
0.760 * * [simplify]: iteration 2: (11 enodes)
0.762 * * [simplify]: iteration 3: (14 enodes)
0.765 * * [simplify]: iteration 4: (16 enodes)
0.767 * * [simplify]: Extracting #0: cost 1 inf + 0
0.767 * * [simplify]: Extracting #1: cost 3 inf + 0
0.767 * * [simplify]: Extracting #2: cost 7 inf + 0
0.768 * * [simplify]: Extracting #3: cost 5 inf + 94
0.768 * * [simplify]: Extracting #4: cost 4 inf + 438
0.768 * * [simplify]: Extracting #5: cost 0 inf + 812
0.768 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.773 * * [progress]: iteration 1 / 4
0.773 * * * [progress]: picking best candidate
0.796 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.796 * * * [progress]: localizing error
0.809 * * * [progress]: generating rewritten candidates
0.809 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.811 * * * [progress]: generating series expansions
0.811 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.814 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.814 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.815 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.816 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.816 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.816 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.816 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.816 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.816 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.816 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.816 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.817 * [taylor]: Taking taylor expansion of 0 in a
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [taylor]: Taking taylor expansion of 0 in a
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [taylor]: Taking taylor expansion of 0 in a
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.818 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.818 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.818 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.819 * [taylor]: Taking taylor expansion of 0 in a
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [taylor]: Taking taylor expansion of 0 in a
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [taylor]: Taking taylor expansion of 0 in a
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.821 * * * [progress]: simplifying candidates
0.821 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.821 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.821 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.821 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.821 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.821 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.821 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.822 * * [simplify]: iteration 1: (15 enodes)
0.824 * * [simplify]: iteration 2: (22 enodes)
0.828 * * [simplify]: iteration 3: (27 enodes)
0.832 * * [simplify]: iteration 4: (33 enodes)
0.839 * * [simplify]: iteration 5: (41 enodes)
0.846 * * [simplify]: iteration 6: (61 enodes)
0.857 * * [simplify]: iteration 7: (100 enodes)
0.888 * * [simplify]: iteration 8: (205 enodes)
0.950 * * [simplify]: iteration 9: (504 enodes)
1.631 * * [simplify]: iteration 10: (1528 enodes)
9.011 * * [simplify]: Extracting #0: cost 10 inf + 0
9.011 * * [simplify]: Extracting #1: cost 164 inf + 0
9.021 * * [simplify]: Extracting #2: cost 1002 inf + 3
9.032 * * [simplify]: Extracting #3: cost 995 inf + 165
9.050 * * [simplify]: Extracting #4: cost 911 inf + 68810
9.178 * * [simplify]: Extracting #5: cost 219 inf + 839047
9.361 * * [simplify]: Extracting #6: cost 0 inf + 1075976
9.562 * * [simplify]: Extracting #7: cost 0 inf + 1067556
9.755 * * [simplify]: Extracting #8: cost 0 inf + 1067112
9.941 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
9.942 * * * [progress]: adding candidates to table
10.080 * * [progress]: iteration 2 / 4
10.080 * * * [progress]: picking best candidate
10.120 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.120 * * * [progress]: localizing error
10.150 * * * [progress]: generating rewritten candidates
10.150 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
10.150 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
10.151 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.171 * * * [progress]: generating series expansions
10.171 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
10.171 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.172 * [taylor]: Taking taylor expansion of 0 in a
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [taylor]: Taking taylor expansion of 0 in a
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [taylor]: Taking taylor expansion of 0 in a
10.173 * [backup-simplify]: Simplify 0 into 0
10.173 * [backup-simplify]: Simplify 0 into 0
10.173 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.173 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.174 * [taylor]: Taking taylor expansion of 0 in a
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [taylor]: Taking taylor expansion of 0 in a
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [taylor]: Taking taylor expansion of 0 in a
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.174 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.174 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.174 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.174 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.175 * [taylor]: Taking taylor expansion of 0 in a
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [taylor]: Taking taylor expansion of 0 in a
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [taylor]: Taking taylor expansion of 0 in a
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.176 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.176 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.176 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.176 * [taylor]: Taking taylor expansion of 0 in a
10.176 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [taylor]: Taking taylor expansion of 0 in a
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [taylor]: Taking taylor expansion of 0 in a
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.177 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.177 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.177 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.177 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.178 * [taylor]: Taking taylor expansion of 0 in a
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [taylor]: Taking taylor expansion of 0 in a
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [taylor]: Taking taylor expansion of 0 in a
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify 0 into 0
10.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.179 * [taylor]: Taking taylor expansion of 0 in a
10.179 * [backup-simplify]: Simplify 0 into 0
10.179 * [backup-simplify]: Simplify 0 into 0
10.179 * [backup-simplify]: Simplify 0 into 0
10.180 * [taylor]: Taking taylor expansion of 0 in a
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [taylor]: Taking taylor expansion of 0 in a
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [backup-simplify]: Simplify 0 into 0
10.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.180 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.180 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
10.180 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.181 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.181 * [taylor]: Taking taylor expansion of 0 in a
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [taylor]: Taking taylor expansion of 0 in a
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [taylor]: Taking taylor expansion of 0 in a
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.182 * [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)))
10.182 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.182 * [taylor]: Taking taylor expansion of 0 in a
10.182 * [backup-simplify]: Simplify 0 into 0
10.182 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [taylor]: Taking taylor expansion of 0 in a
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [taylor]: Taking taylor expansion of 0 in a
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.183 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.183 * [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)))
10.183 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.183 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.183 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.183 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.184 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.184 * [taylor]: Taking taylor expansion of 0 in a
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [taylor]: Taking taylor expansion of 0 in a
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [taylor]: Taking taylor expansion of 0 in a
10.184 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.185 * * * [progress]: simplifying candidates
10.185 * * * * [progress]: [ 1 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 2 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 3 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (pow (fmod (cosh c) (log1p a)) 1))))>
10.185 * * * * [progress]: [ 4 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 5 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 6 / 81 ] 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)))))))>
10.185 * * * * [progress]: [ 7 / 81 ] 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)))))))>
10.185 * * * * [progress]: [ 8 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 9 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* 1 (fmod (cosh c) (log1p a))))))>
10.185 * * * * [progress]: [ 10 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
10.185 * * * * [progress]: [ 11 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.185 * * * * [progress]: [ 12 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.185 * * * * [progress]: [ 13 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow (fmod (cosh c) (log1p a)) 1)) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 14 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 15 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 16 / 81 ] 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)))))>
10.186 * * * * [progress]: [ 17 / 81 ] 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)))))>
10.186 * * * * [progress]: [ 18 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 19 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* 1 (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 20 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
10.186 * * * * [progress]: [ 21 / 81 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.186 * * * * [progress]: [ 22 / 81 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.186 * * * * [progress]: [ 23 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2)))>
10.186 * * * * [progress]: [ 24 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1 2))))>
10.186 * * * * [progress]: [ 25 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
10.186 * * * * [progress]: [ 26 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) 1/2)))>
10.186 * * * * [progress]: [ 27 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1 2))))>
10.186 * * * * [progress]: [ 28 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2))>
10.186 * * * * [progress]: [ 29 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
10.186 * * * * [progress]: [ 30 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (/ 1 2)))>
10.187 * * * * [progress]: [ 31 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2))>
10.187 * * * * [progress]: [ 32 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
10.187 * * * * [progress]: [ 33 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
10.187 * * * * [progress]: [ 34 / 81 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
10.187 * * * * [progress]: [ 35 / 81 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.187 * * * * [progress]: [ 36 / 81 ] simplifiying candidate #<alt (λ (a c) (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.187 * * * * [progress]: [ 37 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 38 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 39 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 40 / 81 ] simplifiying candidate #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))>
10.187 * * * * [progress]: [ 41 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 42 / 81 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.187 * * * * [progress]: [ 43 / 81 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
10.187 * * * * [progress]: [ 44 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 45 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 46 / 81 ] 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)))))))>
10.187 * * * * [progress]: [ 47 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 48 / 81 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
10.188 * * * * [progress]: [ 49 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 50 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 51 / 81 ] simplifiying candidate #<alt (λ (a c) (* (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
10.188 * * * * [progress]: [ 52 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 53 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 54 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 55 / 81 ] 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)))))))>
10.188 * * * * [progress]: [ 56 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 1/2)))>
10.188 * * * * [progress]: [ 57 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (* 2 1)))>
10.188 * * * * [progress]: [ 58 / 81 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 (/ 1 2))))>
10.188 * * * * [progress]: [ 59 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 60 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 61 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 62 / 81 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a)))))>
10.188 * * * * [progress]: [ 63 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 64 / 81 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a)))))>
10.188 * * * * [progress]: [ 65 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 66 / 81 ] 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.188 * * * * [progress]: [ 67 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 68 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
10.188 * * * * [progress]: [ 69 / 81 ] 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))))))>
10.188 * * * * [progress]: [ 70 / 81 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
10.188 * * * * [progress]: [ 71 / 81 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.189 * * * * [progress]: [ 72 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 73 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 74 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 75 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 76 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 77 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 78 / 81 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
10.189 * * * * [progress]: [ 79 / 81 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.189 * * * * [progress]: [ 80 / 81 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.189 * * * * [progress]: [ 81 / 81 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.190 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (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))
10.190 * * [simplify]: iteration 1: (62 enodes)
10.205 * * [simplify]: iteration 2: (119 enodes)
10.248 * * [simplify]: iteration 3: (233 enodes)
10.319 * * [simplify]: iteration 4: (394 enodes)
10.512 * * [simplify]: iteration 5: (702 enodes)
11.573 * * [simplify]: Extracting #0: cost 19 inf + 0
11.574 * * [simplify]: Extracting #1: cost 176 inf + 2
11.576 * * [simplify]: Extracting #2: cost 420 inf + 10
11.578 * * [simplify]: Extracting #3: cost 412 inf + 5738
11.601 * * [simplify]: Extracting #4: cost 232 inf + 104191
11.669 * * [simplify]: Extracting #5: cost 9 inf + 244336
11.742 * * [simplify]: Extracting #6: cost 0 inf + 250282
11.805 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  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)))
  (* (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 (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))))
  (* (fabs (cbrt (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 (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)))))
  (fmod (cosh c) (log1p a))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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))
11.808 * * * [progress]: adding candidates to table
12.653 * * [progress]: iteration 3 / 4
12.653 * * * [progress]: picking best candidate
12.703 * * * * [pick]: Picked  #<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)))))))>
12.703 * * * [progress]: localizing error
12.726 * * * [progress]: generating rewritten candidates
12.726 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
12.726 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
12.726 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
12.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
12.727 * * * [progress]: generating series expansions
12.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.727 * [taylor]: Taking taylor expansion of 0 in a
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [taylor]: Taking taylor expansion of 0 in a
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [taylor]: Taking taylor expansion of 0 in a
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify 0 into 0
12.728 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.728 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.728 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.728 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.728 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.728 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.728 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.728 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.728 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.728 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.728 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.729 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.729 * [taylor]: Taking taylor expansion of 0 in a
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [taylor]: Taking taylor expansion of 0 in a
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [taylor]: Taking taylor expansion of 0 in a
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify 0 into 0
12.729 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.729 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.729 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.729 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.729 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.729 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.730 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.730 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.730 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.730 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.730 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.730 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.730 * [taylor]: Taking taylor expansion of 0 in a
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [taylor]: Taking taylor expansion of 0 in a
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [taylor]: Taking taylor expansion of 0 in a
12.730 * [backup-simplify]: Simplify 0 into 0
12.730 * [backup-simplify]: Simplify 0 into 0
12.731 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.731 * [taylor]: Taking taylor expansion of 0 in a
12.731 * [backup-simplify]: Simplify 0 into 0
12.731 * [backup-simplify]: Simplify 0 into 0
12.731 * [backup-simplify]: Simplify 0 into 0
12.731 * [taylor]: Taking taylor expansion of 0 in a
12.731 * [backup-simplify]: Simplify 0 into 0
12.731 * [backup-simplify]: Simplify 0 into 0
12.732 * [backup-simplify]: Simplify 0 into 0
12.732 * [backup-simplify]: Simplify 0 into 0
12.732 * [taylor]: Taking taylor expansion of 0 in a
12.732 * [backup-simplify]: Simplify 0 into 0
12.732 * [backup-simplify]: Simplify 0 into 0
12.732 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.732 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.732 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.733 * [taylor]: Taking taylor expansion of 0 in a
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [taylor]: Taking taylor expansion of 0 in a
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [taylor]: Taking taylor expansion of 0 in a
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.733 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.733 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.733 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.734 * [taylor]: Taking taylor expansion of 0 in a
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [taylor]: Taking taylor expansion of 0 in a
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [taylor]: Taking taylor expansion of 0 in a
12.734 * [backup-simplify]: Simplify 0 into 0
12.734 * [backup-simplify]: Simplify 0 into 0
12.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.735 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.735 * [taylor]: Taking taylor expansion of 0 in a
12.735 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [taylor]: Taking taylor expansion of 0 in a
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [taylor]: Taking taylor expansion of 0 in a
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify 0 into 0
12.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.736 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.736 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.736 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.737 * [taylor]: Taking taylor expansion of 0 in a
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [taylor]: Taking taylor expansion of 0 in a
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [backup-simplify]: Simplify 0 into 0
12.737 * [taylor]: Taking taylor expansion of 0 in a
12.737 * [backup-simplify]: Simplify 0 into 0
12.738 * [backup-simplify]: Simplify 0 into 0
12.738 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.738 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.738 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.739 * [taylor]: Taking taylor expansion of 0 in a
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [taylor]: Taking taylor expansion of 0 in a
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [taylor]: Taking taylor expansion of 0 in a
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify 0 into 0
12.739 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.739 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
12.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.739 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.740 * [taylor]: Taking taylor expansion of 0 in a
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [taylor]: Taking taylor expansion of 0 in a
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [taylor]: Taking taylor expansion of 0 in a
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify 0 into 0
12.740 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.741 * [taylor]: Taking taylor expansion of 0 in a
12.741 * [backup-simplify]: Simplify 0 into 0
12.741 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [taylor]: Taking taylor expansion of 0 in a
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [taylor]: Taking taylor expansion of 0 in a
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify 0 into 0
12.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.742 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.742 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.742 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.742 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.743 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.743 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.743 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.743 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.743 * [taylor]: Taking taylor expansion of 0 in a
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [taylor]: Taking taylor expansion of 0 in a
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [taylor]: Taking taylor expansion of 0 in a
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify 0 into 0
12.743 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.743 * * * [progress]: simplifying candidates
12.743 * * * * [progress]: [ 1 / 52 ] 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 (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 2 / 52 ] 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 (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 3 / 52 ] 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 (pow (fmod (cosh c) (log1p a)) 1))))))>
12.744 * * * * [progress]: [ 4 / 52 ] 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 (exp (log (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 5 / 52 ] 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 (log (exp (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 6 / 52 ] 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 7 / 52 ] 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 8 / 52 ] 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 9 / 52 ] 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 (* 1 (fmod (cosh c) (log1p a))))))))>
12.744 * * * * [progress]: [ 10 / 52 ] 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 (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
12.744 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (log1p (expm1 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.744 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.744 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (pow (fmod (cosh c) (log1p a)) 1))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.744 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.744 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (* 1 (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (pow (fmod (cosh c) (log1p a)) 1)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (* (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)))))))>
12.745 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (* 1 (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.745 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (log1p (expm1 (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)))))))>
12.746 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (expm1 (log1p (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)))))))>
12.746 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (pow (fmod (cosh c) (log1p a)) 1))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
12.746 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (exp (log (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)))))))>
12.746 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (log (exp (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)))))))>
12.746 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (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)))))))>
12.746 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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)))))))>
12.746 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (* (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)))))))>
12.746 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (* 1 (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)))))))>
12.746 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (posit16->real (real->posit16 (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)))))))>
12.746 * * * * [progress]: [ 41 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 42 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 43 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 44 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 45 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 46 / 52 ] 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)))))))>
12.746 * * * * [progress]: [ 47 / 52 ] 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)))))))>
12.747 * * * * [progress]: [ 48 / 52 ] 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)))))))>
12.747 * * * * [progress]: [ 49 / 52 ] 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)))))))>
12.747 * * * * [progress]: [ 50 / 52 ] 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)))))))>
12.747 * * * * [progress]: [ 51 / 52 ] 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)))))))>
12.747 * * * * [progress]: [ 52 / 52 ] 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)))))))>
12.748 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.748 * * [simplify]: iteration 1: (15 enodes)
12.753 * * [simplify]: iteration 2: (22 enodes)
12.760 * * [simplify]: iteration 3: (27 enodes)
12.769 * * [simplify]: iteration 4: (33 enodes)
12.780 * * [simplify]: iteration 5: (41 enodes)
12.794 * * [simplify]: iteration 6: (61 enodes)
12.811 * * [simplify]: iteration 7: (100 enodes)
12.832 * * [simplify]: iteration 8: (205 enodes)
12.892 * * [simplify]: iteration 9: (504 enodes)
13.266 * * [simplify]: iteration 10: (1528 enodes)
18.692 * * [simplify]: Extracting #0: cost 10 inf + 0
18.692 * * [simplify]: Extracting #1: cost 164 inf + 0
18.696 * * [simplify]: Extracting #2: cost 1002 inf + 3
18.702 * * [simplify]: Extracting #3: cost 995 inf + 165
18.715 * * [simplify]: Extracting #4: cost 911 inf + 68810
18.811 * * [simplify]: Extracting #5: cost 219 inf + 839047
18.940 * * [simplify]: Extracting #6: cost 0 inf + 1075976
19.085 * * [simplify]: Extracting #7: cost 0 inf + 1067556
19.233 * * [simplify]: Extracting #8: cost 0 inf + 1067112
19.398 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
19.401 * * * [progress]: adding candidates to table
20.049 * * [progress]: iteration 4 / 4
20.050 * * * [progress]: picking best candidate
20.084 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.084 * * * [progress]: localizing error
20.108 * * * [progress]: generating rewritten candidates
20.108 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
20.108 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
20.109 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
20.109 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
20.120 * * * [progress]: generating series expansions
20.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [taylor]: Taking taylor expansion of 0 in a
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [taylor]: Taking taylor expansion of 0 in a
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [taylor]: Taking taylor expansion of 0 in a
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify 0 into 0
20.121 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.121 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.121 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.121 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.122 * [taylor]: Taking taylor expansion of 0 in a
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [taylor]: Taking taylor expansion of 0 in a
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [taylor]: Taking taylor expansion of 0 in a
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify 0 into 0
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.122 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.123 * [taylor]: Taking taylor expansion of 0 in a
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [taylor]: Taking taylor expansion of 0 in a
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [taylor]: Taking taylor expansion of 0 in a
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.123 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.123 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.123 * [taylor]: Taking taylor expansion of 0 in a
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [taylor]: Taking taylor expansion of 0 in a
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [taylor]: Taking taylor expansion of 0 in a
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.124 * [taylor]: Taking taylor expansion of 0 in a
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [taylor]: Taking taylor expansion of 0 in a
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [backup-simplify]: Simplify 0 into 0
20.124 * [taylor]: Taking taylor expansion of 0 in a
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.125 * [taylor]: Taking taylor expansion of 0 in a
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [taylor]: Taking taylor expansion of 0 in a
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [taylor]: Taking taylor expansion of 0 in a
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.126 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [taylor]: Taking taylor expansion of 0 in a
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [taylor]: Taking taylor expansion of 0 in a
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [taylor]: Taking taylor expansion of 0 in a
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify 0 into 0
20.126 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.126 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.126 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.126 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.127 * [taylor]: Taking taylor expansion of 0 in a
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [taylor]: Taking taylor expansion of 0 in a
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [taylor]: Taking taylor expansion of 0 in a
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.127 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
20.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.127 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.128 * [taylor]: Taking taylor expansion of 0 in a
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [taylor]: Taking taylor expansion of 0 in a
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [taylor]: Taking taylor expansion of 0 in a
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify 0 into 0
20.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
20.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
20.128 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.128 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in (c a) around 0
20.128 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
20.128 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
20.128 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
20.128 * [taylor]: Taking taylor expansion of 1/4 in a
20.128 * [backup-simplify]: Simplify 1/4 into 1/4
20.128 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
20.128 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
20.128 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.128 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.129 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
20.129 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3)
20.129 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3))
20.129 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))
20.129 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.129 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in c
20.130 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in c
20.130 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in c
20.130 * [taylor]: Taking taylor expansion of 1/4 in c
20.130 * [backup-simplify]: Simplify 1/4 into 1/4
20.130 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in c
20.130 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in c
20.130 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.130 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.130 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
20.130 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3)
20.130 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3))
20.130 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))
20.130 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.130 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in c
20.130 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in c
20.130 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in c
20.130 * [taylor]: Taking taylor expansion of 1/4 in c
20.130 * [backup-simplify]: Simplify 1/4 into 1/4
20.130 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in c
20.130 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in c
20.130 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
20.130 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.130 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
20.130 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3)
20.131 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3))
20.131 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))
20.131 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.131 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) in a
20.131 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) in a
20.131 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) in a
20.131 * [taylor]: Taking taylor expansion of 1/4 in a
20.131 * [backup-simplify]: Simplify 1/4 into 1/4
20.131 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh c) (log1p a)) 3)) in a
20.131 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 3) in a
20.131 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
20.131 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
20.131 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 2)
20.131 * [backup-simplify]: Simplify (* (fmod (cosh c) (log1p a)) (pow (fmod (cosh c) (log1p a)) 2)) into (pow (fmod (cosh c) (log1p a)) 3)
20.131 * [backup-simplify]: Simplify (log (pow (fmod (cosh c) (log1p a)) 3)) into (log (pow (fmod (cosh c) (log1p a)) 3))
20.131 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3))) into (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))
20.131 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.131 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.132 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0
20.132 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))) into 0
20.133 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 1) into 0
20.134 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))) into 0
20.134 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.134 * [taylor]: Taking taylor expansion of 0 in a
20.134 * [backup-simplify]: Simplify 0 into 0
20.134 * [backup-simplify]: Simplify 0 into 0
20.134 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (fmod (cosh c) (log1p a)))) into 0
20.135 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))) into 0
20.135 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 1) into 0
20.135 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))) into 0
20.136 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.136 * [backup-simplify]: Simplify 0 into 0
20.137 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0
20.137 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2)))) into 0
20.138 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 2) into 0
20.139 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3))))) into 0
20.140 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.140 * [taylor]: Taking taylor expansion of 0 in a
20.140 * [backup-simplify]: Simplify 0 into 0
20.140 * [backup-simplify]: Simplify 0 into 0
20.140 * [backup-simplify]: Simplify 0 into 0
20.140 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a))))) into 0
20.141 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2)))) into 0
20.142 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 2) into 0
20.142 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3))))) into 0
20.143 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.143 * [backup-simplify]: Simplify 0 into 0
20.144 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh c) (log1p a)))))) into 0
20.145 * [backup-simplify]: Simplify (+ (* (fmod (cosh c) (log1p a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh c) (log1p a)) 2))))) into 0
20.147 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh c) (log1p a)) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh c) (log1p a)) 3) 1)))) 6) into 0
20.148 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh c) (log1p a)) 3)))))) into 0
20.150 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh c) (log1p a)) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
20.150 * [taylor]: Taking taylor expansion of 0 in a
20.150 * [backup-simplify]: Simplify 0 into 0
20.150 * [backup-simplify]: Simplify 0 into 0
20.150 * [backup-simplify]: Simplify (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.151 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.151 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in (c a) around 0
20.151 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
20.151 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
20.151 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
20.151 * [taylor]: Taking taylor expansion of 1/4 in a
20.151 * [backup-simplify]: Simplify 1/4 into 1/4
20.151 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
20.151 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
20.151 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.151 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.151 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
20.152 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)
20.152 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))
20.152 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))
20.152 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.152 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in c
20.152 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in c
20.152 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in c
20.152 * [taylor]: Taking taylor expansion of 1/4 in c
20.153 * [backup-simplify]: Simplify 1/4 into 1/4
20.153 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in c
20.153 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in c
20.153 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.153 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.153 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
20.153 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)
20.153 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))
20.154 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))
20.154 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.154 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in c
20.154 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in c
20.154 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in c
20.154 * [taylor]: Taking taylor expansion of 1/4 in c
20.154 * [backup-simplify]: Simplify 1/4 into 1/4
20.154 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in c
20.154 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in c
20.154 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
20.154 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.154 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
20.155 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)
20.155 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))
20.155 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))
20.155 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.155 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) in a
20.155 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) in a
20.155 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) in a
20.155 * [taylor]: Taking taylor expansion of 1/4 in a
20.155 * [backup-simplify]: Simplify 1/4 into 1/4
20.155 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) in a
20.156 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) in a
20.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
20.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
20.156 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)
20.156 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)
20.156 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)) into (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))
20.157 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))
20.157 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.157 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4) into (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1/4)
20.157 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0
20.158 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into 0
20.159 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 1) into 0
20.159 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into 0
20.160 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.160 * [taylor]: Taking taylor expansion of 0 in a
20.160 * [backup-simplify]: Simplify 0 into 0
20.160 * [backup-simplify]: Simplify 0 into 0
20.160 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into 0
20.161 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) into 0
20.162 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 1) into 0
20.162 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) into 0
20.163 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.163 * [backup-simplify]: Simplify 0 into 0
20.164 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
20.164 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0
20.165 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 2) into 0
20.166 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))))) into 0
20.167 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.167 * [taylor]: Taking taylor expansion of 0 in a
20.167 * [backup-simplify]: Simplify 0 into 0
20.167 * [backup-simplify]: Simplify 0 into 0
20.167 * [backup-simplify]: Simplify 0 into 0
20.167 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
20.168 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2)))) into 0
20.169 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 2) into 0
20.170 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))))) into 0
20.170 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.171 * [backup-simplify]: Simplify 0 into 0
20.171 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
20.172 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))))) into 0
20.174 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3) 1)))) 6) into 0
20.175 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))))) into 0
20.176 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
20.176 * [taylor]: Taking taylor expansion of 0 in a
20.176 * [backup-simplify]: Simplify 0 into 0
20.176 * [backup-simplify]: Simplify 0 into 0
20.176 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.176 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.176 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in (c a) around 0
20.177 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
20.177 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
20.177 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
20.177 * [taylor]: Taking taylor expansion of 1/4 in a
20.177 * [backup-simplify]: Simplify 1/4 into 1/4
20.177 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
20.177 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
20.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.177 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
20.177 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)
20.177 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))
20.177 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))
20.177 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.177 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in c
20.177 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in c
20.177 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in c
20.177 * [taylor]: Taking taylor expansion of 1/4 in c
20.177 * [backup-simplify]: Simplify 1/4 into 1/4
20.177 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in c
20.177 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in c
20.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.178 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.178 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
20.178 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)
20.178 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))
20.178 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))
20.178 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.178 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in c
20.178 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in c
20.178 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in c
20.178 * [taylor]: Taking taylor expansion of 1/4 in c
20.178 * [backup-simplify]: Simplify 1/4 into 1/4
20.178 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in c
20.178 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in c
20.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
20.178 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.179 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
20.179 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)
20.179 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))
20.179 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))
20.179 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.179 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) in a
20.179 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) in a
20.179 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) in a
20.179 * [taylor]: Taking taylor expansion of 1/4 in a
20.179 * [backup-simplify]: Simplify 1/4 into 1/4
20.179 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) in a
20.179 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) in a
20.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
20.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
20.179 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)
20.180 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)
20.180 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)) into (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))
20.180 * [backup-simplify]: Simplify (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) into (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))
20.180 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.180 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4) into (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1/4)
20.180 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0
20.180 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into 0
20.181 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 1) into 0
20.181 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into 0
20.182 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.182 * [taylor]: Taking taylor expansion of 0 in a
20.182 * [backup-simplify]: Simplify 0 into 0
20.182 * [backup-simplify]: Simplify 0 into 0
20.182 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into 0
20.182 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) into 0
20.183 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 1) into 0
20.183 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) into 0
20.184 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
20.184 * [backup-simplify]: Simplify 0 into 0
20.184 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
20.185 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0
20.186 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 2) into 0
20.192 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))))) into 0
20.194 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.194 * [taylor]: Taking taylor expansion of 0 in a
20.194 * [backup-simplify]: Simplify 0 into 0
20.194 * [backup-simplify]: Simplify 0 into 0
20.194 * [backup-simplify]: Simplify 0 into 0
20.195 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
20.195 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2)))) into 0
20.197 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 2) into 0
20.199 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))))) into 0
20.201 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
20.201 * [backup-simplify]: Simplify 0 into 0
20.202 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
20.203 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))))) into 0
20.206 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3) 1)))) 6) into 0
20.207 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))))) into 0
20.209 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
20.209 * [taylor]: Taking taylor expansion of 0 in a
20.209 * [backup-simplify]: Simplify 0 into 0
20.209 * [backup-simplify]: Simplify 0 into 0
20.210 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 3) 1/4) into (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.210 * * * [progress]: simplifying candidates
20.210 * * * * [progress]: [ 1 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 2 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 3 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (pow (fmod (cosh c) (log1p a)) 1)))))>
20.210 * * * * [progress]: [ 4 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 5 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 6 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 7 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 8 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))>
20.210 * * * * [progress]: [ 9 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (* 1 (fmod (cosh c) (log1p a)))))))>
20.210 * * * * [progress]: [ 10 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))))>
20.211 * * * * [progress]: [ 11 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 12 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 13 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (pow (fmod (cosh c) (log1p a)) 1)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 14 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (exp (log (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 15 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 16 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 17 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 18 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 19 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (* 1 (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 20 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 21 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 22 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 23 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (pow (fmod (cosh c) (log1p a)) 1)) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 24 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.211 * * * * [progress]: [ 25 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 26 / 88 ] 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 (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 27 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 28 / 88 ] 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 (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 29 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (* 1 (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 30 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 31 / 88 ] simplifiying candidate #<alt (λ (a c) (* (log1p (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 32 / 88 ] simplifiying candidate #<alt (λ (a c) (* (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 33 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1/2 2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 34 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ (/ 1 2) 2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 35 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1/2)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 36 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 (/ 1 2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 37 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1/2 2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 38 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ (/ 1 2) 2))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.212 * * * * [progress]: [ 39 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))) 1/2) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 40 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 1) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 41 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))) (/ 1 2)) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 42 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 43 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 44 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) 1) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 45 / 88 ] simplifiying candidate #<alt (λ (a c) (* (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 46 / 88 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 47 / 88 ] simplifiying candidate #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 48 / 88 ] 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 (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.213 * * * * [progress]: [ 49 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 50 / 88 ] simplifiying candidate #<alt (λ (a c) (* (cbrt (* (* (* (sqrt (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))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 51 / 88 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 52 / 88 ] 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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 53 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.213 * * * * [progress]: [ 54 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 55 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 56 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 57 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 58 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 59 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 60 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 61 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 62 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 63 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 64 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt 1))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 65 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 66 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.214 * * * * [progress]: [ 67 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 68 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 69 / 88 ] 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 (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 70 / 88 ] 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 (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 71 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 72 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 73 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 74 / 88 ] simplifiying candidate #<alt (λ (a c) (* (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 75 / 88 ] simplifiying candidate #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.215 * * * * [progress]: [ 76 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 77 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 78 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 79 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 80 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 81 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 82 / 88 ] 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))))))>
20.215 * * * * [progress]: [ 83 / 88 ] 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))))))>
20.216 * * * * [progress]: [ 84 / 88 ] 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))))))>
20.216 * * * * [progress]: [ 85 / 88 ] 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))))))>
20.216 * * * * [progress]: [ 86 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.216 * * * * [progress]: [ 87 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.216 * * * * [progress]: [ 88 / 88 ] simplifiying candidate #<alt (λ (a c) (* (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
20.217 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (+ 1/2 (/ 1/2 2))
  (+ 1/2 (/ (/ 1 2) 2))
  (+ 1 1/2)
  (+ 1 (/ 1 2))
  (+ (/ 1 2) (/ 1/2 2))
  (+ (/ 1 2) (/ (/ 1 2) 2))
  (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (* (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 (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (cbrt (* (sqrt (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))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (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 (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt 1)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (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 (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 (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
  (pow (pow (fmod (cosh c) (log1p a)) 3) 1/4)
20.219 * * [simplify]: iteration 1: (73 enodes)
20.240 * * [simplify]: iteration 2: (144 enodes)
20.269 * * [simplify]: iteration 3: (329 enodes)
20.362 * * [simplify]: iteration 4: (569 enodes)
20.503 * * [simplify]: iteration 5: (919 enodes)
21.053 * * [simplify]: Extracting #0: cost 30 inf + 0
21.053 * * [simplify]: Extracting #1: cost 167 inf + 2
21.054 * * [simplify]: Extracting #2: cost 308 inf + 10
21.056 * * [simplify]: Extracting #3: cost 298 inf + 3137
21.059 * * [simplify]: Extracting #4: cost 238 inf + 30084
21.074 * * [simplify]: Extracting #5: cost 70 inf + 130232
21.097 * * [simplify]: Extracting #6: cost 4 inf + 173649
21.131 * * [simplify]: Extracting #7: cost 0 inf + 176415
21.159 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  3/4
  3/4
  3/2
  3/2
  3/4
  3/4
  (* (sqrt (fmod (cosh c) (log1p a))) (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)))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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))))
  (* (* (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)))
  (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 (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (fabs (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fabs (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (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)))) (cbrt (sqrt (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)))
  (* (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 (sqrt (fmod (cosh c) (log1p a)))))
  (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1/4)
  (pow (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1/4)
  (pow (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))) 1/4)
21.169 * * * [progress]: adding candidates to table
22.164 * [progress]: [Phase 3 of 3] Extracting.
22.164 * * [regime]: Finding splitpoints for: (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.167 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
22.168 * * * * [regimes]: Trying to branch on (log1p a) from (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.279 * * * * [regimes]: Trying to branch on (cosh c) from (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.377 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.514 * * * * [regimes]: Trying to branch on c from (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.622 * * * * [regimes]: Trying to branch on a from (#<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 (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (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)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (log (exp (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (posit16->real (real->posit16 (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))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>)
22.730 * * * [regime]: Found split indices: #<option (#s(si 14 255))>
22.731 * [simplify]: Simplifying:
  (* (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
22.731 * * [simplify]: iteration 1: (11 enodes)
22.731 * * [simplify]: iteration 2: (13 enodes)
22.732 * * [simplify]: Extracting #0: cost 1 inf + 0
22.732 * * [simplify]: Extracting #1: cost 3 inf + 0
22.732 * * [simplify]: Extracting #2: cost 5 inf + 0
22.732 * * [simplify]: Extracting #3: cost 7 inf + 0
22.732 * * [simplify]: Extracting #4: cost 9 inf + 0
22.732 * * [simplify]: Extracting #5: cost 11 inf + 0
22.732 * * [simplify]: Extracting #6: cost 8 inf + 93
22.732 * * [simplify]: Extracting #7: cost 0 inf + 2508
22.732 * [simplify]: Simplified to:
  (* (* (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
40.971 * [regime-testing]: Baseline error score: 34.15104508619427
40.973 * [regime-testing]: Oracle error score: 34.11818660344006
40.978 * [regime-testing]: End program error score: 34.15104508619427