0.133 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.764 * * * [progress]: [2/2] Setting up program.
0.768 * [progress]: [Phase 2 of 3] Improving.
0.769 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.770 * [simplify]: Simplifying:
  (fmod (cosh c) (log1p a))
0.772 * * [simplify]: iteration 1: (5 enodes)
0.776 * * [simplify]: iteration 2: (11 enodes)
0.780 * * [simplify]: iteration 3: (14 enodes)
0.784 * * [simplify]: Extracting #0: cost 1 inf + 0
0.785 * * [simplify]: Extracting #1: cost 3 inf + 0
0.785 * * [simplify]: Extracting #2: cost 7 inf + 0
0.785 * * [simplify]: Extracting #3: cost 5 inf + 94
0.785 * * [simplify]: Extracting #4: cost 4 inf + 438
0.785 * * [simplify]: Extracting #5: cost 0 inf + 812
0.786 * [simplify]: Simplified to:
  (fmod (cosh c) (log1p a))
0.794 * * [progress]: iteration 1 / 4
0.794 * * * [progress]: picking best candidate
0.799 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.799 * * * [progress]: localizing error
0.835 * * * [progress]: generating rewritten candidates
0.836 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.838 * * * [progress]: generating series expansions
0.839 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.845 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.845 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.846 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.847 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.848 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.848 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.848 * [taylor]: Taking taylor expansion of 0 in a
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [taylor]: Taking taylor expansion of 0 in a
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.849 * [taylor]: Taking taylor expansion of 0 in a
0.849 * [backup-simplify]: Simplify 0 into 0
0.849 * [backup-simplify]: Simplify 0 into 0
0.849 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.850 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.851 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.851 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.851 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.852 * * * [progress]: simplifying candidates
0.852 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.852 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.853 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.853 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.853 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.853 * * * * [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.853 * * * * [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.853 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.853 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.853 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.853 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.853 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.853 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.853 * [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.853 * * [simplify]: iteration 1: (15 enodes)
0.856 * * [simplify]: iteration 2: (22 enodes)
0.859 * * [simplify]: iteration 3: (27 enodes)
0.864 * * [simplify]: iteration 4: (31 enodes)
0.870 * * [simplify]: iteration 5: (39 enodes)
0.878 * * [simplify]: iteration 6: (59 enodes)
0.899 * * [simplify]: iteration 7: (98 enodes)
0.937 * * [simplify]: iteration 8: (204 enodes)
1.045 * * [simplify]: iteration 9: (503 enodes)
1.581 * * [simplify]: iteration 10: (1613 enodes)
7.135 * * [simplify]: Extracting #0: cost 10 inf + 0
7.136 * * [simplify]: Extracting #1: cost 168 inf + 0
7.139 * * [simplify]: Extracting #2: cost 946 inf + 3
7.145 * * [simplify]: Extracting #3: cost 941 inf + 164
7.154 * * [simplify]: Extracting #4: cost 871 inf + 55432
7.215 * * [simplify]: Extracting #5: cost 393 inf + 581934
7.354 * * [simplify]: Extracting #6: cost 2 inf + 1050754
7.563 * * [simplify]: Extracting #7: cost 0 inf + 1050336
7.716 * * [simplify]: Extracting #8: cost 0 inf + 1050205
7.854 * [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.855 * * * [progress]: adding candidates to table
7.996 * * [progress]: iteration 2 / 4
7.996 * * * [progress]: picking best candidate
8.011 * * * * [pick]: Picked  #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.011 * * * [progress]: localizing error
8.027 * * * [progress]: generating rewritten candidates
8.027 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.027 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
8.027 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.042 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
8.046 * * * [progress]: generating series expansions
8.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.047 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.047 * [taylor]: Taking taylor expansion of 0 in a
8.047 * [backup-simplify]: Simplify 0 into 0
8.047 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [taylor]: Taking taylor expansion of 0 in a
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [taylor]: Taking taylor expansion of 0 in a
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify 0 into 0
8.048 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.048 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.049 * [taylor]: Taking taylor expansion of 0 in a
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [taylor]: Taking taylor expansion of 0 in a
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [taylor]: Taking taylor expansion of 0 in a
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.050 * [taylor]: Taking taylor expansion of 0 in a
8.050 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [taylor]: Taking taylor expansion of 0 in a
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [taylor]: Taking taylor expansion of 0 in a
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.051 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
8.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.051 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.052 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.052 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.052 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.052 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.052 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.052 * [taylor]: Taking taylor expansion of 0 in a
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [taylor]: Taking taylor expansion of 0 in a
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [taylor]: Taking taylor expansion of 0 in a
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.052 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.052 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.052 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.052 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.053 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.053 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.053 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.053 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.053 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.053 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.053 * [taylor]: Taking taylor expansion of 0 in a
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [taylor]: Taking taylor expansion of 0 in a
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.054 * [taylor]: Taking taylor expansion of 0 in a
8.054 * [backup-simplify]: Simplify 0 into 0
8.054 * [backup-simplify]: Simplify 0 into 0
8.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.054 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.054 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.054 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.054 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.054 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.055 * [taylor]: Taking taylor expansion of 0 in a
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [taylor]: Taking taylor expansion of 0 in a
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [taylor]: Taking taylor expansion of 0 in a
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.055 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.055 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.056 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
8.056 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.056 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.056 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.056 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.056 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.056 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.056 * [taylor]: Taking taylor expansion of 0 in a
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [taylor]: Taking taylor expansion of 0 in a
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.056 * [taylor]: Taking taylor expansion of 0 in a
8.056 * [backup-simplify]: Simplify 0 into 0
8.057 * [backup-simplify]: Simplify 0 into 0
8.057 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.057 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.057 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.058 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.058 * [taylor]: Taking taylor expansion of 0 in a
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [taylor]: Taking taylor expansion of 0 in a
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [taylor]: Taking taylor expansion of 0 in a
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.058 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.059 * [taylor]: Taking taylor expansion of 0 in a
8.059 * [backup-simplify]: Simplify 0 into 0
8.059 * [backup-simplify]: Simplify 0 into 0
8.059 * [backup-simplify]: Simplify 0 into 0
8.059 * [taylor]: Taking taylor expansion of 0 in a
8.059 * [backup-simplify]: Simplify 0 into 0
8.059 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [taylor]: Taking taylor expansion of 0 in a
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.060 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.060 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.060 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0
8.060 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
8.060 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.060 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.061 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
8.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.061 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
8.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.061 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.061 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.061 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.061 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
8.061 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.062 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.062 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.062 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.062 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.062 * [taylor]: Taking taylor expansion of 0 in a
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.064 * [taylor]: Taking taylor expansion of 0 in a
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
8.065 * [taylor]: Taking taylor expansion of 0 in a
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
8.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.066 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.066 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.066 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.066 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.066 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.066 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.066 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.067 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.067 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.067 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.067 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.067 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.068 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.068 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.068 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.068 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.068 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.068 * [taylor]: Taking taylor expansion of 0 in a
8.068 * [backup-simplify]: Simplify 0 into 0
8.068 * [backup-simplify]: Simplify 0 into 0
8.068 * [backup-simplify]: Simplify 0 into 0
8.069 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.069 * [taylor]: Taking taylor expansion of 0 in a
8.069 * [backup-simplify]: Simplify 0 into 0
8.070 * [backup-simplify]: Simplify 0 into 0
8.070 * [backup-simplify]: Simplify 0 into 0
8.070 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.070 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
8.071 * [taylor]: Taking taylor expansion of 0 in a
8.071 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a)))
8.072 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.072 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.072 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.072 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.072 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.072 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.072 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.072 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.072 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.073 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.073 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.073 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.073 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.073 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.073 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.073 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.074 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.074 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.074 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.074 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.074 * [taylor]: Taking taylor expansion of 0 in a
8.074 * [backup-simplify]: Simplify 0 into 0
8.074 * [backup-simplify]: Simplify 0 into 0
8.074 * [backup-simplify]: Simplify 0 into 0
8.075 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.075 * [taylor]: Taking taylor expansion of 0 in a
8.075 * [backup-simplify]: Simplify 0 into 0
8.075 * [backup-simplify]: Simplify 0 into 0
8.075 * [backup-simplify]: Simplify 0 into 0
8.076 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.076 * [backup-simplify]: Simplify 0 into 0
8.077 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
8.077 * [taylor]: Taking taylor expansion of 0 in a
8.077 * [backup-simplify]: Simplify 0 into 0
8.077 * [backup-simplify]: Simplify 0 into 0
8.077 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a)))
8.077 * * * [progress]: simplifying candidates
8.077 * * * * [progress]: [ 1 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 2 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 3 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (pow (fmod (cosh c) (log1p a)) 1))))>
8.078 * * * * [progress]: [ 4 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 5 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 6 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 7 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 8 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 9 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* 1 (fmod (cosh c) (log1p a))))))>
8.078 * * * * [progress]: [ 10 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
8.078 * * * * [progress]: [ 11 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 12 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 13 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow (fmod (cosh c) (log1p a)) 1)) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 14 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 15 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (log (exp (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 16 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 17 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.078 * * * * [progress]: [ 18 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.079 * * * * [progress]: [ 19 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* 1 (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))>
8.079 * * * * [progress]: [ 20 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a)))))>
8.079 * * * * [progress]: [ 21 / 100 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.079 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.079 * * * * [progress]: [ 23 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 1/2)))>
8.079 * * * * [progress]: [ 24 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ 1/2 (/ 1 2))))>
8.079 * * * * [progress]: [ 25 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
8.079 * * * * [progress]: [ 26 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) 1/2)))>
8.079 * * * * [progress]: [ 27 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (+ (/ 1 2) (/ 1 2))))>
8.079 * * * * [progress]: [ 28 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) 1/2))>
8.079 * * * * [progress]: [ 29 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
8.079 * * * * [progress]: [ 30 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (/ 1 2)))>
8.079 * * * * [progress]: [ 31 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) 2))>
8.079 * * * * [progress]: [ 32 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (+ 1 1)))>
8.079 * * * * [progress]: [ 33 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) 1))>
8.079 * * * * [progress]: [ 34 / 100 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.079 * * * * [progress]: [ 35 / 100 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.079 * * * * [progress]: [ 36 / 100 ] simplifiying candidate #<alt (λ (a c) (log (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 37 / 100 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 38 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 39 / 100 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 40 / 100 ] simplifiying candidate #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))>
8.080 * * * * [progress]: [ 41 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 42 / 100 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.080 * * * * [progress]: [ 43 / 100 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
8.080 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 45 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 46 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 47 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 48 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
8.080 * * * * [progress]: [ 49 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 50 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 51 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
8.080 * * * * [progress]: [ 52 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.080 * * * * [progress]: [ 53 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.081 * * * * [progress]: [ 54 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.081 * * * * [progress]: [ 55 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.081 * * * * [progress]: [ 56 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 1/2)))>
8.081 * * * * [progress]: [ 57 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (sqrt (fmod (cosh c) (log1p a))) (* 2 1)))>
8.081 * * * * [progress]: [ 58 / 100 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) (* 2 (/ 1 2))))>
8.081 * * * * [progress]: [ 59 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 60 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (cbrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 61 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 62 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (sqrt (fmod (cosh c) (log1p a)))))>
8.081 * * * * [progress]: [ 63 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 64 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) 1) (sqrt (fmod (cosh c) (log1p a)))))>
8.081 * * * * [progress]: [ 65 / 100 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 66 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 67 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 68 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 69 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))))>
8.081 * * * * [progress]: [ 70 / 100 ] simplifiying candidate #<alt (λ (a c) (* 1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))>
8.082 * * * * [progress]: [ 71 / 100 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 72 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.082 * * * * [progress]: [ 73 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log1p (expm1 (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 74 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (expm1 (log1p (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 75 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 1/2)))>
8.082 * * * * [progress]: [ 76 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))>
8.082 * * * * [progress]: [ 77 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 78 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 79 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 80 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 81 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 82 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 83 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt 1) (sqrt (fmod (cosh c) (log1p a))))))>
8.082 * * * * [progress]: [ 84 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) (/ 1 2))))>
8.082 * * * * [progress]: [ 85 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))>
8.082 * * * * [progress]: [ 86 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (fabs (sqrt (fmod (cosh c) (log1p a))))))>
8.082 * * * * [progress]: [ 87 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (* 1 (sqrt (fmod (cosh c) (log1p a))))))>
8.082 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (posit16->real (real->posit16 (sqrt (fmod (cosh c) (log1p a)))))))>
8.083 * * * * [progress]: [ 89 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 90 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 91 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 92 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 93 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 94 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 95 / 100 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.083 * * * * [progress]: [ 96 / 100 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.083 * * * * [progress]: [ 97 / 100 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.083 * * * * [progress]: [ 98 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 99 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.083 * * * * [progress]: [ 100 / 100 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
8.085 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (+ 1 1)
  (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))
  (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))
  (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 1 1)
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (sqrt (fmod (cosh c) (log1p a))) 1)
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
  (real->posit16 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt 1)
  (sqrt (fmod (cosh c) (log1p a)))
  (/ 1 2)
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (real->posit16 (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
8.087 * * [simplify]: iteration 1: (66 enodes)
8.126 * * [simplify]: iteration 2: (121 enodes)
8.167 * * [simplify]: iteration 3: (225 enodes)
8.261 * * [simplify]: iteration 4: (516 enodes)
8.871 * * [simplify]: Extracting #0: cost 30 inf + 0
8.872 * * [simplify]: Extracting #1: cost 300 inf + 3
8.873 * * [simplify]: Extracting #2: cost 650 inf + 153
8.876 * * [simplify]: Extracting #3: cost 650 inf + 3983
8.883 * * [simplify]: Extracting #4: cost 518 inf + 53317
8.927 * * [simplify]: Extracting #5: cost 42 inf + 251109
9.004 * * [simplify]: Extracting #6: cost 0 inf + 273561
9.076 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  1
  1
  2
  1
  1
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  2
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  2
  1
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
  (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (sqrt (fmod (cosh c) (log1p a)))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (sqrt (fmod (cosh c) (log1p a))))
  (log1p (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (exp (sqrt (fmod (cosh c) (log1p a))))
  (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))))
  (fabs (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (sqrt (fmod (cosh c) (log1p a)))
  1/2
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (sqrt (sqrt (fmod (cosh c) (log1p a))))
  (real->posit16 (sqrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
9.084 * * * [progress]: adding candidates to table
10.226 * * [progress]: iteration 3 / 4
10.226 * * * [progress]: picking best candidate
10.311 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.311 * * * [progress]: localizing error
10.331 * * * [progress]: generating rewritten candidates
10.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
10.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
10.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.335 * * * [progress]: generating series expansions
10.335 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.335 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.335 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.335 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.335 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.335 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.335 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.336 * [taylor]: Taking taylor expansion of 0 in a
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [taylor]: Taking taylor expansion of 0 in a
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [taylor]: Taking taylor expansion of 0 in a
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.336 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.337 * [taylor]: Taking taylor expansion of 0 in a
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [taylor]: Taking taylor expansion of 0 in a
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [taylor]: Taking taylor expansion of 0 in a
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.338 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.339 * [taylor]: Taking taylor expansion of 0 in a
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [taylor]: Taking taylor expansion of 0 in a
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [taylor]: Taking taylor expansion of 0 in a
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
10.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.339 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.340 * [taylor]: Taking taylor expansion of 0 in a
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [taylor]: Taking taylor expansion of 0 in a
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [taylor]: Taking taylor expansion of 0 in a
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.341 * [taylor]: Taking taylor expansion of 0 in a
10.341 * [backup-simplify]: Simplify 0 into 0
10.341 * [backup-simplify]: Simplify 0 into 0
10.341 * [backup-simplify]: Simplify 0 into 0
10.341 * [taylor]: Taking taylor expansion of 0 in a
10.341 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify 0 into 0
10.342 * [taylor]: Taking taylor expansion of 0 in a
10.342 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.342 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.342 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.342 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.342 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.343 * [taylor]: Taking taylor expansion of 0 in a
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [taylor]: Taking taylor expansion of 0 in a
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [taylor]: Taking taylor expansion of 0 in a
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.343 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.344 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.344 * [taylor]: Taking taylor expansion of 0 in a
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [taylor]: Taking taylor expansion of 0 in a
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify 0 into 0
10.344 * [taylor]: Taking taylor expansion of 0 in a
10.344 * [backup-simplify]: Simplify 0 into 0
10.345 * [backup-simplify]: Simplify 0 into 0
10.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.345 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.346 * [taylor]: Taking taylor expansion of 0 in a
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [taylor]: Taking taylor expansion of 0 in a
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [taylor]: Taking taylor expansion of 0 in a
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.346 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.346 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.347 * [taylor]: Taking taylor expansion of 0 in a
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [taylor]: Taking taylor expansion of 0 in a
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [taylor]: Taking taylor expansion of 0 in a
10.347 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.348 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.348 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.348 * [backup-simplify]: Simplify (cbrt (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.348 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0
10.348 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a
10.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
10.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
10.348 * [taylor]: Taking taylor expansion of 1/3 in a
10.348 * [backup-simplify]: Simplify 1/3 into 1/3
10.348 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
10.348 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.348 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.348 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.349 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
10.349 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.349 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c
10.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
10.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
10.349 * [taylor]: Taking taylor expansion of 1/3 in c
10.349 * [backup-simplify]: Simplify 1/3 into 1/3
10.349 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.349 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.349 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.349 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.349 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
10.350 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.350 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c
10.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c
10.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c
10.350 * [taylor]: Taking taylor expansion of 1/3 in c
10.350 * [backup-simplify]: Simplify 1/3 into 1/3
10.350 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.350 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.350 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
10.350 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.350 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a
10.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a
10.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a
10.350 * [taylor]: Taking taylor expansion of 1/3 in a
10.350 * [backup-simplify]: Simplify 1/3 into 1/3
10.350 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
10.350 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.350 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.351 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.351 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a))))
10.351 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.351 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.353 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
10.353 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
10.355 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.355 * [taylor]: Taking taylor expansion of 0 in a
10.355 * [backup-simplify]: Simplify 0 into 0
10.355 * [backup-simplify]: Simplify 0 into 0
10.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
10.356 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0
10.357 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.357 * [backup-simplify]: Simplify 0 into 0
10.360 * [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
10.361 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
10.362 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.362 * [taylor]: Taking taylor expansion of 0 in a
10.362 * [backup-simplify]: Simplify 0 into 0
10.362 * [backup-simplify]: Simplify 0 into 0
10.362 * [backup-simplify]: Simplify 0 into 0
10.364 * [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
10.365 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0
10.366 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.367 * [backup-simplify]: Simplify 0 into 0
10.370 * [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
10.372 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0
10.373 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.374 * [taylor]: Taking taylor expansion of 0 in a
10.374 * [backup-simplify]: Simplify 0 into 0
10.374 * [backup-simplify]: Simplify 0 into 0
10.374 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.374 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.374 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0
10.374 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a
10.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
10.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
10.374 * [taylor]: Taking taylor expansion of 1/3 in a
10.374 * [backup-simplify]: Simplify 1/3 into 1/3
10.374 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
10.374 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.374 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.374 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.375 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
10.375 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.375 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c
10.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
10.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
10.375 * [taylor]: Taking taylor expansion of 1/3 in c
10.375 * [backup-simplify]: Simplify 1/3 into 1/3
10.375 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.375 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.375 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.375 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.375 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
10.376 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.376 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c
10.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c
10.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
10.376 * [taylor]: Taking taylor expansion of 1/3 in c
10.376 * [backup-simplify]: Simplify 1/3 into 1/3
10.376 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.376 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.376 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.376 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.376 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
10.376 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.377 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a
10.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a
10.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
10.377 * [taylor]: Taking taylor expansion of 1/3 in a
10.377 * [backup-simplify]: Simplify 1/3 into 1/3
10.377 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
10.377 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.377 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.377 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.377 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
10.377 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.377 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3)
10.379 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
10.379 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
10.380 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.380 * [taylor]: Taking taylor expansion of 0 in a
10.380 * [backup-simplify]: Simplify 0 into 0
10.380 * [backup-simplify]: Simplify 0 into 0
10.381 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
10.382 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
10.383 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.383 * [backup-simplify]: Simplify 0 into 0
10.385 * [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
10.386 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
10.387 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.387 * [taylor]: Taking taylor expansion of 0 in a
10.387 * [backup-simplify]: Simplify 0 into 0
10.387 * [backup-simplify]: Simplify 0 into 0
10.387 * [backup-simplify]: Simplify 0 into 0
10.390 * [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
10.391 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0
10.392 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.392 * [backup-simplify]: Simplify 0 into 0
10.395 * [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
10.396 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0
10.397 * [backup-simplify]: Simplify (* (exp (* 1/3 (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
10.397 * [taylor]: Taking taylor expansion of 0 in a
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.397 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.397 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0
10.397 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a
10.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
10.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
10.397 * [taylor]: Taking taylor expansion of 1/3 in a
10.397 * [backup-simplify]: Simplify 1/3 into 1/3
10.397 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
10.397 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.398 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.398 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
10.398 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.398 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c
10.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
10.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
10.398 * [taylor]: Taking taylor expansion of 1/3 in c
10.398 * [backup-simplify]: Simplify 1/3 into 1/3
10.398 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.398 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.398 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.398 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
10.398 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.398 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c
10.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c
10.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
10.398 * [taylor]: Taking taylor expansion of 1/3 in c
10.398 * [backup-simplify]: Simplify 1/3 into 1/3
10.398 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.399 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.399 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
10.399 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.399 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a
10.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a
10.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
10.399 * [taylor]: Taking taylor expansion of 1/3 in a
10.399 * [backup-simplify]: Simplify 1/3 into 1/3
10.399 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
10.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.399 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.399 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
10.399 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.399 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3)
10.400 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
10.400 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
10.401 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.401 * [taylor]: Taking taylor expansion of 0 in a
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
10.402 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
10.402 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.402 * [backup-simplify]: Simplify 0 into 0
10.403 * [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
10.404 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
10.405 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.405 * [taylor]: Taking taylor expansion of 0 in a
10.405 * [backup-simplify]: Simplify 0 into 0
10.405 * [backup-simplify]: Simplify 0 into 0
10.405 * [backup-simplify]: Simplify 0 into 0
10.406 * [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
10.407 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0
10.408 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.408 * [backup-simplify]: Simplify 0 into 0
10.409 * [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
10.410 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0
10.411 * [backup-simplify]: Simplify (* (exp (* 1/3 (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
10.411 * [taylor]: Taking taylor expansion of 0 in a
10.411 * [backup-simplify]: Simplify 0 into 0
10.411 * [backup-simplify]: Simplify 0 into 0
10.411 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3)
10.411 * * * [progress]: simplifying candidates
10.412 * * * * [progress]: [ 1 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 2 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 3 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (pow (fmod (cosh c) (log1p a)) 1))))>
10.412 * * * * [progress]: [ 4 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 5 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 6 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 7 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 8 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 9 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* 1 (fmod (cosh c) (log1p a))))))>
10.412 * * * * [progress]: [ 10 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
10.412 * * * * [progress]: [ 11 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 12 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 13 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 14 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 15 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 16 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 17 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 18 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 19 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 20 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 21 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (log1p (expm1 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 22 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 23 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 24 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 25 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 26 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 27 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.412 * * * * [progress]: [ 28 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 29 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 30 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 31 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log1p (expm1 (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 32 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (expm1 (log1p (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 33 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))>
10.413 * * * * [progress]: [ 34 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (cbrt (fmod (cosh c) (log1p a))) 1)))>
10.413 * * * * [progress]: [ 35 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 36 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 37 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 38 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 39 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (cbrt 1) (cbrt (fmod (cosh c) (log1p a))))))>
10.413 * * * * [progress]: [ 40 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 41 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 42 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 43 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* 1 (cbrt (fmod (cosh c) (log1p a))))))>
10.413 * * * * [progress]: [ 44 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))>
10.413 * * * * [progress]: [ 45 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 46 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 47 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 48 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 49 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 50 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 51 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 52 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 53 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
10.413 * * * * [progress]: [ 54 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))>
10.413 * * * * [progress]: [ 55 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))>
10.413 * * * * [progress]: [ 56 / 56 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))>
10.414 * [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 (cbrt (fmod (cosh c) (log1p a))))
  (log1p (cbrt (fmod (cosh c) (log1p a))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (exp (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt 1)
  (cbrt (fmod (cosh c) (log1p a)))
  (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (cbrt (fmod (cosh c) (log1p a))))
  (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (real->posit16 (cbrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
  (pow (fmod (cosh c) (log1p a)) 1/3)
10.414 * * [simplify]: iteration 1: (30 enodes)
10.420 * * [simplify]: iteration 2: (45 enodes)
10.437 * * [simplify]: iteration 3: (77 enodes)
10.465 * * [simplify]: iteration 4: (139 enodes)
10.554 * * [simplify]: iteration 5: (477 enodes)
11.352 * * [simplify]: Extracting #0: cost 21 inf + 0
11.353 * * [simplify]: Extracting #1: cost 215 inf + 1
11.357 * * [simplify]: Extracting #2: cost 577 inf + 10
11.363 * * [simplify]: Extracting #3: cost 552 inf + 8747
11.419 * * [simplify]: Extracting #4: cost 174 inf + 276423
11.481 * * [simplify]: Extracting #5: cost 1 inf + 403342
11.588 * * [simplify]: Extracting #6: cost 0 inf + 402948
11.701 * [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 (cbrt (fmod (cosh c) (log1p a))))
  (log1p (cbrt (fmod (cosh c) (log1p a))))
  (* 1/3 (log (fmod (cosh c) (log1p a))))
  (exp (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  (cbrt (sqrt (fmod (cosh c) (log1p a))))
  1
  (cbrt (fmod (cosh c) (log1p a)))
  (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))
  (cbrt (cbrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (sqrt (cbrt (fmod (cosh c) (log1p a))))
  (real->posit16 (cbrt (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (cbrt (fmod (cosh c) (log1p a)))
  (cbrt (fmod (cosh c) (log1p a)))
  (cbrt (fmod (cosh c) (log1p a)))
11.705 * * * [progress]: adding candidates to table
12.452 * * [progress]: iteration 4 / 4
12.452 * * * [progress]: picking best candidate
12.552 * * * * [pick]: Picked  #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.552 * * * [progress]: localizing error
12.596 * * * [progress]: generating rewritten candidates
12.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
12.596 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
12.597 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
12.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
12.597 * * * [progress]: generating series expansions
12.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
12.597 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.598 * [taylor]: Taking taylor expansion of 0 in a
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [taylor]: Taking taylor expansion of 0 in a
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [taylor]: Taking taylor expansion of 0 in a
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify 0 into 0
12.598 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.599 * [taylor]: Taking taylor expansion of 0 in a
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [taylor]: Taking taylor expansion of 0 in a
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [taylor]: Taking taylor expansion of 0 in a
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.600 * [taylor]: Taking taylor expansion of 0 in a
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [taylor]: Taking taylor expansion of 0 in a
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [taylor]: Taking taylor expansion of 0 in a
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
12.600 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.600 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.600 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [taylor]: Taking taylor expansion of 0 in a
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [taylor]: Taking taylor expansion of 0 in a
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [taylor]: Taking taylor expansion of 0 in a
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.601 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.601 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.601 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.601 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.601 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.601 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.602 * [taylor]: Taking taylor expansion of 0 in a
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [taylor]: Taking taylor expansion of 0 in a
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [taylor]: Taking taylor expansion of 0 in a
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.602 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.602 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.602 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.603 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.603 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.603 * [taylor]: Taking taylor expansion of 0 in a
12.604 * [backup-simplify]: Simplify 0 into 0
12.604 * [backup-simplify]: Simplify 0 into 0
12.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.604 * [taylor]: Taking taylor expansion of 0 in a
12.604 * [backup-simplify]: Simplify 0 into 0
12.604 * [backup-simplify]: Simplify 0 into 0
12.604 * [backup-simplify]: Simplify 0 into 0
12.605 * [taylor]: Taking taylor expansion of 0 in a
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [taylor]: Taking taylor expansion of 0 in a
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.605 * [taylor]: Taking taylor expansion of 0 in a
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [taylor]: Taking taylor expansion of 0 in a
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.606 * [taylor]: Taking taylor expansion of 0 in a
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [taylor]: Taking taylor expansion of 0 in a
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [taylor]: Taking taylor expansion of 0 in a
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [taylor]: Taking taylor expansion of 0 in a
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.606 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.607 * [taylor]: Taking taylor expansion of 0 in a
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [taylor]: Taking taylor expansion of 0 in a
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [taylor]: Taking taylor expansion of 0 in a
12.607 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify 0 into 0
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.609 * [taylor]: Taking taylor expansion of 0 in a
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [taylor]: Taking taylor expansion of 0 in a
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [taylor]: Taking taylor expansion of 0 in a
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.609 * * * [progress]: simplifying candidates
12.609 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
12.609 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 1))))))>
12.610 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (exp (log (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* 1 (fmod (cosh c) (log1p a))))))))>
12.610 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
12.610 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.610 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.610 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.611 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (* 1 (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.612 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.613 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))>
12.614 * [simplify]: Simplifying:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
12.615 * * [simplify]: iteration 1: (15 enodes)
12.620 * * [simplify]: iteration 2: (22 enodes)
12.627 * * [simplify]: iteration 3: (27 enodes)
12.636 * * [simplify]: iteration 4: (31 enodes)
12.647 * * [simplify]: iteration 5: (39 enodes)
12.662 * * [simplify]: iteration 6: (59 enodes)
12.674 * * [simplify]: iteration 7: (98 enodes)
12.694 * * [simplify]: iteration 8: (204 enodes)
12.778 * * [simplify]: iteration 9: (503 enodes)
13.232 * * [simplify]: iteration 10: (1613 enodes)
18.804 * * [simplify]: Extracting #0: cost 10 inf + 0
18.805 * * [simplify]: Extracting #1: cost 168 inf + 0
18.813 * * [simplify]: Extracting #2: cost 946 inf + 3
18.826 * * [simplify]: Extracting #3: cost 941 inf + 164
18.843 * * [simplify]: Extracting #4: cost 871 inf + 55432
18.939 * * [simplify]: Extracting #5: cost 393 inf + 581934
19.116 * * [simplify]: Extracting #6: cost 2 inf + 1050754
19.273 * * [simplify]: Extracting #7: cost 0 inf + 1050336
19.438 * * [simplify]: Extracting #8: cost 0 inf + 1050205
19.583 * [simplify]: Simplified to:
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (real->posit16 (fmod (cosh c) (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
19.587 * * * [progress]: adding candidates to table
20.497 * [progress]: [Phase 3 of 3] Extracting.
20.498 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
20.501 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
20.501 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
20.607 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
20.727 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
20.901 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
21.040 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (sqrt (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (log (exp (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (log (exp (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (cbrt (* (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (sqrt (sqrt (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (posit16->real (real->posit16 (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (pow (fmod (cosh c) (log1p a)) 1/3)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>)
21.158 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
21.159 * [simplify]: Simplifying:
  (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (* (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a))))))
21.159 * * [simplify]: iteration 1: (14 enodes)
21.160 * * [simplify]: iteration 2: (18 enodes)
21.161 * * [simplify]: Extracting #0: cost 1 inf + 0
21.161 * * [simplify]: Extracting #1: cost 3 inf + 0
21.162 * * [simplify]: Extracting #2: cost 7 inf + 0
21.162 * * [simplify]: Extracting #3: cost 9 inf + 0
21.162 * * [simplify]: Extracting #4: cost 12 inf + 0
21.162 * * [simplify]: Extracting #5: cost 14 inf + 0
21.162 * * [simplify]: Extracting #6: cost 11 inf + 93
21.162 * * [simplify]: Extracting #7: cost 10 inf + 149
21.162 * * [simplify]: Extracting #8: cost 8 inf + 663
21.162 * * [simplify]: Extracting #9: cost 4 inf + 2171
21.163 * * [simplify]: Extracting #10: cost 0 inf + 4279
21.164 * [simplify]: Simplified to:
  (* (* (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (fmod (cosh c) (log1p a)))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a)))))))
47.183 * [regime-testing]: Baseline error score: 34.51866110717803
47.185 * [regime-testing]: Oracle error score: 34.464052550970095
47.190 * [regime-testing]: End program error score: 34.51866110717803