1546936246.811 * [misc]progress:  [Phase 1 of 3] Setting up.
1546936246.811 * * * [misc]progress:  [1/2] Preparing points
1546936246.811 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546936247.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.102 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1546936247.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.319 * * * * [misc]points:  Sampling 108 additional inputs, on iter 2 have 148 / 256
1546936247.430 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.430 * * * * [misc]points:  Sampling 67 additional inputs, on iter 3 have 189 / 256
1546936247.499 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.499 * * * * [misc]points:  Sampling 44 additional inputs, on iter 4 have 212 / 256
1546936247.562 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.562 * * * * [misc]points:  Sampling 25 additional inputs, on iter 5 have 231 / 256
1546936247.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.581 * * * * [misc]points:  Sampling 18 additional inputs, on iter 6 have 238 / 256
1546936247.604 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.605 * * * * [misc]points:  Sampling 11 additional inputs, on iter 7 have 245 / 256
1546936247.623 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.623 * * * * [misc]points:  Sampling 8 additional inputs, on iter 8 have 248 / 256
1546936247.636 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.636 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1546936247.641 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.641 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 252 / 256
1546936247.645 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.645 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 252 / 256
1546936247.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.647 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 255 / 256
1546936247.652 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936247.652 * * * * [exit]points:  Sampled 256 points with exact outputs
1546936247.652 * * * [misc]progress:  [2/2] Setting up program.
1546936247.656 * [misc]progress:  [Phase 2 of 3] Improving.
1546936247.657 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936247.657 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936247.658 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936247.662 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936247.664 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936247.665 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936247.669 * * [misc]progress:  iteration 1 / 4
1546936247.669 * * * [misc]progress:  picking best candidate
1546936247.673 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936247.673 * * * [misc]progress:  localizing error
1546936247.697 * * * [misc]progress:  generating rewritten candidates
1546936247.697 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546936247.700 * * * [misc]progress:  generating series expansions
1546936247.701 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546936247.704 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.704 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936247.706 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.708 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.708 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.708 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.708 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.708 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.733 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.733 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.733 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.734 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.736 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.736 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936247.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.737 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.737 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.737 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.737 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.737 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.737 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.738 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936247.739 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.739 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936247.739 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.739 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.739 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.739 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.739 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.739 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.739 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.740 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.740 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.740 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936247.740 * * * [misc]progress:  simplifying candidates
1546936247.740 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1546936247.740 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936247.741 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1546936247.741 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1546936247.741 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1546936247.741 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1546936247.741 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1546936247.741 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936247.741 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936247.741 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936247.743 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936247.747 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936247.747 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936247.747 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936247.747 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936247.747 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936247.749 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936247.752 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936247.752 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936247.752 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936247.752 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936247.752 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936247.754 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936247.757 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936247.757 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936247.757 * * * [misc]progress:  adding candidates to table
1546936247.860 * * [misc]progress:  iteration 2 / 4
1546936247.860 * * * [misc]progress:  picking best candidate
1546936247.891 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936247.891 * * * [misc]progress:  localizing error
1546936247.902 * * * [misc]progress:  generating rewritten candidates
1546936247.902 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1546936247.903 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546936247.905 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1546936247.910 * * * [misc]progress:  generating series expansions
1546936247.910 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936247.911 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.911 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.911 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.911 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.911 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.911 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.912 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.912 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936247.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.912 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.912 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.913 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.913 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.913 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.913 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.913 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.913 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.914 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936247.914 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.914 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936247.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.914 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.914 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.914 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.914 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.915 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.915 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936247.915 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546936247.916 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.916 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546936247.916 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546936247.916 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.916 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.916 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.916 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546936247.916 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.916 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.916 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.916 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546936247.916 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.916 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.916 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.917 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546936247.917 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.917 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.917 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.917 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.919 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546936247.919 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.919 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.919 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.920 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546936247.920 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.923 * [misc]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
1546936247.923 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.923 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.923 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.923 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.924 * [misc]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
1546936247.925 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.928 * [misc]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
1546936247.928 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.928 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.928 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.928 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936247.928 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.928 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546936247.928 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546936247.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.928 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.928 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546936247.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.928 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.928 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546936247.928 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.928 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.929 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.929 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546936247.929 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.929 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.929 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.929 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936247.929 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546936247.930 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.930 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.930 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.930 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546936247.930 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.931 * [misc]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
1546936247.931 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.931 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.931 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.931 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.932 * [misc]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
1546936247.932 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.934 * [misc]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
1546936247.934 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.934 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.934 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.934 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546936247.934 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.934 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546936247.934 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546936247.934 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.934 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.934 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.934 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546936247.934 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.935 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.935 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546936247.935 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.935 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.935 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546936247.935 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.935 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.935 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936247.936 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546936247.936 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.936 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.936 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.936 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546936247.936 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.937 * [misc]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
1546936247.937 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.937 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.937 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.938 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.938 * [misc]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
1546936247.939 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.940 * [misc]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
1546936247.940 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.940 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.940 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.940 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546936247.940 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1546936247.941 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936247.941 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.941 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.941 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.941 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.942 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936247.942 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936247.942 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.942 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936247.942 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.942 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.942 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936247.942 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.942 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936247.943 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.943 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936247.943 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify 0 into 0
1546936247.943 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936247.943 * * * [misc]progress:  simplifying candidates
1546936247.943 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1546936247.943 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546936247.943 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1546936247.943 * * * * [misc]progress:  [ 4 / 43 ] 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)))))))>
1546936247.943 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1546936247.943 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1546936247.943 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1546936247.943 * * * * [misc]progress:  [ 8 / 43 ] 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)))))))>
1546936247.944 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546936247.944 * * [misc]simplify:  iters left: 6 (8 enodes)
1546936247.945 * * [misc]simplify:  iters left: 5 (16 enodes)
1546936247.947 * * [misc]simplify:  iters left: 4 (19 enodes)
1546936247.949 * * [misc]simplify:  iters left: 3 (21 enodes)
1546936247.952 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546936247.952 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1546936247.952 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546936247.952 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546936247.952 * * [misc]simplify:  iters left: 4 (7 enodes)
1546936247.953 * * [misc]simplify:  iters left: 3 (13 enodes)
1546936247.955 * * [misc]simplify:  iters left: 2 (16 enodes)
1546936247.957 * * [misc]simplify:  iters left: 1 (18 enodes)
1546936247.959 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546936247.959 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1546936247.959 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1546936247.959 * [enter]simplify:  Simplifying (log 1)
1546936247.959 * * [misc]simplify:  iters left: 1 (2 enodes)
1546936247.961 * [exit]simplify:  Simplified to 0
1546936247.961 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1546936247.961 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546936247.961 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1546936247.961 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936247.962 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936247.962 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936247.963 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936247.966 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936247.966 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936247.966 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1546936247.966 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546936247.966 * * * * [misc]progress:  [ 16 / 43 ] 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)))))))>
1546936247.966 * * * * [misc]progress:  [ 17 / 43 ] 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)))))))>
1546936247.966 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1546936247.967 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546936247.967 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1546936247.967 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546936247.967 * [enter]simplify:  Simplifying (exp 1)
1546936247.967 * * [misc]simplify:  iters left: 1 (2 enodes)
1546936247.968 * [exit]simplify:  Simplified to E
1546936247.968 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546936247.968 * * * * [misc]progress:  [ 22 / 43 ] 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))))))>
1546936247.968 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546936247.968 * * [misc]simplify:  iters left: 6 (9 enodes)
1546936247.976 * * [misc]simplify:  iters left: 5 (17 enodes)
1546936247.980 * * [misc]simplify:  iters left: 4 (20 enodes)
1546936247.985 * * [misc]simplify:  iters left: 3 (22 enodes)
1546936247.989 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546936247.989 * [misc]simplify:  Simplified (2 1) to (λ (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))))))
1546936247.989 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1546936247.989 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546936247.989 * * [misc]simplify:  iters left: 5 (8 enodes)
1546936247.990 * * [misc]simplify:  iters left: 4 (14 enodes)
1546936247.992 * * [misc]simplify:  iters left: 3 (17 enodes)
1546936247.994 * * [misc]simplify:  iters left: 2 (19 enodes)
1546936247.996 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546936247.997 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1546936247.997 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546936247.997 * [enter]simplify:  Simplifying (exp 1)
1546936247.997 * * [misc]simplify:  iters left: 1 (2 enodes)
1546936247.997 * [exit]simplify:  Simplified to E
1546936247.997 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546936247.997 * * * * [misc]progress:  [ 25 / 43 ] 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)))))))>
1546936247.997 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1546936247.997 * * [misc]simplify:  iters left: 6 (9 enodes)
1546936247.999 * * [misc]simplify:  iters left: 5 (17 enodes)
1546936248.001 * * [misc]simplify:  iters left: 4 (22 enodes)
1546936248.004 * * [misc]simplify:  iters left: 3 (24 enodes)
1546936248.006 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1546936248.007 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))
1546936248.007 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546936248.007 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1546936248.007 * * [misc]simplify:  iters left: 5 (8 enodes)
1546936248.008 * * [misc]simplify:  iters left: 4 (14 enodes)
1546936248.012 * * [misc]simplify:  iters left: 3 (17 enodes)
1546936248.016 * * [misc]simplify:  iters left: 2 (19 enodes)
1546936248.021 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1546936248.021 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1546936248.021 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1546936248.021 * [enter]simplify:  Simplifying (exp (log 1))
1546936248.021 * * [misc]simplify:  iters left: 2 (3 enodes)
1546936248.023 * * [misc]simplify:  iters left: 1 (5 enodes)
1546936248.023 * [exit]simplify:  Simplified to 1
1546936248.023 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1546936248.023 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936248.024 * [enter]simplify:  Simplifying (cosh c)
1546936248.024 * * [misc]simplify:  iters left: 1 (2 enodes)
1546936248.024 * [exit]simplify:  Simplified to (cosh c)
1546936248.024 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936248.024 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546936248.024 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1546936248.024 * * * * [misc]progress:  [ 31 / 43 ] 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)))))))>
1546936248.024 * * * * [misc]progress:  [ 32 / 43 ] 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)))))))>
1546936248.024 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1546936248.024 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1546936248.024 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.024 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.024 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.025 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.026 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.026 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.026 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.027 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.027 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.027 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.029 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.029 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.029 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.029 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.029 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.030 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.031 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.031 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.031 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.031 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.031 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.032 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.034 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.036 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.036 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.036 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.036 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.036 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.037 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.038 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.040 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.040 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.040 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546936248.040 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.040 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.041 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.043 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.045 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.045 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546936248.045 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936248.045 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.045 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.046 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.047 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.047 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936248.047 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936248.047 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.047 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.048 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.049 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.049 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936248.049 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546936248.050 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.050 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.050 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.052 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.052 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546936248.052 * * * [misc]progress:  adding candidates to table
1546936248.564 * * [misc]progress:  iteration 3 / 4
1546936248.564 * * * [misc]progress:  picking best candidate
1546936248.621 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.621 * * * [misc]progress:  localizing error
1546936248.643 * * * [misc]progress:  generating rewritten candidates
1546936248.643 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1546936248.644 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1546936248.644 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1546936248.644 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1546936248.646 * * * [misc]progress:  generating series expansions
1546936248.646 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1546936248.646 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.646 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936248.646 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.646 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.646 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.647 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.647 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.647 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.647 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936248.648 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.648 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.648 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.648 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.648 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.648 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.648 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.649 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.649 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.649 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.649 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936248.649 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.649 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.649 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.649 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.649 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.650 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.650 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.650 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936248.650 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1546936248.650 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.650 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936248.650 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.650 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.650 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.650 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.650 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.651 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936248.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.651 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936248.653 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.653 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.653 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.653 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.653 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936248.654 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.654 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936248.654 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.654 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.654 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.654 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.654 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.655 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.655 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.655 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.655 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936248.655 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.655 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.655 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.655 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.655 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.655 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.656 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.656 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.656 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.656 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936248.656 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.656 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936248.656 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.657 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.657 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.657 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.657 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.657 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.657 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.657 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.657 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.657 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.657 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.658 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936248.658 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1546936248.658 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.658 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546936248.658 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546936248.658 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.658 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.658 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.658 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546936248.658 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.658 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.658 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.658 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546936248.658 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936248.658 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.658 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.658 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546936248.658 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936248.658 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936248.659 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.659 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.660 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546936248.660 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.660 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.660 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.660 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546936248.661 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.662 * [misc]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
1546936248.662 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.662 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.662 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.662 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.663 * [misc]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
1546936248.663 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.666 * [misc]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
1546936248.666 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.666 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.666 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.666 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546936248.666 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.666 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546936248.666 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546936248.666 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.666 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.666 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.666 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546936248.666 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.666 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.667 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.667 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546936248.667 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936248.667 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.667 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.667 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546936248.667 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936248.667 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936248.667 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.667 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546936248.668 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546936248.668 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.668 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.668 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.669 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546936248.669 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.671 * [misc]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
1546936248.671 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.671 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.671 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.671 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.672 * [misc]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
1546936248.672 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.674 * [misc]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
1546936248.675 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.675 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.675 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.675 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546936248.675 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.675 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546936248.675 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546936248.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.675 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.675 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.675 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546936248.675 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.676 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546936248.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936248.676 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.676 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546936248.676 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936248.676 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936248.676 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.677 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546936248.678 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546936248.678 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.678 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.678 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.679 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546936248.679 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.681 * [misc]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
1546936248.681 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.681 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.681 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.681 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.683 * [misc]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
1546936248.683 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.686 * [misc]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
1546936248.686 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936248.686 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.686 * [misc]backup-simplify:  Simplify 0 into 0
1546936248.686 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546936248.687 * * * [misc]progress:  simplifying candidates
1546936248.687 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1546936248.687 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546936248.687 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1546936248.687 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936248.687 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1546936248.687 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1546936248.687 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1546936248.687 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.687 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546936248.688 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936248.688 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546936248.688 * * [misc]simplify:  iters left: 6 (8 enodes)
1546936248.690 * * [misc]simplify:  iters left: 5 (16 enodes)
1546936248.694 * * [misc]simplify:  iters left: 4 (19 enodes)
1546936248.702 * * [misc]simplify:  iters left: 3 (21 enodes)
1546936248.707 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546936248.707 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))
1546936248.707 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1546936248.707 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546936248.708 * * [misc]simplify:  iters left: 4 (7 enodes)
1546936248.708 * * [misc]simplify:  iters left: 3 (13 enodes)
1546936248.710 * * [misc]simplify:  iters left: 2 (16 enodes)
1546936248.712 * * [misc]simplify:  iters left: 1 (18 enodes)
1546936248.714 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546936248.714 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1546936248.714 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1546936248.714 * [enter]simplify:  Simplifying (log 1)
1546936248.714 * * [misc]simplify:  iters left: 1 (2 enodes)
1546936248.715 * [exit]simplify:  Simplified to 0
1546936248.715 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1546936248.715 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546936248.715 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1546936248.715 * * * * [misc]progress:  [ 27 / 45 ] 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)))))))>
1546936248.716 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.716 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.716 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.718 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.718 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.718 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1546936248.718 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546936248.718 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>
1546936248.718 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>
1546936248.718 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (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)))))))))>
1546936248.718 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546936248.718 * * * * [misc]progress:  [ 34 / 45 ] 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)))))))>
1546936248.718 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.718 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.719 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.720 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.720 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.721 * * * * [misc]progress:  [ 35 / 45 ] 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)))))))>
1546936248.721 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.721 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.721 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.723 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.723 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.723 * * * * [misc]progress:  [ 36 / 45 ] 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)))))))>
1546936248.723 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.723 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.724 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.725 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.725 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.725 * * * * [misc]progress:  [ 37 / 45 ] 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)))))))>
1546936248.725 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.725 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.726 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.728 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.728 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.728 * * * * [misc]progress:  [ 38 / 45 ] 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)))))))>
1546936248.728 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.728 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.729 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.730 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.730 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.730 * * * * [misc]progress:  [ 39 / 45 ] 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)))))))>
1546936248.730 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.730 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.731 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.732 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.732 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.732 * * * * [misc]progress:  [ 40 / 45 ] 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)))))))>
1546936248.733 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.733 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.733 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.735 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.735 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.735 * * * * [misc]progress:  [ 41 / 45 ] 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)))))))>
1546936248.735 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.735 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.736 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.737 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.737 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.737 * * * * [misc]progress:  [ 42 / 45 ] 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)))))))>
1546936248.738 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936248.738 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936248.738 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936248.740 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936248.741 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.741 * * * * [misc]progress:  [ 43 / 45 ] 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)))))))>
1546936248.741 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.741 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.742 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.746 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.750 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.750 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.750 * * * * [misc]progress:  [ 44 / 45 ] 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)))))))>
1546936248.750 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.750 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.752 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.753 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.755 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.755 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.755 * * * * [misc]progress:  [ 45 / 45 ] 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)))))))>
1546936248.755 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546936248.755 * * [misc]simplify:  iters left: 3 (6 enodes)
1546936248.756 * * [misc]simplify:  iters left: 2 (12 enodes)
1546936248.758 * * [misc]simplify:  iters left: 1 (15 enodes)
1546936248.760 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546936248.760 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546936248.760 * * * [misc]progress:  adding candidates to table
1546936249.386 * * [misc]progress:  iteration 4 / 4
1546936249.386 * * * [misc]progress:  picking best candidate
1546936249.486 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.486 * * * [misc]progress:  localizing error
1546936249.510 * * * [misc]progress:  generating rewritten candidates
1546936249.510 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
1546936249.510 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1546936249.510 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1546936249.511 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1546936249.511 * * * [misc]progress:  generating series expansions
1546936249.511 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
1546936249.511 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.511 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936249.511 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.511 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.511 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.511 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.511 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.511 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.511 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.512 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.512 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936249.512 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.512 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.512 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.512 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.513 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936249.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.513 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.513 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936249.514 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936249.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.514 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.515 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936249.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.519 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.519 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936249.519 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.519 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936249.519 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.519 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.519 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.520 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936249.520 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1546936249.520 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.520 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936249.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.521 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936249.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936249.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.523 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.524 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936249.524 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1546936249.524 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.524 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546936249.524 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.524 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.524 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.524 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.524 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546936249.524 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.524 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546936249.525 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.525 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.525 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.525 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546936249.525 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.525 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546936249.525 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.526 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.526 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546936249.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.526 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546936249.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.526 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546936249.526 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.526 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.526 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546936249.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.527 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546936249.527 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.527 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.527 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.528 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.528 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546936249.528 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.528 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546936249.528 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.528 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546936249.528 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.528 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.528 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.528 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.528 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.528 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.528 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.529 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.529 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.529 * [misc]taylor:  Taking taylor expansion of 0 in a
1546936249.529 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.529 * [misc]backup-simplify:  Simplify 0 into 0
1546936249.529 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546936249.529 * * * [misc]progress:  simplifying candidates
1546936249.529 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (pow (fmod (cosh c) (log1p a)) 1))))))))>
1546936249.529 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (exp (log (fmod (cosh c) (log1p a)))))))))))>
1546936249.529 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))))>
1546936249.529 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1546936249.529 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1546936249.529 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1546936249.530 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* 1 (fmod (cosh c) (log1p a))))))))))>
1546936249.530 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.530 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (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)))))))))>
1546936249.531 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))>
1546936249.531 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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)))))))))>
1546936249.531 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (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)))))))))>
1546936249.531 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.531 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.532 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.533 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.536 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.536 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.536 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.537 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.537 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.538 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.541 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.541 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.542 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.542 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.542 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.543 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.547 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.547 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.547 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.547 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.547 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.548 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.552 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.552 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.552 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.552 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.552 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.553 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.557 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.557 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.557 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.557 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.557 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.559 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.562 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.562 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.562 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.562 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.562 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.563 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.565 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.565 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.565 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.565 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.565 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.566 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.567 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.567 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.567 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.567 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.567 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.568 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.570 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.570 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.570 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.570 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.570 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.571 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.572 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.572 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.572 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.572 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.572 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.573 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.574 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.574 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.574 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546936249.575 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546936249.575 * * [misc]simplify:  iters left: 2 (5 enodes)
1546936249.575 * * [misc]simplify:  iters left: 1 (11 enodes)
1546936249.577 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546936249.577 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546936249.577 * * * [misc]progress:  adding candidates to table
1546936250.269 * [misc]progress:  [Phase 3 of 3] Extracting.
1546936250.269 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.271 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1546936250.272 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.379 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.507 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.597 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.712 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<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)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<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))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<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)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (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)))))))))>)
1546936250.831 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1546936250.832 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))
1546936250.832 * * [misc]simplify:  iters left: 6 (15 enodes)
1546936250.833 * * [misc]simplify:  iters left: 5 (17 enodes)
1546936250.835 * [exit]simplify:  Simplified to (exp (cbrt (* (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1546936250.835 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546936259.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936259.882 * * * * [misc]points:  Sampling 4987 additional inputs, on iter 1 have 3013 / 8000
1546936265.365 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936265.367 * * * * [misc]points:  Sampling 3020 additional inputs, on iter 2 have 4980 / 8000
1546936268.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936268.384 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 3 have 6130 / 8000
1546936270.250 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936270.250 * * * * [misc]points:  Sampling 1139 additional inputs, on iter 4 have 6861 / 8000
1546936271.713 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936271.714 * * * * [misc]points:  Sampling 722 additional inputs, on iter 5 have 7278 / 8000
1546936272.490 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936272.491 * * * * [misc]points:  Sampling 471 additional inputs, on iter 6 have 7529 / 8000
1546936272.955 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936272.956 * * * * [misc]points:  Sampling 279 additional inputs, on iter 7 have 7721 / 8000
1546936273.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.159 * * * * [misc]points:  Sampling 184 additional inputs, on iter 8 have 7816 / 8000
1546936273.418 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.418 * * * * [misc]points:  Sampling 125 additional inputs, on iter 9 have 7875 / 8000
1546936273.569 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.569 * * * * [misc]points:  Sampling 76 additional inputs, on iter 10 have 7924 / 8000
1546936273.680 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.681 * * * * [misc]points:  Sampling 55 additional inputs, on iter 11 have 7945 / 8000
1546936273.719 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.719 * * * * [misc]points:  Sampling 29 additional inputs, on iter 12 have 7971 / 8000
1546936273.733 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.734 * * * * [misc]points:  Sampling 15 additional inputs, on iter 13 have 7985 / 8000
1546936273.750 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.750 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1546936273.760 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.760 * * * * [misc]points:  Sampling 7 additional inputs, on iter 15 have 7993 / 8000
1546936273.771 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.771 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1546936273.777 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.778 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1546936273.781 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.781 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1546936273.785 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.785 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7999 / 8000
1546936273.794 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.794 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7999 / 8000
1546936273.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.799 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 7999 / 8000
1546936273.802 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546936273.803 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546936275.890 * [misc]regime-testing:  Baseline error score: 34.33224791900446
1546936275.891 * [misc]regime-testing:  Oracle error score: 34.306018470705084
1546936275.893 * [misc]regime-testing:  End program error score: 34.33224791900446