0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.737 * * * [progress]: [2/2] Setting up program.
0.745 * [progress]: [Phase 2 of 3] Improving.
0.745 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.747 * [simplify]: Simplifying (fmod (cosh c) (log1p a))
0.748 * * [simplify]: iteration 1: (5 enodes)
0.755 * * [simplify]: iteration 2: (21 enodes)
0.763 * * [simplify]: iteration 3: (34 enodes)
0.774 * * [simplify]: iteration 4: (38 enodes)
0.786 * * [simplify]: iteration 5: (40 enodes)
0.798 * * [simplify]: Extracting #0: cost 1 inf + 0
0.798 * * [simplify]: Extracting #1: cost 4 inf + 0
0.798 * * [simplify]: Extracting #2: cost 10 inf + 0
0.799 * * [simplify]: Extracting #3: cost 10 inf + 3
0.799 * * [simplify]: Extracting #4: cost 9 inf + 368
0.799 * * [simplify]: Extracting #5: cost 5 inf + 809
0.800 * * [simplify]: Extracting #6: cost 0 inf + 1620
0.800 * [simplify]: Simplified to (fmod (cosh c) (log1p a))
0.808 * * [progress]: iteration 1 / 4
0.809 * * * [progress]: picking best candidate
0.814 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.814 * * * [progress]: localizing error
0.838 * * * [progress]: generating rewritten candidates
0.838 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.842 * * * [progress]: generating series expansions
0.842 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.846 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.848 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.851 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.851 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.851 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.851 * [taylor]: Taking taylor expansion of 0 in a
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
0.855 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.855 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.855 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.855 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.855 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.856 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.856 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
0.856 * [taylor]: Taking taylor expansion of 0 in a
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [taylor]: Taking taylor expansion of 0 in a
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [taylor]: Taking taylor expansion of 0 in a
0.856 * [backup-simplify]: Simplify 0 into 0
0.857 * [backup-simplify]: Simplify 0 into 0
0.857 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
0.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.858 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.858 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
0.859 * * * [progress]: simplifying candidates
0.859 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
0.859 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
0.860 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
0.860 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))>
0.860 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.860 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.860 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.861 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
0.861 * * [simplify]: iteration 1: (15 enodes)
1.312 * * [simplify]: iteration 2: (49 enodes)
1.328 * * [simplify]: iteration 3: (64 enodes)
1.349 * * [simplify]: iteration 4: (74 enodes)
1.375 * * [simplify]: iteration 5: (88 enodes)
1.393 * * [simplify]: iteration 6: (114 enodes)
1.419 * * [simplify]: iteration 7: (160 enodes)
1.479 * * [simplify]: iteration 8: (263 enodes)
1.565 * * [simplify]: iteration 9: (577 enodes)
1.964 * * [simplify]: iteration 10: (1736 enodes)
7.813 * * [simplify]: Extracting #0: cost 10 inf + 0
7.814 * * [simplify]: Extracting #1: cost 183 inf + 0
7.819 * * [simplify]: Extracting #2: cost 1110 inf + 3
7.828 * * [simplify]: Extracting #3: cost 1126 inf + 311
7.845 * * [simplify]: Extracting #4: cost 1046 inf + 59467
7.949 * * [simplify]: Extracting #5: cost 411 inf + 719627
8.147 * * [simplify]: Extracting #6: cost 14 inf + 1135766
8.344 * * [simplify]: Extracting #7: cost 0 inf + 1147510
8.567 * * [simplify]: Extracting #8: cost 0 inf + 1147419
8.766 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
8.767 * * * [progress]: adding candidates to table
8.904 * * [progress]: iteration 2 / 4
8.904 * * * [progress]: picking best candidate
8.928 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.928 * * * [progress]: localizing error
8.944 * * * [progress]: generating rewritten candidates
8.944 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
8.944 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
8.946 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.949 * * * [progress]: generating series expansions
8.949 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.949 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.949 * [taylor]: Taking taylor expansion of 0 in a
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [taylor]: Taking taylor expansion of 0 in a
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [taylor]: Taking taylor expansion of 0 in a
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.950 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.950 * [taylor]: Taking taylor expansion of 0 in a
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [taylor]: Taking taylor expansion of 0 in a
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [taylor]: Taking taylor expansion of 0 in a
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.951 * [taylor]: Taking taylor expansion of 0 in a
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [taylor]: Taking taylor expansion of 0 in a
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [taylor]: Taking taylor expansion of 0 in a
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.951 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.952 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
8.952 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.952 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.952 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.952 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.952 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.952 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.952 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
8.952 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.952 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.952 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
8.952 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.952 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.952 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.953 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.953 * [taylor]: Taking taylor expansion of 0 in a
8.953 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify 0 into 0
8.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
8.954 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.956 * [taylor]: Taking taylor expansion of 0 in a
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 0 into 0
8.957 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
8.957 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
8.964 * [taylor]: Taking taylor expansion of 0 in a
8.964 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.965 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
8.965 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.965 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
8.965 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.965 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.965 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.966 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.966 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
8.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.966 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.966 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
8.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.967 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.967 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
8.968 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.968 * [taylor]: Taking taylor expansion of 0 in a
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
8.969 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.971 * [taylor]: Taking taylor expansion of 0 in a
8.971 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify 0 into 0
8.973 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
8.973 * [backup-simplify]: Simplify 0 into 0
8.976 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
8.976 * [taylor]: Taking taylor expansion of 0 in a
8.976 * [backup-simplify]: Simplify 0 into 0
8.976 * [backup-simplify]: Simplify 0 into 0
8.976 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
8.977 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.977 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
8.977 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.977 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.977 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.977 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.977 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
8.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.978 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.978 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
8.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.978 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.978 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.978 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
8.979 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.979 * [taylor]: Taking taylor expansion of 0 in a
8.979 * [backup-simplify]: Simplify 0 into 0
8.979 * [backup-simplify]: Simplify 0 into 0
8.980 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
8.980 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.982 * [taylor]: Taking taylor expansion of 0 in a
8.983 * [backup-simplify]: Simplify 0 into 0
8.983 * [backup-simplify]: Simplify 0 into 0
8.983 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
8.985 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
8.988 * [taylor]: Taking taylor expansion of 0 in a
8.988 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
8.988 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.988 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
8.988 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
8.989 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.989 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.989 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.989 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.989 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
8.989 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.989 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
8.989 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.989 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.989 * [taylor]: Taking taylor expansion of 0 in a
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [taylor]: Taking taylor expansion of 0 in a
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.990 * [taylor]: Taking taylor expansion of 0 in a
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
8.990 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.990 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
8.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
8.990 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.990 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
8.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
8.991 * [taylor]: Taking taylor expansion of 0 in a
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [taylor]: Taking taylor expansion of 0 in a
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [taylor]: Taking taylor expansion of 0 in a
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
8.992 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.992 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
8.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
8.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
8.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.992 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
8.993 * [taylor]: Taking taylor expansion of 0 in a
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [taylor]: Taking taylor expansion of 0 in a
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [taylor]: Taking taylor expansion of 0 in a
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
8.993 * * * [progress]: simplifying candidates
8.993 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
8.993 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
8.993 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
8.994 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
8.994 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.994 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
8.994 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
8.994 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
8.994 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.995 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
8.995 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
8.995 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
8.995 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
8.995 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
8.995 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
8.995 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
8.995 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
8.996 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.996 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
8.996 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))>
8.996 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
8.996 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.996 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.997 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
8.998 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (exp (log (fmod (cosh c) (log1p a))))), (log1p (exp (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), (exp 1), (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (exp (log (cbrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log (sqrt (fmod (cosh c) (log1p a))))), (exp (log 1)), (exp (log (fmod (cosh c) (log1p a)))), (log (exp (log (fmod (cosh c) (log1p a))))), (exp (exp (log (fmod (cosh c) (log1p a))))), (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))), (cbrt (exp (log (fmod (cosh c) (log1p a))))), (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (sqrt (exp (log (fmod (cosh c) (log1p a))))), (real->posit16 (exp (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
8.999 * * [simplify]: iteration 1: (47 enodes)
9.014 * * [simplify]: iteration 2: (127 enodes)
9.033 * * [simplify]: iteration 3: (176 enodes)
9.072 * * [simplify]: iteration 4: (220 enodes)
9.107 * * [simplify]: iteration 5: (274 enodes)
9.164 * * [simplify]: iteration 6: (387 enodes)
9.248 * * [simplify]: iteration 7: (592 enodes)
9.460 * * [simplify]: iteration 8: (1173 enodes)
10.337 * * [simplify]: Extracting #0: cost 26 inf + 0
10.338 * * [simplify]: Extracting #1: cost 199 inf + 3
10.342 * * [simplify]: Extracting #2: cost 512 inf + 11
10.344 * * [simplify]: Extracting #3: cost 490 inf + 8186
10.354 * * [simplify]: Extracting #4: cost 364 inf + 71099
10.380 * * [simplify]: Extracting #5: cost 191 inf + 217512
10.447 * * [simplify]: Extracting #6: cost 9 inf + 436599
10.511 * * [simplify]: Extracting #7: cost 0 inf + 448024
10.587 * * [simplify]: Extracting #8: cost 0 inf + 447460
10.662 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), 0, (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (fmod (cosh c) (log1p a)), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), E, (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (exp (sqrt (log (fmod (cosh c) (log1p a))))), E, (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
10.665 * * * [progress]: adding candidates to table
11.178 * * [progress]: iteration 3 / 4
11.178 * * * [progress]: picking best candidate
11.270 * * * * [pick]: Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.271 * * * [progress]: localizing error
11.307 * * * [progress]: generating rewritten candidates
11.307 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
11.308 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
11.309 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
11.312 * * * [progress]: generating series expansions
11.312 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
11.312 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.312 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
11.312 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.312 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.312 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.312 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.312 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.312 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.313 * [taylor]: Taking taylor expansion of 0 in a
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [taylor]: Taking taylor expansion of 0 in a
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [taylor]: Taking taylor expansion of 0 in a
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.313 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
11.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.314 * [taylor]: Taking taylor expansion of 0 in a
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [taylor]: Taking taylor expansion of 0 in a
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [taylor]: Taking taylor expansion of 0 in a
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
11.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.314 * [taylor]: Taking taylor expansion of 0 in a
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [taylor]: Taking taylor expansion of 0 in a
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [taylor]: Taking taylor expansion of 0 in a
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.315 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
11.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.315 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
11.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
11.315 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.315 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.315 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.315 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.315 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.315 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
11.315 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.315 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.316 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.316 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
11.316 * [taylor]: Taking taylor expansion of 0 in a
11.316 * [backup-simplify]: Simplify 0 into 0
11.316 * [backup-simplify]: Simplify 0 into 0
11.317 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
11.317 * [backup-simplify]: Simplify 0 into 0
11.319 * [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
11.319 * [taylor]: Taking taylor expansion of 0 in a
11.319 * [backup-simplify]: Simplify 0 into 0
11.319 * [backup-simplify]: Simplify 0 into 0
11.319 * [backup-simplify]: Simplify 0 into 0
11.320 * [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
11.320 * [backup-simplify]: Simplify 0 into 0
11.322 * [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
11.322 * [taylor]: Taking taylor expansion of 0 in a
11.322 * [backup-simplify]: Simplify 0 into 0
11.322 * [backup-simplify]: Simplify 0 into 0
11.322 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.322 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
11.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
11.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
11.323 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.323 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
11.323 * [taylor]: Taking taylor expansion of 0 in a
11.323 * [backup-simplify]: Simplify 0 into 0
11.323 * [backup-simplify]: Simplify 0 into 0
11.324 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
11.324 * [backup-simplify]: Simplify 0 into 0
11.325 * [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
11.325 * [taylor]: Taking taylor expansion of 0 in a
11.325 * [backup-simplify]: Simplify 0 into 0
11.325 * [backup-simplify]: Simplify 0 into 0
11.325 * [backup-simplify]: Simplify 0 into 0
11.326 * [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
11.326 * [backup-simplify]: Simplify 0 into 0
11.328 * [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
11.328 * [taylor]: Taking taylor expansion of 0 in a
11.328 * [backup-simplify]: Simplify 0 into 0
11.328 * [backup-simplify]: Simplify 0 into 0
11.328 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
11.328 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.328 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
11.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
11.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.328 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.328 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.328 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.328 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
11.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.329 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.330 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
11.330 * [taylor]: Taking taylor expansion of 0 in a
11.330 * [backup-simplify]: Simplify 0 into 0
11.330 * [backup-simplify]: Simplify 0 into 0
11.331 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
11.331 * [backup-simplify]: Simplify 0 into 0
11.332 * [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
11.333 * [taylor]: Taking taylor expansion of 0 in a
11.333 * [backup-simplify]: Simplify 0 into 0
11.333 * [backup-simplify]: Simplify 0 into 0
11.333 * [backup-simplify]: Simplify 0 into 0
11.335 * [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
11.335 * [backup-simplify]: Simplify 0 into 0
11.337 * [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
11.337 * [taylor]: Taking taylor expansion of 0 in a
11.337 * [backup-simplify]: Simplify 0 into 0
11.338 * [backup-simplify]: Simplify 0 into 0
11.338 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
11.338 * * * * [progress]: [ 3 / 3 ] generating series at (2)
11.338 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
11.338 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
11.338 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
11.338 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
11.338 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
11.338 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
11.338 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.338 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.338 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.338 * [taylor]: Taking taylor expansion of (log E) in a
11.338 * [taylor]: Taking taylor expansion of E in a
11.338 * [backup-simplify]: Simplify E into E
11.338 * [backup-simplify]: Simplify (log E) into 1
11.339 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
11.339 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
11.339 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
11.339 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
11.339 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
11.339 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.339 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.339 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.339 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.339 * [taylor]: Taking taylor expansion of (log E) in c
11.339 * [taylor]: Taking taylor expansion of E in c
11.340 * [backup-simplify]: Simplify E into E
11.340 * [backup-simplify]: Simplify (log E) into 1
11.340 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
11.340 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
11.340 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
11.340 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
11.340 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
11.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
11.340 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
11.340 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.340 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
11.340 * [taylor]: Taking taylor expansion of (log E) in c
11.340 * [taylor]: Taking taylor expansion of E in c
11.340 * [backup-simplify]: Simplify E into E
11.340 * [backup-simplify]: Simplify (log E) into 1
11.340 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
11.340 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
11.341 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
11.341 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.341 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
11.344 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
11.344 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
11.345 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.345 * [taylor]: Taking taylor expansion of 0 in a
11.345 * [backup-simplify]: Simplify 0 into 0
11.345 * [backup-simplify]: Simplify 0 into 0
11.345 * [backup-simplify]: Simplify 0 into 0
11.348 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
11.350 * [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
11.351 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
11.352 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.352 * [taylor]: Taking taylor expansion of 0 in a
11.352 * [backup-simplify]: Simplify 0 into 0
11.352 * [backup-simplify]: Simplify 0 into 0
11.352 * [backup-simplify]: Simplify 0 into 0
11.352 * [backup-simplify]: Simplify 0 into 0
11.357 * [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
11.360 * [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
11.361 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.362 * [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
11.362 * [taylor]: Taking taylor expansion of 0 in a
11.362 * [backup-simplify]: Simplify 0 into 0
11.362 * [backup-simplify]: Simplify 0 into 0
11.362 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
11.362 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
11.362 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
11.362 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
11.362 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
11.362 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
11.362 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
11.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.363 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.363 * [taylor]: Taking taylor expansion of (log E) in a
11.363 * [taylor]: Taking taylor expansion of E in a
11.363 * [backup-simplify]: Simplify E into E
11.363 * [backup-simplify]: Simplify (log E) into 1
11.363 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.363 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.363 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
11.363 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
11.363 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
11.363 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.363 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.363 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.363 * [taylor]: Taking taylor expansion of (log E) in c
11.363 * [taylor]: Taking taylor expansion of E in c
11.363 * [backup-simplify]: Simplify E into E
11.363 * [backup-simplify]: Simplify (log E) into 1
11.363 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.363 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.363 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
11.363 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
11.363 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
11.363 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
11.363 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
11.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.364 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.364 * [taylor]: Taking taylor expansion of (log E) in c
11.364 * [taylor]: Taking taylor expansion of E in c
11.364 * [backup-simplify]: Simplify E into E
11.364 * [backup-simplify]: Simplify (log E) into 1
11.364 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
11.364 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.364 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
11.364 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.364 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
11.365 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
11.365 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
11.366 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
11.366 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
11.366 * [taylor]: Taking taylor expansion of 0 in a
11.366 * [backup-simplify]: Simplify 0 into 0
11.366 * [backup-simplify]: Simplify 0 into 0
11.366 * [backup-simplify]: Simplify 0 into 0
11.369 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
11.370 * [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
11.371 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
11.371 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.371 * [taylor]: Taking taylor expansion of 0 in a
11.371 * [backup-simplify]: Simplify 0 into 0
11.371 * [backup-simplify]: Simplify 0 into 0
11.372 * [backup-simplify]: Simplify 0 into 0
11.372 * [backup-simplify]: Simplify 0 into 0
11.374 * [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
11.376 * [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
11.377 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.378 * [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
11.378 * [taylor]: Taking taylor expansion of 0 in a
11.378 * [backup-simplify]: Simplify 0 into 0
11.378 * [backup-simplify]: Simplify 0 into 0
11.378 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
11.378 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
11.378 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
11.378 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
11.378 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
11.378 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
11.378 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
11.378 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.378 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.378 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.378 * [taylor]: Taking taylor expansion of (log E) in a
11.378 * [taylor]: Taking taylor expansion of E in a
11.378 * [backup-simplify]: Simplify E into E
11.378 * [backup-simplify]: Simplify (log E) into 1
11.378 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.379 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.379 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
11.379 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
11.379 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
11.379 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.379 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.379 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.379 * [taylor]: Taking taylor expansion of (log E) in c
11.379 * [taylor]: Taking taylor expansion of E in c
11.379 * [backup-simplify]: Simplify E into E
11.379 * [backup-simplify]: Simplify (log E) into 1
11.379 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.379 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.379 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
11.379 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
11.379 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
11.379 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
11.379 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
11.379 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.379 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.379 * [taylor]: Taking taylor expansion of (log E) in c
11.379 * [taylor]: Taking taylor expansion of E in c
11.379 * [backup-simplify]: Simplify E into E
11.379 * [backup-simplify]: Simplify (log E) into 1
11.379 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
11.380 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
11.380 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.380 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
11.381 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
11.381 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
11.381 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
11.382 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
11.382 * [taylor]: Taking taylor expansion of 0 in a
11.382 * [backup-simplify]: Simplify 0 into 0
11.382 * [backup-simplify]: Simplify 0 into 0
11.382 * [backup-simplify]: Simplify 0 into 0
11.384 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
11.385 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
11.385 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
11.386 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.386 * [taylor]: Taking taylor expansion of 0 in a
11.386 * [backup-simplify]: Simplify 0 into 0
11.386 * [backup-simplify]: Simplify 0 into 0
11.386 * [backup-simplify]: Simplify 0 into 0
11.386 * [backup-simplify]: Simplify 0 into 0
11.389 * [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
11.392 * [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
11.393 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.395 * [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
11.395 * [taylor]: Taking taylor expansion of 0 in a
11.395 * [backup-simplify]: Simplify 0 into 0
11.395 * [backup-simplify]: Simplify 0 into 0
11.395 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
11.395 * * * [progress]: simplifying candidates
11.395 * * * * [progress]: [ 1 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 2 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 3 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
11.395 * * * * [progress]: [ 4 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 5 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 6 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 7 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 8 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
11.395 * * * * [progress]: [ 9 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
11.396 * * * * [progress]: [ 10 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (posit16->real (real->posit16 (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 11 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 12 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 13 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 14 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 15 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
11.396 * * * * [progress]: [ 16 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
11.396 * * * * [progress]: [ 17 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
11.396 * * * * [progress]: [ 18 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.396 * * * * [progress]: [ 19 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 20 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 21 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 22 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 23 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
11.396 * * * * [progress]: [ 24 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 25 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))>
11.397 * * * * [progress]: [ 26 / 59 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (pow E (log (fmod (cosh c) (log1p a)))))))>
11.397 * * * * [progress]: [ 27 / 59 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))>
11.397 * * * * [progress]: [ 28 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 29 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 30 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 31 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 32 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
11.397 * * * * [progress]: [ 33 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 34 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 35 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
11.397 * * * * [progress]: [ 36 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
11.397 * * * * [progress]: [ 37 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
11.397 * * * * [progress]: [ 38 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 39 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a))))))>
11.397 * * * * [progress]: [ 40 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a))))))>
11.398 * * * * [progress]: [ 41 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))))>
11.398 * * * * [progress]: [ 42 / 59 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
11.398 * * * * [progress]: [ 43 / 59 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 44 / 59 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 45 / 59 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 46 / 59 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 47 / 59 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 48 / 59 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
11.398 * * * * [progress]: [ 49 / 59 ] simplifiying candidate #<alt (λ (a c) (* (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2))))>
11.398 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #<alt (λ (a c) (posit16->real (real->posit16 (pow E (log (fmod (cosh c) (log1p a)))))))>
11.398 * * * * [progress]: [ 51 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 52 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 53 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 54 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 55 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 56 / 59 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
11.398 * * * * [progress]: [ 57 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.398 * * * * [progress]: [ 58 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.398 * * * * [progress]: [ 59 / 59 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
11.399 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))), (log (cbrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log (sqrt (fmod (cosh c) (log1p a)))), (log 1), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (log (fmod (cosh c) (log1p a)))), (exp (log (fmod (cosh c) (log1p a)))), (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))), (cbrt (log (fmod (cosh c) (log1p a)))), (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (sqrt (log (fmod (cosh c) (log1p a)))), (real->posit16 (log (fmod (cosh c) (log1p a)))), (expm1 (pow E (log (fmod (cosh c) (log1p a))))), (log1p (pow E (log (fmod (cosh c) (log1p a))))), (* 1 (log (fmod (cosh c) (log1p a)))), (* (log E) (log (fmod (cosh c) (log1p a)))), (* (log E) (log (fmod (cosh c) (log1p a)))), (* 1 (log (fmod (cosh c) (log1p a)))), (pow E 1), (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (pow E (sqrt (log (fmod (cosh c) (log1p a))))), (pow E 1), (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))), (pow E (log (cbrt (fmod (cosh c) (log1p a))))), (pow E (log (sqrt (fmod (cosh c) (log1p a))))), (pow E (log (sqrt (fmod (cosh c) (log1p a))))), (pow E (log 1)), (pow E (log (fmod (cosh c) (log1p a)))), (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))), (pow (cbrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow 1 (log (fmod (cosh c) (log1p a)))), (pow E (log (fmod (cosh c) (log1p a)))), (log (pow E (log (fmod (cosh c) (log1p a))))), (exp (pow E (log (fmod (cosh c) (log1p a))))), (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))), (cbrt (pow E (log (fmod (cosh c) (log1p a))))), (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))), (sqrt (pow E (log (fmod (cosh c) (log1p a))))), (sqrt (pow E (log (fmod (cosh c) (log1p a))))), (pow E (/ (log (fmod (cosh c) (log1p a))) 2)), (pow E (/ (log (fmod (cosh c) (log1p a))) 2)), (real->posit16 (pow E (log (fmod (cosh c) (log1p a))))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a)), (fmod (cosh c) (log1p a))
11.399 * * [simplify]: iteration 1: (62 enodes)
11.418 * * [simplify]: iteration 2: (229 enodes)
11.461 * * [simplify]: iteration 3: (427 enodes)
11.600 * * [simplify]: iteration 4: (867 enodes)
11.889 * * [simplify]: iteration 5: (1989 enodes)
13.329 * * [simplify]: Extracting #0: cost 31 inf + 0
13.330 * * [simplify]: Extracting #1: cost 312 inf + 3
13.335 * * [simplify]: Extracting #2: cost 945 inf + 132
13.347 * * [simplify]: Extracting #3: cost 1077 inf + 1960
13.354 * * [simplify]: Extracting #4: cost 974 inf + 49912
13.409 * * [simplify]: Extracting #5: cost 413 inf + 420486
13.524 * * [simplify]: Extracting #6: cost 41 inf + 729065
13.645 * * [simplify]: Extracting #7: cost 8 inf + 757848
13.758 * * [simplify]: Extracting #8: cost 0 inf + 765316
13.869 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (fmod (cosh c) (log1p a)))), (log1p (log (fmod (cosh c) (log1p a)))), (+ (log (cbrt (fmod (cosh c) (log1p a)))) (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)))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), E, (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))), (pow E (sqrt (log (fmod (cosh c) (log1p a))))), E, (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))), (pow E (log (cbrt (fmod (cosh c) (log1p a))))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), 1, (fmod (cosh c) (log1p a)), (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))), (pow (cbrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), (pow (sqrt E) (log (fmod (cosh c) (log1p a)))), 1, (fmod (cosh c) (log1p a)), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (fmod (cosh c) (log1p a)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (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))
13.873 * * * [progress]: adding candidates to table
14.453 * * [progress]: iteration 4 / 4
14.453 * * * [progress]: picking best candidate
14.525 * * * * [pick]: Picked  #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.525 * * * [progress]: localizing error
14.559 * * * [progress]: generating rewritten candidates
14.559 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
14.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
14.559 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
14.561 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
14.563 * * * [progress]: generating series expansions
14.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
14.563 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.563 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
14.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [taylor]: Taking taylor expansion of 0 in a
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [taylor]: Taking taylor expansion of 0 in a
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [taylor]: Taking taylor expansion of 0 in a
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.564 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.564 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.564 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.564 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.565 * [taylor]: Taking taylor expansion of 0 in a
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [taylor]: Taking taylor expansion of 0 in a
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [taylor]: Taking taylor expansion of 0 in a
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify 0 into 0
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.565 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
14.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.565 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.566 * [taylor]: Taking taylor expansion of 0 in a
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [taylor]: Taking taylor expansion of 0 in a
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [taylor]: Taking taylor expansion of 0 in a
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
14.566 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
14.566 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.566 * [taylor]: Taking taylor expansion of 0 in a
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.566 * [backup-simplify]: Simplify 0 into 0
14.567 * [taylor]: Taking taylor expansion of 0 in a
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [taylor]: Taking taylor expansion of 0 in a
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
14.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.567 * [taylor]: Taking taylor expansion of 0 in a
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [taylor]: Taking taylor expansion of 0 in a
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [taylor]: Taking taylor expansion of 0 in a
14.567 * [backup-simplify]: Simplify 0 into 0
14.567 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
14.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.568 * [taylor]: Taking taylor expansion of 0 in a
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [taylor]: Taking taylor expansion of 0 in a
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [taylor]: Taking taylor expansion of 0 in a
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify 0 into 0
14.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
14.568 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
14.569 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.569 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in (c a) around 0
14.569 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
14.569 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
14.569 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.569 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.569 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.569 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.569 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
14.569 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
14.569 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.569 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.569 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.569 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.569 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
14.569 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
14.569 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.570 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.570 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.570 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
14.570 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
14.570 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.570 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.570 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.570 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
14.571 * [taylor]: Taking taylor expansion of 0 in a
14.571 * [backup-simplify]: Simplify 0 into 0
14.571 * [backup-simplify]: Simplify 0 into 0
14.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
14.571 * [backup-simplify]: Simplify 0 into 0
14.572 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.573 * [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
14.573 * [taylor]: Taking taylor expansion of 0 in a
14.573 * [backup-simplify]: Simplify 0 into 0
14.573 * [backup-simplify]: Simplify 0 into 0
14.573 * [backup-simplify]: Simplify 0 into 0
14.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.575 * [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
14.575 * [backup-simplify]: Simplify 0 into 0
14.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.577 * [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
14.577 * [taylor]: Taking taylor expansion of 0 in a
14.577 * [backup-simplify]: Simplify 0 into 0
14.577 * [backup-simplify]: Simplify 0 into 0
14.577 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.577 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.577 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
14.577 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
14.577 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.578 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.578 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.578 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
14.578 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.578 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.578 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.578 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.578 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
14.578 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.578 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.578 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.578 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.579 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
14.579 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.579 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.579 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.579 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.579 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.579 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.579 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.580 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
14.580 * [taylor]: Taking taylor expansion of 0 in a
14.580 * [backup-simplify]: Simplify 0 into 0
14.580 * [backup-simplify]: Simplify 0 into 0
14.580 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
14.580 * [backup-simplify]: Simplify 0 into 0
14.581 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.582 * [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
14.582 * [taylor]: Taking taylor expansion of 0 in a
14.582 * [backup-simplify]: Simplify 0 into 0
14.582 * [backup-simplify]: Simplify 0 into 0
14.582 * [backup-simplify]: Simplify 0 into 0
14.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.583 * [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
14.583 * [backup-simplify]: Simplify 0 into 0
14.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.586 * [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
14.586 * [taylor]: Taking taylor expansion of 0 in a
14.586 * [backup-simplify]: Simplify 0 into 0
14.586 * [backup-simplify]: Simplify 0 into 0
14.586 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.586 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.586 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
14.586 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
14.586 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.586 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.586 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.587 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.587 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
14.587 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.587 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.587 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.587 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
14.587 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.587 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.587 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.587 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
14.587 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.588 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.588 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.588 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.588 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
14.589 * [taylor]: Taking taylor expansion of 0 in a
14.589 * [backup-simplify]: Simplify 0 into 0
14.589 * [backup-simplify]: Simplify 0 into 0
14.589 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
14.589 * [backup-simplify]: Simplify 0 into 0
14.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.591 * [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
14.591 * [taylor]: Taking taylor expansion of 0 in a
14.591 * [backup-simplify]: Simplify 0 into 0
14.591 * [backup-simplify]: Simplify 0 into 0
14.591 * [backup-simplify]: Simplify 0 into 0
14.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.592 * [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
14.592 * [backup-simplify]: Simplify 0 into 0
14.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.595 * [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
14.595 * [taylor]: Taking taylor expansion of 0 in a
14.595 * [backup-simplify]: Simplify 0 into 0
14.595 * [backup-simplify]: Simplify 0 into 0
14.595 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.595 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
14.595 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.595 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in (c a) around 0
14.595 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
14.595 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
14.595 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.595 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.595 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.595 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.595 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.595 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
14.595 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
14.595 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.595 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.596 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.596 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.596 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.596 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in c
14.596 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c
14.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
14.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.596 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.596 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.596 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.596 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh c) (log1p a)))) in a
14.596 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a
14.596 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
14.596 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
14.596 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a)))
14.596 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.596 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.596 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.597 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
14.597 * [taylor]: Taking taylor expansion of 0 in a
14.597 * [backup-simplify]: Simplify 0 into 0
14.597 * [backup-simplify]: Simplify 0 into 0
14.597 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh c) (log1p a))) 1)))) 1) into 0
14.597 * [backup-simplify]: Simplify 0 into 0
14.598 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.599 * [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
14.599 * [taylor]: Taking taylor expansion of 0 in a
14.599 * [backup-simplify]: Simplify 0 into 0
14.599 * [backup-simplify]: Simplify 0 into 0
14.599 * [backup-simplify]: Simplify 0 into 0
14.600 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.601 * [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
14.601 * [backup-simplify]: Simplify 0 into 0
14.601 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0
14.603 * [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
14.603 * [taylor]: Taking taylor expansion of 0 in a
14.603 * [backup-simplify]: Simplify 0 into 0
14.603 * [backup-simplify]: Simplify 0 into 0
14.603 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh c) (log1p a)))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.603 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.603 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
14.603 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
14.603 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.603 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.603 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.603 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.604 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.604 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
14.604 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.604 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.604 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.604 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.604 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
14.604 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
14.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
14.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.604 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.604 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.604 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.604 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
14.604 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
14.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
14.604 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
14.605 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
14.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.605 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.605 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (log (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
14.606 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
14.606 * [taylor]: Taking taylor expansion of 0 in a
14.606 * [backup-simplify]: Simplify 0 into 0
14.606 * [backup-simplify]: Simplify 0 into 0
14.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1)))) 1) into 0
14.607 * [backup-simplify]: Simplify 0 into 0
14.607 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.608 * [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
14.608 * [taylor]: Taking taylor expansion of 0 in a
14.608 * [backup-simplify]: Simplify 0 into 0
14.608 * [backup-simplify]: Simplify 0 into 0
14.608 * [backup-simplify]: Simplify 0 into 0
14.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.610 * [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
14.610 * [backup-simplify]: Simplify 0 into 0
14.611 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0
14.613 * [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
14.613 * [taylor]: Taking taylor expansion of 0 in a
14.613 * [backup-simplify]: Simplify 0 into 0
14.613 * [backup-simplify]: Simplify 0 into 0
14.613 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.613 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.613 * [approximate]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
14.613 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
14.613 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.613 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.613 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.613 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.613 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.613 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.613 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
14.614 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.614 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.614 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.614 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.614 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.614 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.614 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
14.614 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
14.614 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
14.614 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.614 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.615 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.615 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.615 * [taylor]: Taking taylor expansion of (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
14.615 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
14.615 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
14.615 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
14.615 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
14.615 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.616 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.616 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (log (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
14.617 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
14.617 * [taylor]: Taking taylor expansion of 0 in a
14.617 * [backup-simplify]: Simplify 0 into 0
14.617 * [backup-simplify]: Simplify 0 into 0
14.618 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1)))) 1) into 0
14.618 * [backup-simplify]: Simplify 0 into 0
14.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.620 * [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
14.620 * [taylor]: Taking taylor expansion of 0 in a
14.620 * [backup-simplify]: Simplify 0 into 0
14.620 * [backup-simplify]: Simplify 0 into 0
14.620 * [backup-simplify]: Simplify 0 into 0
14.621 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.623 * [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
14.623 * [backup-simplify]: Simplify 0 into 0
14.624 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0
14.627 * [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
14.627 * [taylor]: Taking taylor expansion of 0 in a
14.627 * [backup-simplify]: Simplify 0 into 0
14.627 * [backup-simplify]: Simplify 0 into 0
14.628 * [backup-simplify]: Simplify (log (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))))) into (log (sqrt (fmod (cosh c) (log1p a))))
14.628 * * * [progress]: simplifying candidates
14.628 * * * * [progress]: [ 1 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
14.628 * * * * [progress]: [ 2 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
14.628 * * * * [progress]: [ 3 / 72 ] 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))))))>
14.628 * * * * [progress]: [ 4 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 5 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 6 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 7 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 8 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 9 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (* 1 (fmod (cosh c) (log1p a))))))))>
14.628 * * * * [progress]: [ 10 / 72 ] 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)))))))))>
14.628 * * * * [progress]: [ 11 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (log1p (expm1 (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.628 * * * * [progress]: [ 12 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.629 * * * * [progress]: [ 13 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 14 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 15 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 16 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 17 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 18 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 19 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (* 1 (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.629 * * * * [progress]: [ 20 / 72 ] 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)))))))>
14.629 * * * * [progress]: [ 21 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a)))))))))>
14.629 * * * * [progress]: [ 22 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (expm1 (log1p (log (sqrt (fmod (cosh c) (log1p a)))))))))>
14.629 * * * * [progress]: [ 23 / 72 ] 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)))))))))>
14.629 * * * * [progress]: [ 24 / 72 ] 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)))))))))>
14.629 * * * * [progress]: [ 25 / 72 ] 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)))))))))>
14.629 * * * * [progress]: [ 26 / 72 ] 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))))))))>
14.629 * * * * [progress]: [ 27 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 28 / 72 ] 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))))))))>
14.630 * * * * [progress]: [ 29 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1/2 (log (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 30 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a))))))))>
14.630 * * * * [progress]: [ 31 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* (/ 1 2) (log (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 32 / 72 ] 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))))>
14.630 * * * * [progress]: [ 33 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 34 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 35 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 36 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 37 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 38 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 39 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a))))))))>
14.630 * * * * [progress]: [ 40 / 72 ] 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)))))))))>
14.630 * * * * [progress]: [ 41 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 42 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (expm1 (log1p (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 43 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 44 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 45 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 46 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 47 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 48 / 72 ] 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)))))))>
14.630 * * * * [progress]: [ 49 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1/2 (log (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 50 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.630 * * * * [progress]: [ 51 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* (/ 1 2) (log (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 52 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 53 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 54 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 55 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 56 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 57 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 58 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 59 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (* 1 (log (sqrt (fmod (cosh c) (log1p a)))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 60 / 72 ] 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)))))))>
14.631 * * * * [progress]: [ 61 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 62 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 63 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 64 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 65 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 66 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 67 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 68 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 69 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 70 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 71 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.631 * * * * [progress]: [ 72 / 72 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
14.632 * [simplify]: Simplifying (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (sqrt (fmod (cosh c) (log1p a))))), (log1p (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))))), (expm1 (log (sqrt (fmod (cosh c) (log1p a))))), (log1p (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))))
14.632 * * [simplify]: iteration 1: (40 enodes)
14.644 * * [simplify]: iteration 2: (124 enodes)
14.679 * * [simplify]: iteration 3: (139 enodes)
14.701 * * [simplify]: iteration 4: (147 enodes)
14.726 * * [simplify]: iteration 5: (168 enodes)
14.759 * * [simplify]: iteration 6: (217 enodes)
14.796 * * [simplify]: iteration 7: (296 enodes)
14.864 * * [simplify]: iteration 8: (496 enodes)
15.018 * * [simplify]: iteration 9: (1130 enodes)
15.861 * * [simplify]: Extracting #0: cost 25 inf + 0
15.862 * * [simplify]: Extracting #1: cost 139 inf + 1
15.863 * * [simplify]: Extracting #2: cost 480 inf + 3
15.868 * * [simplify]: Extracting #3: cost 474 inf + 6617
15.873 * * [simplify]: Extracting #4: cost 396 inf + 56358
15.900 * * [simplify]: Extracting #5: cost 125 inf + 317018
15.958 * * [simplify]: Extracting #6: cost 1 inf + 448764
16.012 * * [simplify]: Extracting #7: cost 0 inf + 445532
16.057 * [simplify]: Simplified to (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (fmod (cosh c) (log1p a))), (log1p (fmod (cosh c) (log1p a))), (log (fmod (cosh c) (log1p a))), (exp (fmod (cosh c) (log1p a))), (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))), (cbrt (fmod (cosh c) (log1p a))), (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (sqrt (fmod (cosh c) (log1p a))), (real->posit16 (fmod (cosh c) (log1p a))), (expm1 (log (sqrt (fmod (cosh c) (log1p a))))), (log1p (log (sqrt (fmod (cosh c) (log1p a))))), (+ (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (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))))), (expm1 (log (sqrt (fmod (cosh c) (log1p a))))), (log1p (log (sqrt (fmod (cosh c) (log1p a))))), (+ (log (cbrt (sqrt (fmod (cosh c) (log1p a))))) (log (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))))
16.062 * * * [progress]: adding candidates to table
16.981 * [progress]: [Phase 3 of 3] Extracting.
16.981 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
16.985 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
16.985 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
17.124 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
17.259 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
17.423 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
17.558 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (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 (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (posit16->real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow E (log1p (expm1 (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 (log1p (expm1 (log (sqrt (fmod (cosh c) (log1p a))))))) (pow E (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))))) (log (cbrt (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 (fmod (cosh c) (log1p a))))) (pow E (posit16->real (real->posit16 (log (sqrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
17.731 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
17.733 * [simplify]: Simplifying (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))))
17.733 * * [simplify]: iteration 1: (10 enodes)
17.734 * * [simplify]: iteration 2: (12 enodes)
17.734 * * [simplify]: iteration 3: (14 enodes)
17.735 * * [simplify]: Extracting #0: cost 1 inf + 0
17.735 * * [simplify]: Extracting #1: cost 2 inf + 0
17.735 * * [simplify]: Extracting #2: cost 4 inf + 0
17.735 * * [simplify]: Extracting #3: cost 4 inf + 1
17.735 * * [simplify]: Extracting #4: cost 5 inf + 1
17.735 * * [simplify]: Extracting #5: cost 7 inf + 1
17.736 * * [simplify]: Extracting #6: cost 9 inf + 1
17.736 * * [simplify]: Extracting #7: cost 0 inf + 2067
17.736 * [simplify]: Simplified to (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))))
35.502 * [regime-testing]: Baseline error score: 33.44426483762718
35.505 * [regime-testing]: Oracle error score: 33.1912549853066
35.509 * [regime-testing]: End program error score: 33.44426483762718