0.144 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.853 * * * [progress]: [2/2] Setting up program.
0.857 * [progress]: [Phase 2 of 3] Improving.
0.858 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.859 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.860 * * [simplify]: iteration 1: (5 enodes)
0.864 * * [simplify]: iteration 2: (11 enodes)
0.866 * * [simplify]: iteration 3: (14 enodes)
0.868 * * [simplify]: Extracting #0: cost 1 inf + 0
0.868 * * [simplify]: Extracting #1: cost 3 inf + 0
0.868 * * [simplify]: Extracting #2: cost 7 inf + 0
0.868 * * [simplify]: Extracting #3: cost 5 inf + 94
0.868 * * [simplify]: Extracting #4: cost 4 inf + 438
0.869 * * [simplify]: Extracting #5: cost 0 inf + 812
0.869 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.871 * * [progress]: iteration 1 / 4
0.871 * * * [progress]: picking best candidate
0.873 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.874 * * * [progress]: localizing error
0.923 * * * [progress]: generating rewritten candidates
0.923 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.927 * * * [progress]: generating series expansions
0.927 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.931 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.931 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.932 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.934 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.934 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.935 * [taylor]: Taking taylor expansion of 0 in a
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [taylor]: Taking taylor expansion of 0 in a
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [taylor]: Taking taylor expansion of 0 in a
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.938 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.938 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.939 * [taylor]: Taking taylor expansion of 0 in a
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [taylor]: Taking taylor expansion of 0 in a
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [taylor]: Taking taylor expansion of 0 in a
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.941 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.942 * * * [progress]: simplifying candidates
0.942 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.942 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.942 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.942 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.942 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.943 * * * * [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.943 * * * * [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.943 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.943 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.943 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.943 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.943 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.943 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.943 * [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.944 * * [simplify]: iteration 1: (15 enodes)
0.947 * * [simplify]: iteration 2: (22 enodes)
0.950 * * [simplify]: iteration 3: (27 enodes)
0.955 * * [simplify]: iteration 4: (31 enodes)
0.960 * * [simplify]: iteration 5: (39 enodes)
0.967 * * [simplify]: iteration 6: (59 enodes)
0.978 * * [simplify]: iteration 7: (98 enodes)
1.016 * * [simplify]: iteration 8: (204 enodes)
1.129 * * [simplify]: iteration 9: (503 enodes)
1.587 * * [simplify]: iteration 10: (1613 enodes)
7.122 * * [simplify]: Extracting #0: cost 10 inf + 0
7.123 * * [simplify]: Extracting #1: cost 168 inf + 0
7.130 * * [simplify]: Extracting #2: cost 946 inf + 3
7.141 * * [simplify]: Extracting #3: cost 941 inf + 164
7.158 * * [simplify]: Extracting #4: cost 871 inf + 55432
7.221 * * [simplify]: Extracting #5: cost 393 inf + 581934
7.365 * * [simplify]: Extracting #6: cost 2 inf + 1050754
7.544 * * [simplify]: Extracting #7: cost 0 inf + 1050336
7.730 * * [simplify]: Extracting #8: cost 0 inf + 1050205
7.905 * [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))
7.906 * * * [progress]: adding candidates to table
8.029 * * [progress]: iteration 2 / 4
8.029 * * * [progress]: picking best candidate
8.074 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.074 * * * [progress]: localizing error
8.105 * * * [progress]: generating rewritten candidates
8.105 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
8.105 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
8.108 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.115 * * * [progress]: generating series expansions
8.115 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
8.115 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.115 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.115 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.115 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.115 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.115 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.115 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.115 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.115 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.115 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.116 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.116 * [taylor]: Taking taylor expansion of 0 in a
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [taylor]: Taking taylor expansion of 0 in a
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [taylor]: Taking taylor expansion of 0 in a
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.116 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.116 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.116 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.116 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.116 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.116 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.117 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.117 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.117 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.117 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.117 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.117 * [taylor]: Taking taylor expansion of 0 in a
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [taylor]: Taking taylor expansion of 0 in a
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [taylor]: Taking taylor expansion of 0 in a
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.118 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.118 * [taylor]: Taking taylor expansion of 0 in a
8.118 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [taylor]: Taking taylor expansion of 0 in a
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [taylor]: Taking taylor expansion of 0 in a
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.119 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.119 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
8.119 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.119 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
8.119 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.119 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.119 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.119 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.120 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.120 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.120 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.120 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.120 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.120 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.120 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.120 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.120 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.120 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.120 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.120 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.120 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.122 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.122 * [taylor]: Taking taylor expansion of 0 in a
8.122 * [backup-simplify]: Simplify 0 into 0
8.122 * [backup-simplify]: Simplify 0 into 0
8.123 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.123 * [backup-simplify]: Simplify 0 into 0
8.128 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.128 * [taylor]: Taking taylor expansion of 0 in a
8.128 * [backup-simplify]: Simplify 0 into 0
8.128 * [backup-simplify]: Simplify 0 into 0
8.128 * [backup-simplify]: Simplify 0 into 0
8.130 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.130 * [backup-simplify]: Simplify 0 into 0
8.134 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
8.134 * [taylor]: Taking taylor expansion of 0 in a
8.134 * [backup-simplify]: Simplify 0 into 0
8.134 * [backup-simplify]: Simplify 0 into 0
8.134 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.134 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.134 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.134 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.134 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.134 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.134 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.134 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.134 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.135 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.135 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.135 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.135 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.135 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.135 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.136 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.136 * [taylor]: Taking taylor expansion of 0 in a
8.137 * [backup-simplify]: Simplify 0 into 0
8.137 * [backup-simplify]: Simplify 0 into 0
8.137 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.137 * [backup-simplify]: Simplify 0 into 0
8.139 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.139 * [taylor]: Taking taylor expansion of 0 in a
8.139 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify 0 into 0
8.141 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.141 * [backup-simplify]: Simplify 0 into 0
8.144 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
8.145 * [taylor]: Taking taylor expansion of 0 in a
8.145 * [backup-simplify]: Simplify 0 into 0
8.145 * [backup-simplify]: Simplify 0 into 0
8.145 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
8.145 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.145 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.145 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.145 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.145 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.145 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.145 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.145 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.146 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.146 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.146 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.146 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.146 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.146 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.146 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.146 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.146 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.147 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.148 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.148 * [taylor]: Taking taylor expansion of 0 in a
8.148 * [backup-simplify]: Simplify 0 into 0
8.148 * [backup-simplify]: Simplify 0 into 0
8.149 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.149 * [backup-simplify]: Simplify 0 into 0
8.151 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.151 * [taylor]: Taking taylor expansion of 0 in a
8.151 * [backup-simplify]: Simplify 0 into 0
8.151 * [backup-simplify]: Simplify 0 into 0
8.151 * [backup-simplify]: Simplify 0 into 0
8.153 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.153 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
8.157 * [taylor]: Taking taylor expansion of 0 in a
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify 0 into 0
8.157 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
8.157 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.158 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
8.158 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.158 * [taylor]: Taking taylor expansion of 0 in a
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [backup-simplify]: Simplify 0 into 0
8.158 * [taylor]: Taking taylor expansion of 0 in a
8.158 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [taylor]: Taking taylor expansion of 0 in a
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.159 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.159 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [taylor]: Taking taylor expansion of 0 in a
8.160 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify 0 into 0
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.161 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.161 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.161 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.162 * [taylor]: Taking taylor expansion of 0 in a
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [taylor]: Taking taylor expansion of 0 in a
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [taylor]: Taking taylor expansion of 0 in a
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.162 * * * [progress]: simplifying candidates
8.162 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
8.162 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
8.162 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
8.163 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
8.163 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.163 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
8.163 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
8.163 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
8.163 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.163 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
8.164 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
8.164 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
8.164 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
8.164 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
8.164 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
8.164 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.164 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
8.165 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.165 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
8.165 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
8.165 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.165 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.165 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.165 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.166 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (expm1 (exp (log (fmod (cosh c) (log1p a)))))
  (log1p (exp (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
8.167 * * [simplify]: iteration 1: (47 enodes)
8.184 * * [simplify]: iteration 2: (70 enodes)
8.201 * * [simplify]: iteration 3: (94 enodes)
8.235 * * [simplify]: iteration 4: (136 enodes)
8.269 * * [simplify]: iteration 5: (197 enodes)
8.329 * * [simplify]: iteration 6: (333 enodes)
8.457 * * [simplify]: iteration 7: (600 enodes)
8.771 * * [simplify]: iteration 8: (1300 enodes)
11.003 * * [simplify]: Extracting #0: cost 26 inf + 0
11.004 * * [simplify]: Extracting #1: cost 271 inf + 3
11.007 * * [simplify]: Extracting #2: cost 571 inf + 11
11.010 * * [simplify]: Extracting #3: cost 565 inf + 4104
11.016 * * [simplify]: Extracting #4: cost 486 inf + 45272
11.039 * * [simplify]: Extracting #5: cost 233 inf + 213868
11.092 * * [simplify]: Extracting #6: cost 74 inf + 384719
11.265 * * [simplify]: Extracting #7: cost 2 inf + 475900
11.464 * * [simplify]: Extracting #8: cost 0 inf + 460310
11.610 * * [simplify]: Extracting #9: cost 0 inf + 455689
11.809 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
11.812 * * * [progress]: adding candidates to table
12.224 * * [progress]: iteration 3 / 4
12.224 * * * [progress]: picking best candidate
12.286 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.286 * * * [progress]: localizing error
12.320 * * * [progress]: generating rewritten candidates
12.320 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
12.320 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
12.323 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
12.325 * * * [progress]: generating series expansions
12.325 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.325 * [taylor]: Taking taylor expansion of 0 in a
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [taylor]: Taking taylor expansion of 0 in a
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [taylor]: Taking taylor expansion of 0 in a
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify 0 into 0
12.325 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.326 * [taylor]: Taking taylor expansion of 0 in a
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [taylor]: Taking taylor expansion of 0 in a
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [taylor]: Taking taylor expansion of 0 in a
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.326 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.326 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.326 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.327 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.327 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.327 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.327 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.327 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.327 * [taylor]: Taking taylor expansion of 0 in a
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [taylor]: Taking taylor expansion of 0 in a
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [taylor]: Taking taylor expansion of 0 in a
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.327 * * * * [progress]: [ 2 / 3 ] generating series at (2)
12.327 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
12.327 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
12.327 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
12.327 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
12.327 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
12.327 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.327 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.327 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.327 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.328 * [taylor]: Taking taylor expansion of (log E) in a
12.328 * [taylor]: Taking taylor expansion of E in a
12.328 * [backup-simplify]: Simplify E into E
12.328 * [backup-simplify]: Simplify (log E) into 1
12.328 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.328 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.328 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
12.328 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
12.328 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
12.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.328 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.328 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.328 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.328 * [taylor]: Taking taylor expansion of (log E) in c
12.328 * [taylor]: Taking taylor expansion of E in c
12.328 * [backup-simplify]: Simplify E into E
12.328 * [backup-simplify]: Simplify (log E) into 1
12.328 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.328 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.328 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
12.328 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
12.328 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
12.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.328 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.328 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.329 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.329 * [taylor]: Taking taylor expansion of (log E) in c
12.329 * [taylor]: Taking taylor expansion of E in c
12.329 * [backup-simplify]: Simplify E into E
12.329 * [backup-simplify]: Simplify (log E) into 1
12.329 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
12.329 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
12.329 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.329 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.330 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.331 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.331 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
12.332 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
12.332 * [taylor]: Taking taylor expansion of 0 in a
12.332 * [backup-simplify]: Simplify 0 into 0
12.332 * [backup-simplify]: Simplify 0 into 0
12.332 * [backup-simplify]: Simplify 0 into 0
12.334 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.335 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
12.336 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.336 * [taylor]: Taking taylor expansion of 0 in a
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify 0 into 0
12.340 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.342 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
12.343 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.344 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.344 * [taylor]: Taking taylor expansion of 0 in a
12.344 * [backup-simplify]: Simplify 0 into 0
12.344 * [backup-simplify]: Simplify 0 into 0
12.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.344 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.344 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
12.344 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
12.344 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
12.344 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
12.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.344 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.344 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.344 * [taylor]: Taking taylor expansion of (log E) in a
12.344 * [taylor]: Taking taylor expansion of E in a
12.344 * [backup-simplify]: Simplify E into E
12.344 * [backup-simplify]: Simplify (log E) into 1
12.344 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.344 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.344 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.344 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
12.344 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
12.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.344 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.345 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.345 * [taylor]: Taking taylor expansion of (log E) in c
12.345 * [taylor]: Taking taylor expansion of E in c
12.345 * [backup-simplify]: Simplify E into E
12.345 * [backup-simplify]: Simplify (log E) into 1
12.345 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.345 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.345 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.345 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
12.345 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
12.345 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.345 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.345 * [taylor]: Taking taylor expansion of (log E) in c
12.345 * [taylor]: Taking taylor expansion of E in c
12.345 * [backup-simplify]: Simplify E into E
12.345 * [backup-simplify]: Simplify (log E) into 1
12.345 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.345 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.347 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.347 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.347 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
12.348 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
12.348 * [taylor]: Taking taylor expansion of 0 in a
12.348 * [backup-simplify]: Simplify 0 into 0
12.348 * [backup-simplify]: Simplify 0 into 0
12.348 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.351 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.352 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
12.352 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.352 * [taylor]: Taking taylor expansion of 0 in a
12.352 * [backup-simplify]: Simplify 0 into 0
12.352 * [backup-simplify]: Simplify 0 into 0
12.352 * [backup-simplify]: Simplify 0 into 0
12.353 * [backup-simplify]: Simplify 0 into 0
12.356 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.358 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
12.358 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.359 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.360 * [taylor]: Taking taylor expansion of 0 in a
12.360 * [backup-simplify]: Simplify 0 into 0
12.360 * [backup-simplify]: Simplify 0 into 0
12.360 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.360 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
12.360 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
12.360 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
12.360 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
12.360 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
12.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.360 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.360 * [taylor]: Taking taylor expansion of (log E) in a
12.360 * [taylor]: Taking taylor expansion of E in a
12.360 * [backup-simplify]: Simplify E into E
12.360 * [backup-simplify]: Simplify (log E) into 1
12.360 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.360 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.360 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
12.360 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
12.360 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
12.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.360 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.360 * [taylor]: Taking taylor expansion of (log E) in c
12.361 * [taylor]: Taking taylor expansion of E in c
12.361 * [backup-simplify]: Simplify E into E
12.361 * [backup-simplify]: Simplify (log E) into 1
12.361 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.361 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.361 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
12.361 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
12.361 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
12.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.361 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.361 * [taylor]: Taking taylor expansion of (log E) in c
12.361 * [taylor]: Taking taylor expansion of E in c
12.361 * [backup-simplify]: Simplify E into E
12.361 * [backup-simplify]: Simplify (log E) into 1
12.361 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.361 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.361 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.361 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.362 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
12.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.363 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
12.364 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
12.364 * [taylor]: Taking taylor expansion of 0 in a
12.364 * [backup-simplify]: Simplify 0 into 0
12.364 * [backup-simplify]: Simplify 0 into 0
12.364 * [backup-simplify]: Simplify 0 into 0
12.366 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
12.367 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.368 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
12.369 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
12.369 * [taylor]: Taking taylor expansion of 0 in a
12.369 * [backup-simplify]: Simplify 0 into 0
12.369 * [backup-simplify]: Simplify 0 into 0
12.369 * [backup-simplify]: Simplify 0 into 0
12.369 * [backup-simplify]: Simplify 0 into 0
12.373 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
12.375 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
12.375 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.376 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
12.376 * [taylor]: Taking taylor expansion of 0 in a
12.376 * [backup-simplify]: Simplify 0 into 0
12.376 * [backup-simplify]: Simplify 0 into 0
12.376 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.376 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.377 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
12.377 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.377 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.377 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.377 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.377 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.377 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.377 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
12.377 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.377 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.377 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
12.377 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.377 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.377 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.378 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.378 * [taylor]: Taking taylor expansion of 0 in a
12.378 * [backup-simplify]: Simplify 0 into 0
12.378 * [backup-simplify]: Simplify 0 into 0
12.378 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
12.378 * [backup-simplify]: Simplify 0 into 0
12.379 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.379 * [taylor]: Taking taylor expansion of 0 in a
12.379 * [backup-simplify]: Simplify 0 into 0
12.379 * [backup-simplify]: Simplify 0 into 0
12.380 * [backup-simplify]: Simplify 0 into 0
12.381 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
12.381 * [backup-simplify]: Simplify 0 into 0
12.382 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
12.382 * [taylor]: Taking taylor expansion of 0 in a
12.382 * [backup-simplify]: Simplify 0 into 0
12.382 * [backup-simplify]: Simplify 0 into 0
12.383 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.383 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
12.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.383 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.383 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.384 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.384 * [taylor]: Taking taylor expansion of 0 in a
12.384 * [backup-simplify]: Simplify 0 into 0
12.384 * [backup-simplify]: Simplify 0 into 0
12.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
12.385 * [backup-simplify]: Simplify 0 into 0
12.386 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.386 * [taylor]: Taking taylor expansion of 0 in a
12.386 * [backup-simplify]: Simplify 0 into 0
12.386 * [backup-simplify]: Simplify 0 into 0
12.386 * [backup-simplify]: Simplify 0 into 0
12.387 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
12.387 * [backup-simplify]: Simplify 0 into 0
12.389 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
12.389 * [taylor]: Taking taylor expansion of 0 in a
12.389 * [backup-simplify]: Simplify 0 into 0
12.389 * [backup-simplify]: Simplify 0 into 0
12.389 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
12.389 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.389 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
12.389 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.389 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.389 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.389 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.390 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.390 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
12.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.390 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.390 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
12.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.390 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.390 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
12.391 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.391 * [taylor]: Taking taylor expansion of 0 in a
12.391 * [backup-simplify]: Simplify 0 into 0
12.391 * [backup-simplify]: Simplify 0 into 0
12.391 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
12.391 * [backup-simplify]: Simplify 0 into 0
12.392 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.392 * [taylor]: Taking taylor expansion of 0 in a
12.393 * [backup-simplify]: Simplify 0 into 0
12.393 * [backup-simplify]: Simplify 0 into 0
12.393 * [backup-simplify]: Simplify 0 into 0
12.394 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
12.394 * [backup-simplify]: Simplify 0 into 0
12.396 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
12.396 * [taylor]: Taking taylor expansion of 0 in a
12.396 * [backup-simplify]: Simplify 0 into 0
12.396 * [backup-simplify]: Simplify 0 into 0
12.396 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
12.396 * * * [progress]: simplifying candidates
12.396 * * * * [progress]: [ 1 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 2 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 3 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
12.396 * * * * [progress]: [ 4 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 5 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 6 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 7 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 8 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 9 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
12.396 * * * * [progress]: [ 10 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 11 / 59 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (pow E (log (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 12 / 59 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))>
12.396 * * * * [progress]: [ 13 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
12.396 * * * * [progress]: [ 14 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
12.396 * * * * [progress]: [ 15 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
12.396 * * * * [progress]: [ 16 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 17 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
12.397 * * * * [progress]: [ 18 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 19 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 20 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
12.397 * * * * [progress]: [ 21 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 22 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 23 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 24 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 25 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 26 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 27 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
12.397 * * * * [progress]: [ 28 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 29 / 59 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 30 / 59 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 31 / 59 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 32 / 59 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 33 / 59 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 34 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2))))>
12.397 * * * * [progress]: [ 35 / 59 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 36 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 37 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 38 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 39 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 40 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 41 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
12.397 * * * * [progress]: [ 42 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
12.397 * * * * [progress]: [ 43 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.397 * * * * [progress]: [ 44 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
12.397 * * * * [progress]: [ 45 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
12.398 * * * * [progress]: [ 46 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
12.398 * * * * [progress]: [ 47 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
12.398 * * * * [progress]: [ 48 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
12.398 * * * * [progress]: [ 49 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
12.398 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
12.398 * * * * [progress]: [ 51 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * * * * [progress]: [ 52 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * * * * [progress]: [ 53 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * * * * [progress]: [ 54 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
12.398 * * * * [progress]: [ 55 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
12.398 * * * * [progress]: [ 56 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
12.398 * * * * [progress]: [ 57 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * * * * [progress]: [ 58 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * * * * [progress]: [ 59 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
12.398 * [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 (pow E (log (fmod (cosh c) (log1p a)))))
  (log1p (pow E (log (fmod (cosh c) (log1p a)))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* (log E) (log (fmod (cosh c) (log1p a))))
  (* 1 (log (fmod (cosh c) (log1p a))))
  (pow E 1)
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  (pow E 1)
  (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
  (pow E (log 1))
  (pow E (log (fmod (cosh c) (log1p a))))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow 1 (log (fmod (cosh c) (log1p a))))
  (pow E (log (fmod (cosh c) (log1p a))))
  (log (pow E (log (fmod (cosh c) (log1p a)))))
  (exp (pow E (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))))
  (cbrt (pow E (log (fmod (cosh c) (log1p a)))))
  (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
12.399 * * [simplify]: iteration 1: (62 enodes)
12.417 * * [simplify]: iteration 2: (124 enodes)
12.442 * * [simplify]: iteration 3: (242 enodes)
12.576 * * [simplify]: iteration 4: (617 enodes)
13.396 * * [simplify]: iteration 5: (1736 enodes)
14.931 * * [simplify]: Extracting #0: cost 31 inf + 0
14.932 * * [simplify]: Extracting #1: cost 317 inf + 3
14.936 * * [simplify]: Extracting #2: cost 944 inf + 202
14.940 * * [simplify]: Extracting #3: cost 1060 inf + 545
14.944 * * [simplify]: Extracting #4: cost 1053 inf + 6997
14.976 * * [simplify]: Extracting #5: cost 697 inf + 169782
15.068 * * [simplify]: Extracting #6: cost 171 inf + 500273
15.183 * * [simplify]: Extracting #7: cost 13 inf + 634214
15.324 * * [simplify]: Extracting #8: cost 0 inf + 644484
15.497 * * [simplify]: Extracting #9: cost 0 inf + 643280
15.667 * [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)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  E
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))))
  (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (log (fmod (cosh c) (log1p a))))
  (log1p (log (fmod (cosh c) (log1p a))))
  (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (real->posit16 (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
15.670 * * * [progress]: adding candidates to table
16.188 * * [progress]: iteration 4 / 4
16.188 * * * [progress]: picking best candidate
16.294 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.294 * * * [progress]: localizing error
16.339 * * * [progress]: generating rewritten candidates
16.339 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
16.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
16.340 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
16.340 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
16.345 * * * [progress]: generating series expansions
16.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
16.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.345 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.345 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.345 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.345 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.346 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.346 * [taylor]: Taking taylor expansion of 0 in a
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [taylor]: Taking taylor expansion of 0 in a
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [taylor]: Taking taylor expansion of 0 in a
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.346 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.347 * [taylor]: Taking taylor expansion of 0 in a
16.347 * [backup-simplify]: Simplify 0 into 0
16.347 * [backup-simplify]: Simplify 0 into 0
16.347 * [backup-simplify]: Simplify 0 into 0
16.347 * [taylor]: Taking taylor expansion of 0 in a
16.347 * [backup-simplify]: Simplify 0 into 0
16.347 * [backup-simplify]: Simplify 0 into 0
16.348 * [backup-simplify]: Simplify 0 into 0
16.348 * [backup-simplify]: Simplify 0 into 0
16.348 * [taylor]: Taking taylor expansion of 0 in a
16.348 * [backup-simplify]: Simplify 0 into 0
16.348 * [backup-simplify]: Simplify 0 into 0
16.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.348 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.349 * [taylor]: Taking taylor expansion of 0 in a
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [taylor]: Taking taylor expansion of 0 in a
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [taylor]: Taking taylor expansion of 0 in a
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify 0 into 0
16.349 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.349 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.350 * [taylor]: Taking taylor expansion of 0 in a
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [taylor]: Taking taylor expansion of 0 in a
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [taylor]: Taking taylor expansion of 0 in a
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.351 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.351 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.351 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.351 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.351 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.351 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.352 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.352 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.352 * [taylor]: Taking taylor expansion of 0 in a
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [taylor]: Taking taylor expansion of 0 in a
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [backup-simplify]: Simplify 0 into 0
16.352 * [taylor]: Taking taylor expansion of 0 in a
16.353 * [backup-simplify]: Simplify 0 into 0
16.353 * [backup-simplify]: Simplify 0 into 0
16.353 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.353 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.353 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.353 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.354 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.354 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.354 * [taylor]: Taking taylor expansion of 0 in a
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [taylor]: Taking taylor expansion of 0 in a
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [taylor]: Taking taylor expansion of 0 in a
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify 0 into 0
16.354 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.354 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
16.354 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
16.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.355 * [taylor]: Taking taylor expansion of 0 in a
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [taylor]: Taking taylor expansion of 0 in a
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [taylor]: Taking taylor expansion of 0 in a
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.356 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.356 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
16.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.357 * [taylor]: Taking taylor expansion of 0 in a
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [taylor]: Taking taylor expansion of 0 in a
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [taylor]: Taking taylor expansion of 0 in a
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.357 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.357 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
16.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.358 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.358 * [taylor]: Taking taylor expansion of 0 in a
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [taylor]: Taking taylor expansion of 0 in a
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [taylor]: Taking taylor expansion of 0 in a
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.358 * * * * [progress]: [ 4 / 4 ] generating series at (2)
16.359 * [backup-simplify]: Simplify (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) into (pow E (log (fmod (cosh c) (log1p a))))
16.359 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
16.359 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
16.359 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
16.359 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
16.359 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
16.359 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.359 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.359 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.359 * [taylor]: Taking taylor expansion of (log E) in a
16.359 * [taylor]: Taking taylor expansion of E in a
16.359 * [backup-simplify]: Simplify E into E
16.359 * [backup-simplify]: Simplify (log E) into 1
16.359 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
16.359 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.359 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
16.360 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
16.360 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
16.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.360 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.360 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.360 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.360 * [taylor]: Taking taylor expansion of (log E) in c
16.360 * [taylor]: Taking taylor expansion of E in c
16.360 * [backup-simplify]: Simplify E into E
16.360 * [backup-simplify]: Simplify (log E) into 1
16.360 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
16.360 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.360 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
16.360 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
16.360 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
16.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
16.360 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
16.360 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.360 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
16.360 * [taylor]: Taking taylor expansion of (log E) in c
16.360 * [taylor]: Taking taylor expansion of E in c
16.360 * [backup-simplify]: Simplify E into E
16.360 * [backup-simplify]: Simplify (log E) into 1
16.360 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
16.361 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
16.361 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
16.361 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.361 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
16.364 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
16.365 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
16.366 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
16.366 * [taylor]: Taking taylor expansion of 0 in a
16.366 * [backup-simplify]: Simplify 0 into 0
16.366 * [backup-simplify]: Simplify 0 into 0
16.366 * [backup-simplify]: Simplify 0 into 0
16.370 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
16.372 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
16.372 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
16.374 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.374 * [taylor]: Taking taylor expansion of 0 in a
16.374 * [backup-simplify]: Simplify 0 into 0
16.374 * [backup-simplify]: Simplify 0 into 0
16.374 * [backup-simplify]: Simplify 0 into 0
16.374 * [backup-simplify]: Simplify 0 into 0
16.380 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
16.384 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
16.384 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.386 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.386 * [taylor]: Taking taylor expansion of 0 in a
16.386 * [backup-simplify]: Simplify 0 into 0
16.386 * [backup-simplify]: Simplify 0 into 0
16.387 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
16.387 * [backup-simplify]: Simplify (pow E (cbrt (* (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
16.387 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
16.387 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
16.387 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
16.387 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
16.387 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
16.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.387 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.388 * [taylor]: Taking taylor expansion of (log E) in a
16.388 * [taylor]: Taking taylor expansion of E in a
16.388 * [backup-simplify]: Simplify E into E
16.388 * [backup-simplify]: Simplify (log E) into 1
16.388 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.388 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.388 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
16.388 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
16.388 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
16.388 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.388 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.388 * [taylor]: Taking taylor expansion of (log E) in c
16.388 * [taylor]: Taking taylor expansion of E in c
16.388 * [backup-simplify]: Simplify E into E
16.388 * [backup-simplify]: Simplify (log E) into 1
16.389 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.389 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.389 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
16.389 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
16.389 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
16.389 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
16.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
16.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.389 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.389 * [taylor]: Taking taylor expansion of (log E) in c
16.389 * [taylor]: Taking taylor expansion of E in c
16.389 * [backup-simplify]: Simplify E into E
16.389 * [backup-simplify]: Simplify (log E) into 1
16.389 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
16.390 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
16.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
16.392 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
16.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
16.393 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
16.394 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.394 * [taylor]: Taking taylor expansion of 0 in a
16.394 * [backup-simplify]: Simplify 0 into 0
16.394 * [backup-simplify]: Simplify 0 into 0
16.394 * [backup-simplify]: Simplify 0 into 0
16.398 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
16.400 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
16.401 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
16.402 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.402 * [taylor]: Taking taylor expansion of 0 in a
16.402 * [backup-simplify]: Simplify 0 into 0
16.402 * [backup-simplify]: Simplify 0 into 0
16.402 * [backup-simplify]: Simplify 0 into 0
16.402 * [backup-simplify]: Simplify 0 into 0
16.408 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
16.412 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
16.413 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.415 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.415 * [taylor]: Taking taylor expansion of 0 in a
16.415 * [backup-simplify]: Simplify 0 into 0
16.415 * [backup-simplify]: Simplify 0 into 0
16.415 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
16.416 * [backup-simplify]: Simplify (pow E (cbrt (* (* (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
16.416 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
16.416 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
16.416 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
16.416 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
16.416 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
16.416 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.416 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.416 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.416 * [taylor]: Taking taylor expansion of (log E) in a
16.416 * [taylor]: Taking taylor expansion of E in a
16.416 * [backup-simplify]: Simplify E into E
16.416 * [backup-simplify]: Simplify (log E) into 1
16.416 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.417 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.417 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
16.417 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
16.417 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
16.417 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.417 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.417 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.417 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.417 * [taylor]: Taking taylor expansion of (log E) in c
16.417 * [taylor]: Taking taylor expansion of E in c
16.417 * [backup-simplify]: Simplify E into E
16.417 * [backup-simplify]: Simplify (log E) into 1
16.417 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.417 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.417 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
16.418 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
16.418 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
16.418 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
16.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
16.418 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.418 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.418 * [taylor]: Taking taylor expansion of (log E) in c
16.418 * [taylor]: Taking taylor expansion of E in c
16.418 * [backup-simplify]: Simplify E into E
16.418 * [backup-simplify]: Simplify (log E) into 1
16.418 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
16.418 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.418 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
16.419 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.419 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
16.420 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
16.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
16.422 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
16.423 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.423 * [taylor]: Taking taylor expansion of 0 in a
16.423 * [backup-simplify]: Simplify 0 into 0
16.423 * [backup-simplify]: Simplify 0 into 0
16.423 * [backup-simplify]: Simplify 0 into 0
16.427 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
16.429 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
16.430 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
16.431 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.432 * [taylor]: Taking taylor expansion of 0 in a
16.432 * [backup-simplify]: Simplify 0 into 0
16.432 * [backup-simplify]: Simplify 0 into 0
16.432 * [backup-simplify]: Simplify 0 into 0
16.432 * [backup-simplify]: Simplify 0 into 0
16.438 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
16.441 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
16.442 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.444 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.444 * [taylor]: Taking taylor expansion of 0 in a
16.444 * [backup-simplify]: Simplify 0 into 0
16.444 * [backup-simplify]: Simplify 0 into 0
16.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
16.444 * * * [progress]: simplifying candidates
16.444 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
16.444 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
16.444 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
16.445 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
16.445 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.445 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.446 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.446 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.446 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.446 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.446 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.446 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.446 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
16.446 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.446 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.447 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.447 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.447 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (sqrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.447 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.447 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) 1))>
16.447 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
16.447 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (/ (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))) 2)) (pow E (/ (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))) 2))))>
16.447 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
16.447 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.447 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.447 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
16.448 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
16.448 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
16.448 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
16.449 * [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 (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (log1p (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (* 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (* (log E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (* (log E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (* 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
  (pow E (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (pow E 1)
  (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow (sqrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow (sqrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow 1 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
  (log (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (exp (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (* (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
  (cbrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (* (* (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (sqrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (sqrt (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (pow E (/ (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))) 2))
  (pow E (/ (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))) 2))
  (real->posit16 (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (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))
16.451 * * [simplify]: iteration 1: (52 enodes)
16.470 * * [simplify]: iteration 2: (97 enodes)
16.491 * * [simplify]: iteration 3: (174 enodes)
16.570 * * [simplify]: iteration 4: (473 enodes)
16.800 * * [simplify]: iteration 5: (1214 enodes)
18.777 * * [simplify]: Extracting #0: cost 28 inf + 0
18.777 * * [simplify]: Extracting #1: cost 202 inf + 2
18.779 * * [simplify]: Extracting #2: cost 563 inf + 250
18.782 * * [simplify]: Extracting #3: cost 609 inf + 4207
18.797 * * [simplify]: Extracting #4: cost 479 inf + 81231
18.867 * * [simplify]: Extracting #5: cost 131 inf + 319934
18.966 * * [simplify]: Extracting #6: cost 14 inf + 420879
19.118 * * [simplify]: Extracting #7: cost 0 inf + 431790
19.241 * * [simplify]: Extracting #8: cost 0 inf + 431136
19.327 * [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 (pow E (log (fmod (cosh c) (log1p a)))))
  (log1p (pow E (log (fmod (cosh c) (log1p a)))))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
  (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (pow E (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
  (pow (cbrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  (pow (sqrt E) (log (fmod (cosh c) (log1p a))))
  1
  (pow E (log (fmod (cosh c) (log1p a))))
  (log (fmod (cosh c) (log1p a)))
  (exp (pow E (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))))
  (cbrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow (pow E (log (fmod (cosh c) (log1p a)))) 3)
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (sqrt (pow E (log (fmod (cosh c) (log1p a)))))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (pow E (/ (log (fmod (cosh c) (log1p a))) 2))
  (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
19.332 * * * [progress]: adding candidates to table
20.077 * [progress]: [Phase 3 of 3] Extracting.
20.077 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.082 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
20.083 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.228 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.366 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.475 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.610 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (pow (cbrt E) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>)
20.749 * * * [regime]: Found split indices: #<option (#s(si 14 255))>
20.750 * [simplify]: Simplifying:
  (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
20.750 * * [simplify]: iteration 1: (11 enodes)
20.752 * * [simplify]: iteration 2: (12 enodes)
20.753 * * [simplify]: Extracting #0: cost 1 inf + 0
20.753 * * [simplify]: Extracting #1: cost 3 inf + 0
20.753 * * [simplify]: Extracting #2: cost 3 inf + 1
20.753 * * [simplify]: Extracting #3: cost 5 inf + 1
20.753 * * [simplify]: Extracting #4: cost 6 inf + 1
20.753 * * [simplify]: Extracting #5: cost 8 inf + 1
20.753 * * [simplify]: Extracting #6: cost 10 inf + 1
20.753 * * [simplify]: Extracting #7: cost 0 inf + 2453
20.753 * [simplify]: Simplified to:
  (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
46.584 * [regime-testing]: Baseline error score: 34.093116614438685
46.589 * [regime-testing]: Oracle error score: 33.87614725878333
46.594 * [regime-testing]: End program error score: 34.093116614438685