0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.864 * * * [progress]: [2/2] Setting up program.
0.895 * [progress]: [Phase 2 of 3] Improving.
0.895 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.896 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.897 * * [simplify]: iteration 1: (5 enodes)
0.902 * * [simplify]: iteration 2: (21 enodes)
0.907 * * [simplify]: iteration 3: (34 enodes)
0.912 * * [simplify]: iteration 4: (38 enodes)
0.918 * * [simplify]: iteration 5: (40 enodes)
0.924 * * [simplify]: Extracting #0: cost 1 inf + 0
0.924 * * [simplify]: Extracting #1: cost 4 inf + 0
0.924 * * [simplify]: Extracting #2: cost 10 inf + 0
0.925 * * [simplify]: Extracting #3: cost 10 inf + 3
0.925 * * [simplify]: Extracting #4: cost 9 inf + 368
0.925 * * [simplify]: Extracting #5: cost 5 inf + 809
0.925 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.925 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.930 * * [progress]: iteration 1 / 4
0.930 * * * [progress]: picking best candidate
0.933 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.933 * * * [progress]: localizing error
0.948 * * * [progress]: generating rewritten candidates
0.949 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.951 * * * [progress]: generating series expansions
0.951 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.953 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.953 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.954 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.956 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.956 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.956 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.956 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.956 * [taylor]: Taking taylor expansion of 0 in a
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [taylor]: Taking taylor expansion of 0 in a
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [taylor]: Taking taylor expansion of 0 in a
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.958 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.958 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.958 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.958 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.959 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.959 * [taylor]: Taking taylor expansion of 0 in a
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [taylor]: Taking taylor expansion of 0 in a
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [taylor]: Taking taylor expansion of 0 in a
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.960 * [taylor]: Taking taylor expansion of 0 in a
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [taylor]: Taking taylor expansion of 0 in a
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [taylor]: Taking taylor expansion of 0 in a
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.961 * * * [progress]: simplifying candidates
0.961 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.961 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.961 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.961 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.961 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.961 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.961 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
0.961 * * [simplify]: iteration 1: (13 enodes)
0.964 * * [simplify]: iteration 2: (43 enodes)
0.971 * * [simplify]: iteration 3: (58 enodes)
0.999 * * [simplify]: iteration 4: (68 enodes)
1.018 * * [simplify]: iteration 5: (82 enodes)
1.032 * * [simplify]: iteration 6: (108 enodes)
1.061 * * [simplify]: iteration 7: (154 enodes)
1.091 * * [simplify]: iteration 8: (257 enodes)
1.189 * * [simplify]: iteration 9: (528 enodes)
1.546 * * [simplify]: iteration 10: (1482 enodes)
6.637 * * [simplify]: Extracting #0: cost 8 inf + 0
6.638 * * [simplify]: Extracting #1: cost 160 inf + 0
6.645 * * [simplify]: Extracting #2: cost 972 inf + 3
6.657 * * [simplify]: Extracting #3: cost 977 inf + 311
6.664 * * [simplify]: Extracting #4: cost 937 inf + 23985
6.728 * * [simplify]: Extracting #5: cost 399 inf + 584835
6.863 * * [simplify]: Extracting #6: cost 21 inf + 1003348
7.046 * * [simplify]: Extracting #7: cost 0 inf + 1024983
7.243 * * [simplify]: Extracting #8: cost 0 inf + 1024801
7.404 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
7.404 * * * [progress]: adding candidates to table
7.497 * * [progress]: iteration 2 / 4
7.497 * * * [progress]: picking best candidate
7.543 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.543 * * * [progress]: localizing error
7.577 * * * [progress]: generating rewritten candidates
7.577 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
7.577 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
7.579 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.582 * * * [progress]: generating series expansions
7.582 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.582 * [taylor]: Taking taylor expansion of 0 in a
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [taylor]: Taking taylor expansion of 0 in a
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [taylor]: Taking taylor expansion of 0 in a
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.583 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [taylor]: Taking taylor expansion of 0 in a
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.584 * [taylor]: Taking taylor expansion of 0 in a
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [taylor]: Taking taylor expansion of 0 in a
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [taylor]: Taking taylor expansion of 0 in a
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.584 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.584 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.584 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
7.584 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.584 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.585 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.585 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.585 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.585 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.585 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.585 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
7.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.585 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.585 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.586 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.586 * [taylor]: Taking taylor expansion of 0 in a
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify 0 into 0
7.587 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
7.587 * [backup-simplify]: Simplify 0 into 0
7.588 * [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
7.588 * [taylor]: Taking taylor expansion of 0 in a
7.589 * [backup-simplify]: Simplify 0 into 0
7.589 * [backup-simplify]: Simplify 0 into 0
7.589 * [backup-simplify]: Simplify 0 into 0
7.590 * [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
7.590 * [backup-simplify]: Simplify 0 into 0
7.591 * [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
7.591 * [taylor]: Taking taylor expansion of 0 in a
7.591 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
7.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.592 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
7.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.592 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.592 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
7.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.592 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
7.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.592 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.593 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
7.593 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.593 * [taylor]: Taking taylor expansion of 0 in a
7.593 * [backup-simplify]: Simplify 0 into 0
7.593 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
7.594 * [backup-simplify]: Simplify 0 into 0
7.595 * [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
7.595 * [taylor]: Taking taylor expansion of 0 in a
7.595 * [backup-simplify]: Simplify 0 into 0
7.595 * [backup-simplify]: Simplify 0 into 0
7.595 * [backup-simplify]: Simplify 0 into 0
7.596 * [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
7.596 * [backup-simplify]: Simplify 0 into 0
7.598 * [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
7.598 * [taylor]: Taking taylor expansion of 0 in a
7.598 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
7.598 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.598 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
7.598 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.598 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.598 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.598 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.598 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.598 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.598 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.598 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.598 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
7.598 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.598 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.598 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.598 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
7.598 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.599 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.599 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.599 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
7.599 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.599 * [taylor]: Taking taylor expansion of 0 in a
7.599 * [backup-simplify]: Simplify 0 into 0
7.599 * [backup-simplify]: Simplify 0 into 0
7.600 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
7.600 * [backup-simplify]: Simplify 0 into 0
7.601 * [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
7.601 * [taylor]: Taking taylor expansion of 0 in a
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.602 * [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
7.602 * [backup-simplify]: Simplify 0 into 0
7.604 * [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
7.604 * [taylor]: Taking taylor expansion of 0 in a
7.604 * [backup-simplify]: Simplify 0 into 0
7.604 * [backup-simplify]: Simplify 0 into 0
7.604 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
7.604 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.604 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
7.604 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
7.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.604 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.604 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
7.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.605 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
7.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.605 * [taylor]: Taking taylor expansion of 0 in a
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [taylor]: Taking taylor expansion of 0 in a
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [taylor]: Taking taylor expansion of 0 in a
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
7.605 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.605 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
7.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
7.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
7.605 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
7.606 * [taylor]: Taking taylor expansion of 0 in a
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [taylor]: Taking taylor expansion of 0 in a
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [taylor]: Taking taylor expansion of 0 in a
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
7.606 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
7.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
7.606 * [taylor]: Taking taylor expansion of 0 in a
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify 0 into 0
7.607 * [taylor]: Taking taylor expansion of 0 in a
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [taylor]: Taking taylor expansion of 0 in a
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
7.607 * * * [progress]: simplifying candidates
7.607 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
7.607 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
7.607 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
7.607 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
7.607 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
7.607 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.607 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
7.607 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
7.607 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
7.608 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
7.608 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
7.608 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
7.608 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.608 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
7.608 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
7.608 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
7.608 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.608 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.608 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
7.609 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (exp 1), (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (exp (log (cbrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log 1)), (exp (log (fmod (cosh c) (log1p a)))), (log (exp (log (fmod (cosh c) (log1p a))))), (exp (exp (log (fmod (cosh c) (log1p a))))), (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))), (cbrt (exp (log (fmod (cosh c) (log1p a))))), (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (real->posit16 (exp (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
7.609 * * [simplify]: iteration 1: (41 enodes)
7.623 * * [simplify]: iteration 2: (110 enodes)
7.652 * * [simplify]: iteration 3: (153 enodes)
7.691 * * [simplify]: iteration 4: (185 enodes)
7.719 * * [simplify]: iteration 5: (234 enodes)
7.759 * * [simplify]: iteration 6: (340 enodes)
7.840 * * [simplify]: iteration 7: (540 enodes)
8.031 * * [simplify]: iteration 8: (1175 enodes)
9.032 * * [simplify]: Extracting #0: cost 22 inf + 0
9.032 * * [simplify]: Extracting #1: cost 176 inf + 3
9.034 * * [simplify]: Extracting #2: cost 447 inf + 10
9.044 * * [simplify]: Extracting #3: cost 445 inf + 8001
9.062 * * [simplify]: Extracting #4: cost 318 inf + 76643
9.109 * * [simplify]: Extracting #5: cost 105 inf + 272725
9.197 * * [simplify]: Extracting #6: cost 3 inf + 398805
9.283 * * [simplify]: Extracting #7: cost 0 inf + 401576
9.396 * * [simplify]: Extracting #8: cost 0 inf + 401485
9.460 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), E, (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), E, (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
9.463 * * * [progress]: adding candidates to table
9.955 * * [progress]: iteration 3 / 4
9.955 * * * [progress]: picking best candidate
10.002 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.002 * * * [progress]: localizing error
10.031 * * * [progress]: generating rewritten candidates
10.031 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
10.037 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
10.039 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.045 * * * [progress]: generating series expansions
10.045 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
10.046 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.046 * [taylor]: Taking taylor expansion of 0 in a
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [taylor]: Taking taylor expansion of 0 in a
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [taylor]: Taking taylor expansion of 0 in a
10.047 * [backup-simplify]: Simplify 0 into 0
10.047 * [backup-simplify]: Simplify 0 into 0
10.047 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.047 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.047 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
10.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.047 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.047 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.047 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.047 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.047 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.048 * [taylor]: Taking taylor expansion of 0 in a
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [taylor]: Taking taylor expansion of 0 in a
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [taylor]: Taking taylor expansion of 0 in a
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.048 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
10.048 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.048 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.049 * [taylor]: Taking taylor expansion of 0 in a
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [taylor]: Taking taylor expansion of 0 in a
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.050 * [taylor]: Taking taylor expansion of 0 in a
10.050 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.050 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
10.050 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.050 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
10.050 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
10.050 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.050 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.050 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.050 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.050 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.050 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.050 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.050 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.050 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.051 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.051 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
10.051 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.051 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.051 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.051 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.052 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
10.052 * [taylor]: Taking taylor expansion of 0 in a
10.052 * [backup-simplify]: Simplify 0 into 0
10.052 * [backup-simplify]: Simplify 0 into 0
10.053 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
10.053 * [backup-simplify]: Simplify 0 into 0
10.055 * [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.055 * [taylor]: Taking taylor expansion of 0 in a
10.055 * [backup-simplify]: Simplify 0 into 0
10.055 * [backup-simplify]: Simplify 0 into 0
10.055 * [backup-simplify]: Simplify 0 into 0
10.057 * [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.057 * [backup-simplify]: Simplify 0 into 0
10.058 * [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.058 * [taylor]: Taking taylor expansion of 0 in a
10.058 * [backup-simplify]: Simplify 0 into 0
10.058 * [backup-simplify]: Simplify 0 into 0
10.058 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.058 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.058 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
10.059 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
10.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.059 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.059 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.059 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.059 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.059 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.059 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.059 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.059 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.059 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
10.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.059 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.059 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.059 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.060 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
10.060 * [taylor]: Taking taylor expansion of 0 in a
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.061 * [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.062 * [taylor]: Taking taylor expansion of 0 in a
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.063 * [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.063 * [backup-simplify]: Simplify 0 into 0
10.064 * [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.064 * [taylor]: Taking taylor expansion of 0 in a
10.064 * [backup-simplify]: Simplify 0 into 0
10.064 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.065 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
10.065 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
10.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.065 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.065 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.065 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
10.065 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.066 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.066 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
10.066 * [taylor]: Taking taylor expansion of 0 in a
10.066 * [backup-simplify]: Simplify 0 into 0
10.066 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.068 * [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.068 * [taylor]: Taking taylor expansion of 0 in a
10.068 * [backup-simplify]: Simplify 0 into 0
10.068 * [backup-simplify]: Simplify 0 into 0
10.068 * [backup-simplify]: Simplify 0 into 0
10.069 * [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.069 * [backup-simplify]: Simplify 0 into 0
10.071 * [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.071 * [taylor]: Taking taylor expansion of 0 in a
10.071 * [backup-simplify]: Simplify 0 into 0
10.071 * [backup-simplify]: Simplify 0 into 0
10.071 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
10.071 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.071 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
10.071 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
10.071 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
10.071 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
10.071 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
10.071 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
10.071 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.071 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.071 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.071 * [taylor]: Taking taylor expansion of (log E) in a
10.071 * [taylor]: Taking taylor expansion of E in a
10.071 * [backup-simplify]: Simplify E into E
10.071 * [backup-simplify]: Simplify (log E) into 1
10.072 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
10.072 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
10.072 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
10.072 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
10.072 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
10.072 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.072 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.072 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.072 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.072 * [taylor]: Taking taylor expansion of (log E) in c
10.072 * [taylor]: Taking taylor expansion of E in c
10.072 * [backup-simplify]: Simplify E into E
10.072 * [backup-simplify]: Simplify (log E) into 1
10.072 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
10.072 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
10.072 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
10.072 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
10.072 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
10.072 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
10.072 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
10.072 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.072 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
10.072 * [taylor]: Taking taylor expansion of (log E) in c
10.072 * [taylor]: Taking taylor expansion of E in c
10.072 * [backup-simplify]: Simplify E into E
10.072 * [backup-simplify]: Simplify (log E) into 1
10.072 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
10.072 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
10.072 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
10.072 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.072 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.074 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
10.074 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
10.075 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
10.075 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
10.075 * [taylor]: Taking taylor expansion of 0 in a
10.075 * [backup-simplify]: Simplify 0 into 0
10.076 * [backup-simplify]: Simplify 0 into 0
10.076 * [backup-simplify]: Simplify 0 into 0
10.077 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
10.078 * [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.079 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
10.079 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.079 * [taylor]: Taking taylor expansion of 0 in a
10.079 * [backup-simplify]: Simplify 0 into 0
10.079 * [backup-simplify]: Simplify 0 into 0
10.080 * [backup-simplify]: Simplify 0 into 0
10.080 * [backup-simplify]: Simplify 0 into 0
10.082 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
10.084 * [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.085 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.086 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.086 * [taylor]: Taking taylor expansion of 0 in a
10.086 * [backup-simplify]: Simplify 0 into 0
10.086 * [backup-simplify]: Simplify 0 into 0
10.086 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
10.086 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
10.086 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
10.086 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
10.086 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
10.086 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
10.086 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
10.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.086 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.086 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.086 * [taylor]: Taking taylor expansion of (log E) in a
10.086 * [taylor]: Taking taylor expansion of E in a
10.086 * [backup-simplify]: Simplify E into E
10.086 * [backup-simplify]: Simplify (log E) into 1
10.087 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.087 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.087 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
10.087 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
10.087 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
10.087 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.087 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.087 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.087 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.087 * [taylor]: Taking taylor expansion of (log E) in c
10.087 * [taylor]: Taking taylor expansion of E in c
10.087 * [backup-simplify]: Simplify E into E
10.087 * [backup-simplify]: Simplify (log E) into 1
10.087 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.087 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.087 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
10.087 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
10.087 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
10.087 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
10.087 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
10.087 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.087 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.087 * [taylor]: Taking taylor expansion of (log E) in c
10.087 * [taylor]: Taking taylor expansion of E in c
10.087 * [backup-simplify]: Simplify E into E
10.087 * [backup-simplify]: Simplify (log E) into 1
10.087 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
10.087 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.088 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
10.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.088 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
10.089 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
10.090 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
10.090 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
10.091 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.091 * [taylor]: Taking taylor expansion of 0 in a
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify 0 into 0
10.094 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
10.096 * [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.097 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
10.099 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.099 * [taylor]: Taking taylor expansion of 0 in a
10.099 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify 0 into 0
10.104 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
10.108 * [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.109 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.111 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.111 * [taylor]: Taking taylor expansion of 0 in a
10.111 * [backup-simplify]: Simplify 0 into 0
10.111 * [backup-simplify]: Simplify 0 into 0
10.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
10.111 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
10.111 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
10.111 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
10.111 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
10.111 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
10.111 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
10.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.112 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.112 * [taylor]: Taking taylor expansion of (log E) in a
10.112 * [taylor]: Taking taylor expansion of E in a
10.112 * [backup-simplify]: Simplify E into E
10.112 * [backup-simplify]: Simplify (log E) into 1
10.112 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.112 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.112 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
10.112 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
10.112 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
10.112 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.113 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.113 * [taylor]: Taking taylor expansion of (log E) in c
10.113 * [taylor]: Taking taylor expansion of E in c
10.113 * [backup-simplify]: Simplify E into E
10.113 * [backup-simplify]: Simplify (log E) into 1
10.113 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.113 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.113 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
10.113 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
10.113 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
10.113 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
10.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
10.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.114 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.114 * [taylor]: Taking taylor expansion of (log E) in c
10.114 * [taylor]: Taking taylor expansion of E in c
10.114 * [backup-simplify]: Simplify E into E
10.114 * [backup-simplify]: Simplify (log E) into 1
10.114 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
10.114 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
10.114 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.114 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
10.116 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
10.117 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
10.117 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
10.118 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
10.118 * [taylor]: Taking taylor expansion of 0 in a
10.118 * [backup-simplify]: Simplify 0 into 0
10.118 * [backup-simplify]: Simplify 0 into 0
10.118 * [backup-simplify]: Simplify 0 into 0
10.119 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
10.120 * [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.121 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
10.122 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.122 * [taylor]: Taking taylor expansion of 0 in a
10.122 * [backup-simplify]: Simplify 0 into 0
10.122 * [backup-simplify]: Simplify 0 into 0
10.122 * [backup-simplify]: Simplify 0 into 0
10.122 * [backup-simplify]: Simplify 0 into 0
10.125 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
10.127 * [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.127 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.128 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.128 * [taylor]: Taking taylor expansion of 0 in a
10.128 * [backup-simplify]: Simplify 0 into 0
10.128 * [backup-simplify]: Simplify 0 into 0
10.128 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
10.128 * * * [progress]: simplifying candidates
10.128 * * * * [progress]: [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
10.128 * * * * [progress]: [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
10.128 * * * * [progress]: [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
10.128 * * * * [progress]: [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
10.128 * * * * [progress]: [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
10.128 * * * * [progress]: [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
10.128 * * * * [progress]: [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
10.129 * * * * [progress]: [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.129 * * * * [progress]: [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
10.129 * * * * [progress]: [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
10.129 * * * * [progress]: [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
10.129 * * * * [progress]: [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 35 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))))>
10.129 * * * * [progress]: [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
10.130 * * * * [progress]: [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 42 / 53 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
10.130 * * * * [progress]: [ 43 / 53 ] simplifiying candidate #<alt (λ (a c) (* (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2))))>
10.130 * * * * [progress]: [ 44 / 53 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
10.130 * * * * [progress]: [ 45 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 46 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 47 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 48 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 49 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 50 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
10.130 * * * * [progress]: [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.130 * * * * [progress]: [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.130 * * * * [progress]: [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
10.130 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (* 1 (log (fmod (cosh c) (log1p a)))), (* (log E) (log (fmod (cosh c) (log1p a)))), (* (log E) (log (fmod (cosh c) (log1p a)))), (* 1 (log (fmod (cosh c) (log1p a)))), (pow E 1), (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (pow E (sqrt (log (fmod (cosh c) (log1p a))))), (pow E 1), (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (pow E (log (cbrt (fmod (cosh c) (log1p a))))), (pow E (log (sqrt (fmod (cosh c) (log1p a))))), (pow E (log (sqrt (fmod (cosh c) (log1p a))))), (pow E (log 1)), (pow E (log (fmod (cosh c) (log1p a)))), (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))), (pow (cbrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow 1 (log (fmod (cosh c) (log1p a)))), (pow E (log (fmod (cosh c) (log1p a)))), (log (pow E (log (fmod (cosh c) (log1p a))))), (exp (pow E (log (fmod (cosh c) (log1p a))))), (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))), (cbrt (pow E (log (fmod (cosh c) (log1p a))))), (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))), (sqrt (pow E (log (fmod (cosh c) (log1p a))))), (sqrt (pow E (log (fmod (cosh c) (log1p a))))), (pow E (/ (log (fmod (cosh c) (log1p a))) 2)), (pow E (/ (log (fmod (cosh c) (log1p a))) 2)), (real->posit16 (pow E (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
10.131 * * [simplify]: iteration 1: (56 enodes)
10.149 * * [simplify]: iteration 2: (211 enodes)
10.185 * * [simplify]: iteration 3: (409 enodes)
10.275 * * [simplify]: iteration 4: (840 enodes)
10.503 * * [simplify]: iteration 5: (1902 enodes)
11.756 * * [simplify]: Extracting #0: cost 27 inf + 0
11.757 * * [simplify]: Extracting #1: cost 288 inf + 3
11.759 * * [simplify]: Extracting #2: cost 861 inf + 324
11.764 * * [simplify]: Extracting #3: cost 1032 inf + 2395
11.777 * * [simplify]: Extracting #4: cost 869 inf + 74779
11.861 * * [simplify]: Extracting #5: cost 333 inf + 414709
11.969 * * [simplify]: Extracting #6: cost 19 inf + 665840
12.095 * * [simplify]: Extracting #7: cost 0 inf + 677657
12.217 * * [simplify]: Extracting #8: cost 0 inf + 677486
12.321 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), E, (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (pow E (sqrt (log (fmod (cosh c) (log1p a))))), E, (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))), (pow E (log (cbrt (fmod (cosh c) (log1p a))))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))), (pow (cbrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
12.323 * * * [progress]: adding candidates to table
12.872 * * [progress]: iteration 4 / 4
12.872 * * * [progress]: picking best candidate
12.951 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
12.951 * * * [progress]: localizing error
12.974 * * * [progress]: generating rewritten candidates
12.974 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
12.974 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
12.974 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
12.976 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
12.978 * * * [progress]: generating series expansions
12.978 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
12.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.978 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.979 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.979 * [taylor]: Taking taylor expansion of 0 in a
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [taylor]: Taking taylor expansion of 0 in a
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [taylor]: Taking taylor expansion of 0 in a
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify 0 into 0
12.979 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.979 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.980 * [taylor]: Taking taylor expansion of 0 in a
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [taylor]: Taking taylor expansion of 0 in a
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [taylor]: Taking taylor expansion of 0 in a
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify 0 into 0
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.980 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.981 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.981 * [taylor]: Taking taylor expansion of 0 in a
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [taylor]: Taking taylor expansion of 0 in a
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [taylor]: Taking taylor expansion of 0 in a
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.981 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
12.981 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.981 * [taylor]: Taking taylor expansion of 0 in a
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [backup-simplify]: Simplify 0 into 0
12.981 * [taylor]: Taking taylor expansion of 0 in a
12.981 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [taylor]: Taking taylor expansion of 0 in a
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
12.982 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.982 * [taylor]: Taking taylor expansion of 0 in a
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [taylor]: Taking taylor expansion of 0 in a
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [taylor]: Taking taylor expansion of 0 in a
12.982 * [backup-simplify]: Simplify 0 into 0
12.982 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
12.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
12.983 * [taylor]: Taking taylor expansion of 0 in a
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [taylor]: Taking taylor expansion of 0 in a
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [taylor]: Taking taylor expansion of 0 in a
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify 0 into 0
12.983 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
12.984 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
12.984 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.984 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in (c a) around 0
12.984 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
12.984 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
12.984 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.984 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.984 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
12.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.984 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.984 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
12.984 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
12.984 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.984 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.984 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
12.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.985 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.985 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
12.985 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
12.985 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
12.985 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.985 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
12.985 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.985 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.985 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
12.985 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
12.985 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
12.985 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
12.985 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
12.985 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.985 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.985 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.986 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
12.986 * [taylor]: Taking taylor expansion of 0 in a
12.986 * [backup-simplify]: Simplify 0 into 0
12.986 * [backup-simplify]: Simplify 0 into 0
12.987 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
12.987 * [backup-simplify]: Simplify 0 into 0
12.987 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.988 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
12.989 * [taylor]: Taking taylor expansion of 0 in a
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.990 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
12.993 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh c) (log1p a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 6) into 0
12.993 * [taylor]: Taking taylor expansion of 0 in a
12.993 * [backup-simplify]: Simplify 0 into 0
12.993 * [backup-simplify]: Simplify 0 into 0
12.993 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
12.993 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.993 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
12.993 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
12.993 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.993 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.993 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
12.993 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.993 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.993 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.994 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.994 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
12.994 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.994 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
12.994 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
12.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
12.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.994 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.994 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
12.994 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.994 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
12.994 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
12.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
12.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
12.994 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
12.994 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
12.995 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.995 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
12.995 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
12.995 * [taylor]: Taking taylor expansion of 0 in a
12.995 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
12.998 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
12.998 * [taylor]: Taking taylor expansion of 0 in a
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.000 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
13.000 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.003 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 6) into 0
13.003 * [taylor]: Taking taylor expansion of 0 in a
13.003 * [backup-simplify]: Simplify 0 into 0
13.003 * [backup-simplify]: Simplify 0 into 0
13.003 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.004 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.004 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
13.004 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
13.004 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.004 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.004 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.004 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.004 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
13.004 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.004 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.004 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.004 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.004 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
13.004 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.005 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.005 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.005 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
13.005 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.005 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.005 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.005 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.006 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
13.006 * [taylor]: Taking taylor expansion of 0 in a
13.006 * [backup-simplify]: Simplify 0 into 0
13.006 * [backup-simplify]: Simplify 0 into 0
13.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
13.007 * [backup-simplify]: Simplify 0 into 0
13.015 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.017 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
13.017 * [taylor]: Taking taylor expansion of 0 in a
13.017 * [backup-simplify]: Simplify 0 into 0
13.017 * [backup-simplify]: Simplify 0 into 0
13.017 * [backup-simplify]: Simplify 0 into 0
13.017 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.018 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
13.018 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.021 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 6) into 0
13.021 * [taylor]: Taking taylor expansion of 0 in a
13.021 * [backup-simplify]: Simplify 0 into 0
13.021 * [backup-simplify]: Simplify 0 into 0
13.021 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.021 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
13.021 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.021 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in (c a) around 0
13.021 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
13.021 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
13.021 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.021 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.021 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
13.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.022 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.022 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
13.022 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
13.022 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.022 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.022 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
13.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.022 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.022 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
13.022 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
13.022 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
13.022 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.022 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
13.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.022 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.022 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
13.022 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
13.022 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
13.022 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
13.022 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
13.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.023 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.023 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.023 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
13.023 * [taylor]: Taking taylor expansion of 0 in a
13.023 * [backup-simplify]: Simplify 0 into 0
13.024 * [backup-simplify]: Simplify 0 into 0
13.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
13.024 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.026 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
13.026 * [taylor]: Taking taylor expansion of 0 in a
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.027 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 2) into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
13.030 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh c) (log1p a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 6) into 0
13.030 * [taylor]: Taking taylor expansion of 0 in a
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.030 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.030 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
13.030 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
13.030 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.030 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.030 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.030 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.030 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
13.030 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.030 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.031 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.031 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
13.031 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.031 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.031 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
13.031 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
13.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
13.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.031 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.032 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
13.032 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
13.032 * [taylor]: Taking taylor expansion of 0 in a
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.034 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
13.034 * [taylor]: Taking taylor expansion of 0 in a
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.035 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.036 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 2) into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.037 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
13.038 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 6) into 0
13.038 * [taylor]: Taking taylor expansion of 0 in a
13.038 * [backup-simplify]: Simplify 0 into 0
13.039 * [backup-simplify]: Simplify 0 into 0
13.039 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.039 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.039 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
13.039 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
13.039 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.039 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.039 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.039 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
13.039 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.039 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.040 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.040 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
13.040 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
13.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
13.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.040 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.040 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.040 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.040 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
13.040 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
13.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
13.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
13.040 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
13.040 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.040 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.040 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
13.041 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
13.042 * [taylor]: Taking taylor expansion of 0 in a
13.042 * [backup-simplify]: Simplify 0 into 0
13.042 * [backup-simplify]: Simplify 0 into 0
13.043 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
13.043 * [backup-simplify]: Simplify 0 into 0
13.043 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.046 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
13.046 * [taylor]: Taking taylor expansion of 0 in a
13.046 * [backup-simplify]: Simplify 0 into 0
13.046 * [backup-simplify]: Simplify 0 into 0
13.046 * [backup-simplify]: Simplify 0 into 0
13.047 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.048 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 2) into 0
13.049 * [backup-simplify]: Simplify 0 into 0
13.049 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
13.051 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 6) into 0
13.051 * [taylor]: Taking taylor expansion of 0 in a
13.051 * [backup-simplify]: Simplify 0 into 0
13.051 * [backup-simplify]: Simplify 0 into 0
13.051 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))))) into (log (sqrt (fmod (cosh c) (log1p a))))
13.051 * * * [progress]: simplifying candidates
13.051 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (pow (fmod (cosh c) (log1p a)) 1))))))>
13.051 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (exp (log (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (* 1 (fmod (cosh c) (log1p a))))))))>
13.051 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))))>
13.051 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (pow (fmod (cosh c) (log1p a)) 1)))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.051 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (exp (log (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (* 1 (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (posit16->real (real->posit16 (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (sqrt (cbrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log (sqrt 1)) (log (sqrt (fmod (cosh c) (log1p a))))))))>
13.052 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (+ (log 1) (log (sqrt (fmod (cosh c) (log1p a))))))))>
13.052 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1/2 (log (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a))))))))>
13.052 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* (/ 1 2) (log (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (pow (log (sqrt (fmod (cosh c) (log1p a)))) 1))))>
13.052 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (exp (log (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (exp (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (cbrt (* (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* (sqrt (log (sqrt (fmod (cosh c) (log1p a))))) (sqrt (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a))))))))>
13.052 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))>
13.052 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (log (cbrt (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.052 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (log (sqrt (cbrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log (sqrt 1)) (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (+ (log 1) (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1/2 (log (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* (/ 1 2) (log (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (pow (log (sqrt (fmod (cosh c) (log1p a)))) 1)) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (exp (log (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (exp (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (cbrt (* (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* (sqrt (log (sqrt (fmod (cosh c) (log1p a))))) (sqrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.053 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
13.054 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))), (log (cbrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (log (sqrt (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt 1)), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log 1), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))), (cbrt (log (sqrt (fmod (cosh c) (log1p a))))), (* (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (real->posit16 (log (sqrt (fmod (cosh c) (log1p a))))), (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))), (log (cbrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (log (sqrt (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt 1)), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log 1), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))), (cbrt (log (sqrt (fmod (cosh c) (log1p a))))), (* (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (real->posit16 (log (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)), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a))))
13.055 * * [simplify]: iteration 1: (36 enodes)
13.063 * * [simplify]: iteration 2: (112 enodes)
13.080 * * [simplify]: iteration 3: (127 enodes)
13.104 * * [simplify]: iteration 4: (135 enodes)
13.130 * * [simplify]: iteration 5: (156 enodes)
13.159 * * [simplify]: iteration 6: (205 enodes)
13.201 * * [simplify]: iteration 7: (284 enodes)
13.266 * * [simplify]: iteration 8: (477 enodes)
13.416 * * [simplify]: iteration 9: (980 enodes)
13.939 * * [simplify]: Extracting #0: cost 21 inf + 0
13.939 * * [simplify]: Extracting #1: cost 118 inf + 1
13.941 * * [simplify]: Extracting #2: cost 395 inf + 3
13.943 * * [simplify]: Extracting #3: cost 385 inf + 8365
13.954 * * [simplify]: Extracting #4: cost 270 inf + 96785
13.981 * * [simplify]: Extracting #5: cost 56 inf + 291287
14.044 * * [simplify]: Extracting #6: cost 0 inf + 348356
14.082 * * [simplify]: Extracting #7: cost 0 inf + 348276
14.117 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))), (log (cbrt (sqrt (fmod (cosh c) (log1p a))))), (log (fabs (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), 0, (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), 0, (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (fmod (cosh c) (log1p a))), (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))), (cbrt (log (sqrt (fmod (cosh c) (log1p a))))), (* (log (sqrt (fmod (cosh c) (log1p a)))) (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (real->posit16 (log (sqrt (fmod (cosh c) (log1p a))))), (log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))), (log (cbrt (sqrt (fmod (cosh c) (log1p a))))), (log (fabs (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (cbrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), 0, (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), (log (sqrt (sqrt (fmod (cosh c) (log1p a))))), 0, (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (fmod (cosh c) (log1p a))), (log (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (fmod (cosh c) (log1p a))), (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))), (cbrt (log (sqrt (fmod (cosh c) (log1p a))))), (* (log (sqrt (fmod (cosh c) (log1p a)))) (* (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (sqrt (log (sqrt (fmod (cosh c) (log1p a))))), (real->posit16 (log (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)), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a))))
14.121 * * * [progress]: adding candidates to table
14.916 * [progress]: [Phase 3 of 3] Extracting.
14.917 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
14.919 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
14.919 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
15.028 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
15.133 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
15.252 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
15.351 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (* (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>)
15.473 * * * [regime]: Found split indices: #<option (#s(si 15 255))>
15.474 * [simplify]: Simplifying (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))))
15.474 * * [simplify]: iteration 1: (10 enodes)
15.475 * * [simplify]: iteration 2: (12 enodes)
15.475 * * [simplify]: iteration 3: (14 enodes)
15.475 * * [simplify]: Extracting #0: cost 1 inf + 0
15.475 * * [simplify]: Extracting #1: cost 2 inf + 0
15.475 * * [simplify]: Extracting #2: cost 4 inf + 0
15.475 * * [simplify]: Extracting #3: cost 4 inf + 1
15.475 * * [simplify]: Extracting #4: cost 5 inf + 1
15.476 * * [simplify]: Extracting #5: cost 7 inf + 1
15.476 * * [simplify]: Extracting #6: cost 9 inf + 1
15.476 * * [simplify]: Extracting #7: cost 0 inf + 2067
15.476 * [simplify]: Simplified to (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))))
33.425 * [regime-testing]: Baseline error score: 33.44426483762718
33.428 * [regime-testing]: Oracle error score: 33.20388789934089
33.434 * [regime-testing]: End program error score: 33.44426483762718