1547800246.238 * [misc]progress:  [Phase 1 of 3] Setting up.
1547800246.238 * * * [misc]progress:  [1/2] Preparing points
1547800246.238 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547800246.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.450 * * * * [misc]points:  Sampling 160 additional inputs, on iter 1 have 96 / 256
1547800246.577 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.577 * * * * [misc]points:  Sampling 92 additional inputs, on iter 2 have 164 / 256
1547800246.664 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.664 * * * * [misc]points:  Sampling 56 additional inputs, on iter 3 have 200 / 256
1547800246.702 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.702 * * * * [misc]points:  Sampling 31 additional inputs, on iter 4 have 225 / 256
1547800246.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.723 * * * * [misc]points:  Sampling 21 additional inputs, on iter 5 have 235 / 256
1547800246.737 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.737 * * * * [misc]points:  Sampling 14 additional inputs, on iter 6 have 242 / 256
1547800246.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.746 * * * * [misc]points:  Sampling 10 additional inputs, on iter 7 have 246 / 256
1547800246.750 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.750 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 253 / 256
1547800246.753 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.753 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1547800246.780 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800246.780 * * * * [exit]points:  Sampled 257 points with exact outputs
1547800246.780 * * * [misc]progress:  [2/2] Setting up program.
1547800246.785 * [misc]progress:  [Phase 2 of 3] Improving.
1547800246.785 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800246.787 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800246.789 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800246.793 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800246.795 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800246.795 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800246.799 * * [misc]progress:  iteration 1 / 4
1547800246.800 * * * [misc]progress:  picking best candidate
1547800246.802 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800246.803 * * * [misc]progress:  localizing error
1547800246.817 * * * [misc]progress:  generating rewritten candidates
1547800246.818 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1547800246.821 * * * [misc]progress:  generating series expansions
1547800246.821 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1547800246.824 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.824 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800246.826 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800246.827 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.827 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800246.828 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.828 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800246.828 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.828 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800246.828 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.828 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.829 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.829 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800246.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.831 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800246.831 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800246.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.831 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800246.831 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.831 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800246.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.832 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800246.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800246.832 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.832 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800246.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.833 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800246.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800246.833 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.833 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800246.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800246.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.834 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800246.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.834 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800246.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.834 * [misc]backup-simplify:  Simplify 0 into 0
1547800246.835 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800246.835 * * * [misc]progress:  simplifying candidates
1547800246.835 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1547800246.835 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800246.835 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1547800246.835 * * * * [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)))))>
1547800246.835 * * * * [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)))))>
1547800246.835 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1547800246.835 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1547800246.835 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800246.835 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800246.835 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800246.837 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800246.839 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800246.839 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800246.839 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800246.839 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800246.839 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800246.840 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800246.841 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800246.841 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800246.842 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800246.842 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800246.842 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800246.842 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800246.844 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800246.844 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800246.844 * * * [misc]progress:  adding candidates to table
1547800246.954 * * [misc]progress:  iteration 2 / 4
1547800246.954 * * * [misc]progress:  picking best candidate
1547800246.988 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800246.988 * * * [misc]progress:  localizing error
1547800247.002 * * * [misc]progress:  generating rewritten candidates
1547800247.002 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1547800247.002 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1547800247.005 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547800247.010 * * * [misc]progress:  generating series expansions
1547800247.010 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1547800247.010 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.010 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800247.010 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.010 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.010 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.010 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.010 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.010 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.010 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.011 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.011 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.011 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.011 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.011 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.011 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800247.011 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.012 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.012 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.012 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.012 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.012 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.012 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.012 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.012 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.012 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.012 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.013 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.013 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800247.013 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.013 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800247.013 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.013 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.013 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.013 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.013 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.014 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.014 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.014 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.014 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.014 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.015 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800247.015 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1547800247.015 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.015 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547800247.015 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547800247.015 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.015 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.015 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.015 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547800247.015 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.015 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.015 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.015 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547800247.015 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.016 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.016 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.016 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547800247.016 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.016 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.016 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.016 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.018 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547800247.018 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.018 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.019 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.019 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547800247.020 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.022 * [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
1547800247.022 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.022 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.022 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.022 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.024 * [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
1547800247.024 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.027 * [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
1547800247.027 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.027 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.027 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.027 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.028 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.028 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547800247.028 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547800247.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.028 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.028 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547800247.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.028 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.028 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.028 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547800247.028 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.029 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.029 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.029 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547800247.029 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.029 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.029 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.029 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.030 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547800247.030 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.030 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.031 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.032 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547800247.032 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.033 * [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
1547800247.033 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.033 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.033 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.033 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.035 * [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
1547800247.035 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.038 * [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
1547800247.038 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.038 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.038 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.039 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547800247.039 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.039 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547800247.039 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547800247.039 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.039 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.039 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.039 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547800247.039 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.039 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.040 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.040 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547800247.040 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.040 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.040 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.040 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547800247.040 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.040 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.040 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.040 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.042 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547800247.042 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.042 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.042 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.043 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547800247.043 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.044 * [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
1547800247.045 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.045 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.045 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.045 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.046 * [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
1547800247.046 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.049 * [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
1547800247.049 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.050 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.050 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.050 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547800247.050 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547800247.050 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1547800247.050 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800247.050 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.050 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.050 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.050 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.050 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.050 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.051 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.051 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.051 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.051 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.051 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.051 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800247.052 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.052 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.052 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.052 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.052 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.052 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.052 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.052 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.053 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800247.053 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.053 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800247.053 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.053 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.053 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.054 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.054 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.054 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.054 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.054 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.054 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.054 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.054 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.054 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.055 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800247.055 * * * [misc]progress:  simplifying candidates
1547800247.055 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1547800247.055 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547800247.055 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1547800247.055 * * * * [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)))))))>
1547800247.055 * * * * [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)))))))>
1547800247.055 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1547800247.055 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1547800247.056 * * * * [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)))))))>
1547800247.056 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547800247.056 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800247.059 * * [misc]simplify:  iters left: 5 (16 enodes)
1547800247.063 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800247.068 * * [misc]simplify:  iters left: 3 (21 enodes)
1547800247.073 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547800247.074 * [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)))))))
1547800247.074 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547800247.074 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547800247.074 * * [misc]simplify:  iters left: 4 (7 enodes)
1547800247.076 * * [misc]simplify:  iters left: 3 (13 enodes)
1547800247.079 * * [misc]simplify:  iters left: 2 (16 enodes)
1547800247.083 * * [misc]simplify:  iters left: 1 (18 enodes)
1547800247.088 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547800247.088 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1547800247.088 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1547800247.088 * [enter]simplify:  Simplifying (log 1)
1547800247.088 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800247.090 * [exit]simplify:  Simplified to 0
1547800247.090 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1547800247.090 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547800247.090 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1547800247.090 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.091 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.091 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.092 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.095 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.095 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.095 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1547800247.095 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547800247.095 * * * * [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)))))))>
1547800247.095 * * * * [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)))))))>
1547800247.095 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.095 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547800247.096 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1547800247.096 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547800247.096 * [enter]simplify:  Simplifying (exp 1)
1547800247.096 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800247.097 * [exit]simplify:  Simplified to E
1547800247.097 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547800247.097 * * * * [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))))))>
1547800247.097 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547800247.097 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800247.100 * * [misc]simplify:  iters left: 5 (17 enodes)
1547800247.104 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800247.110 * * [misc]simplify:  iters left: 3 (22 enodes)
1547800247.115 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547800247.115 * [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))))))
1547800247.116 * * * * [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))))))>
1547800247.116 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547800247.116 * * [misc]simplify:  iters left: 5 (8 enodes)
1547800247.118 * * [misc]simplify:  iters left: 4 (14 enodes)
1547800247.122 * * [misc]simplify:  iters left: 3 (17 enodes)
1547800247.126 * * [misc]simplify:  iters left: 2 (19 enodes)
1547800247.131 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547800247.131 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1547800247.131 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547800247.131 * [enter]simplify:  Simplifying (exp 1)
1547800247.131 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800247.132 * [exit]simplify:  Simplified to E
1547800247.132 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547800247.132 * * * * [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)))))))>
1547800247.132 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1547800247.132 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800247.135 * * [misc]simplify:  iters left: 5 (17 enodes)
1547800247.140 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800247.145 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800247.150 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1547800247.150 * [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)))))))
1547800247.150 * * * * [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)))))))>
1547800247.151 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1547800247.151 * * [misc]simplify:  iters left: 5 (8 enodes)
1547800247.153 * * [misc]simplify:  iters left: 4 (14 enodes)
1547800247.156 * * [misc]simplify:  iters left: 3 (17 enodes)
1547800247.160 * * [misc]simplify:  iters left: 2 (19 enodes)
1547800247.168 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1547800247.168 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1547800247.168 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1547800247.168 * [enter]simplify:  Simplifying (exp (log 1))
1547800247.168 * * [misc]simplify:  iters left: 2 (3 enodes)
1547800247.169 * * [misc]simplify:  iters left: 1 (5 enodes)
1547800247.170 * [exit]simplify:  Simplified to 1
1547800247.170 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1547800247.170 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800247.170 * [enter]simplify:  Simplifying (cosh c)
1547800247.170 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800247.171 * [exit]simplify:  Simplified to (cosh c)
1547800247.171 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800247.171 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547800247.171 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1547800247.171 * * * * [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)))))))>
1547800247.171 * * * * [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)))))))>
1547800247.171 * * * * [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)))))))>
1547800247.171 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1547800247.171 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.172 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.172 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.173 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.176 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.176 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.176 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.176 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.176 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.178 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.181 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.181 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.181 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.181 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.181 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.183 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.186 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.186 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.186 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.186 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.186 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.188 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.191 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.195 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.195 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.195 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.195 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.195 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.197 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.200 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.204 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.204 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.204 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547800247.205 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.205 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.207 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.210 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.214 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.214 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547800247.214 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800247.214 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.214 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.216 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.219 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.219 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800247.219 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800247.219 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.219 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.221 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.224 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.224 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800247.224 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547800247.224 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.224 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.226 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.229 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.229 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547800247.229 * * * [misc]progress:  adding candidates to table
1547800247.756 * * [misc]progress:  iteration 3 / 4
1547800247.756 * * * [misc]progress:  picking best candidate
1547800247.835 * * * * [misc]pick:  Picked  #<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)))))))>
1547800247.835 * * * [misc]progress:  localizing error
1547800247.859 * * * [misc]progress:  generating rewritten candidates
1547800247.859 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1547800247.859 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1547800247.860 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1547800247.860 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1547800247.862 * * * [misc]progress:  generating series expansions
1547800247.862 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1547800247.862 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.862 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800247.862 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.862 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.862 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.862 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.862 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800247.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.864 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800247.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.865 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800247.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.866 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.867 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.867 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.867 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800247.867 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1547800247.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.867 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800247.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.867 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.868 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800247.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800247.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.870 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800247.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.871 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.871 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800247.872 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1547800247.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.872 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800247.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.872 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.873 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.873 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.873 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.873 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.873 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800247.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.874 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800247.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.875 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800247.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.876 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.876 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.877 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.877 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.877 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.877 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800247.877 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1547800247.877 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.877 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547800247.877 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547800247.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.877 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.877 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547800247.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.877 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.877 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.877 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547800247.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800247.878 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.878 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547800247.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800247.878 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800247.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.878 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.879 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547800247.879 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.879 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.879 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.880 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547800247.880 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.882 * [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
1547800247.882 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.882 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.882 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.882 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.884 * [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
1547800247.884 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.886 * [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
1547800247.887 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.887 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.887 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.887 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547800247.887 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.887 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547800247.887 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547800247.887 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.887 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.887 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.887 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547800247.887 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.887 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.888 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.888 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547800247.888 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800247.888 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.888 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.888 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547800247.888 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800247.888 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800247.888 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.888 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547800247.890 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547800247.890 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.890 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.890 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.891 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547800247.891 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.892 * [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
1547800247.892 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.892 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.892 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.893 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.894 * [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
1547800247.894 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.897 * [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
1547800247.897 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.897 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.897 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547800247.897 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.897 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547800247.897 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547800247.897 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.897 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.898 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547800247.898 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.898 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547800247.898 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800247.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.898 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547800247.898 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800247.898 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800247.898 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.899 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547800247.900 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547800247.900 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.900 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.900 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.901 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547800247.901 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.902 * [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
1547800247.902 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.902 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.902 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.902 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.904 * [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
1547800247.904 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.906 * [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
1547800247.906 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800247.906 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.907 * [misc]backup-simplify:  Simplify 0 into 0
1547800247.907 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547800247.907 * * * [misc]progress:  simplifying candidates
1547800247.907 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1547800247.907 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1547800247.907 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1547800247.907 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1547800247.907 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1547800247.907 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1547800247.907 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1547800247.907 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.907 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [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)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547800247.908 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1547800247.908 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547800247.908 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800247.910 * * [misc]simplify:  iters left: 5 (16 enodes)
1547800247.914 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800247.918 * * [misc]simplify:  iters left: 3 (21 enodes)
1547800247.923 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547800247.923 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1547800247.923 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1547800247.924 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547800247.924 * * [misc]simplify:  iters left: 4 (7 enodes)
1547800247.926 * * [misc]simplify:  iters left: 3 (13 enodes)
1547800247.929 * * [misc]simplify:  iters left: 2 (16 enodes)
1547800247.933 * * [misc]simplify:  iters left: 1 (18 enodes)
1547800247.937 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547800247.937 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1547800247.937 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1547800247.938 * [enter]simplify:  Simplifying (log 1)
1547800247.938 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800247.939 * [exit]simplify:  Simplified to 0
1547800247.939 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1547800247.939 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547800247.939 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1547800247.939 * * * * [misc]progress:  [ 27 / 45 ] 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)))))))>
1547800247.939 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.939 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.941 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.944 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.944 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.944 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1547800247.944 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1547800247.944 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800247.944 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547800247.944 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1547800247.944 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547800247.944 * * * * [misc]progress:  [ 34 / 45 ] 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)))))))>
1547800247.945 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.945 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.946 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.949 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.949 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.949 * * * * [misc]progress:  [ 35 / 45 ] 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)))))))>
1547800247.949 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.950 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.951 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.954 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.954 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.954 * * * * [misc]progress:  [ 36 / 45 ] 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)))))))>
1547800247.954 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.954 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.956 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.959 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.959 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.959 * * * * [misc]progress:  [ 37 / 45 ] 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)))))))>
1547800247.959 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.959 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.960 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.963 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.963 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.963 * * * * [misc]progress:  [ 38 / 45 ] 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)))))))>
1547800247.964 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.964 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.964 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.966 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.966 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.966 * * * * [misc]progress:  [ 39 / 45 ] 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)))))))>
1547800247.966 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.966 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.966 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.968 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.968 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.968 * * * * [misc]progress:  [ 40 / 45 ] 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)))))))>
1547800247.968 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.968 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.969 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.972 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.972 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.972 * * * * [misc]progress:  [ 41 / 45 ] 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)))))))>
1547800247.972 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.972 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.973 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.974 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.974 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.975 * * * * [misc]progress:  [ 42 / 45 ] 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)))))))>
1547800247.975 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800247.975 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800247.975 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800247.977 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800247.977 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.977 * * * * [misc]progress:  [ 43 / 45 ] 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)))))))>
1547800247.977 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.977 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.978 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.979 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.981 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.981 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.981 * * * * [misc]progress:  [ 44 / 45 ] 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)))))))>
1547800247.981 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.981 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.982 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.983 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.985 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.985 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.985 * * * * [misc]progress:  [ 45 / 45 ] 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)))))))>
1547800247.985 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547800247.985 * * [misc]simplify:  iters left: 3 (6 enodes)
1547800247.986 * * [misc]simplify:  iters left: 2 (12 enodes)
1547800247.988 * * [misc]simplify:  iters left: 1 (15 enodes)
1547800247.989 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547800247.989 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800247.989 * * * [misc]progress:  adding candidates to table
1547800248.641 * * [misc]progress:  iteration 4 / 4
1547800248.641 * * * [misc]progress:  picking best candidate
1547800248.698 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.698 * * * [misc]progress:  localizing error
1547800248.710 * * * [misc]progress:  generating rewritten candidates
1547800248.710 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1547800248.710 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1547800248.710 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1547800248.710 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1547800248.710 * * * [misc]progress:  generating series expansions
1547800248.711 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800248.711 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.711 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.711 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.711 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.711 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.711 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.711 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800248.712 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.712 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.712 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800248.713 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.713 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.713 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800248.714 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.714 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.714 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.714 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.715 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.715 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.715 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800248.715 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.715 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.715 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.715 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.716 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.716 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800248.716 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800248.716 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.716 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.716 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800248.717 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.717 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.717 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800248.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.718 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.718 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800248.719 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.719 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.719 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.719 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547800248.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.720 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547800248.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.720 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.720 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547800248.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.721 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547800248.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547800248.721 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]taylor:  Taking taylor expansion of 0 in a
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify 0 into 0
1547800248.721 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547800248.721 * * * [misc]progress:  simplifying candidates
1547800248.721 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1547800248.721 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1547800248.721 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1547800248.721 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1547800248.721 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1547800248.721 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1547800248.721 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1547800248.721 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.721 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.721 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.722 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.722 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.723 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.725 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.725 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.725 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.725 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.725 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.725 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.727 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.727 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.727 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.727 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.727 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.728 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.729 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.729 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.729 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.729 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.729 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.730 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.731 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.732 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.732 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.732 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.732 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.733 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.736 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.736 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.736 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.737 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.737 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.738 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.741 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.741 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.741 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.741 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.742 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.743 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.746 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.746 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.746 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.747 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.747 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.748 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.751 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.751 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.751 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.752 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.752 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.753 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.756 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.756 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.756 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.757 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.757 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.758 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.762 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.763 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.763 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.763 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.763 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.764 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.770 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.770 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.770 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547800248.770 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547800248.770 * * [misc]simplify:  iters left: 2 (5 enodes)
1547800248.771 * * [misc]simplify:  iters left: 1 (11 enodes)
1547800248.774 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547800248.774 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547800248.775 * * * [misc]progress:  adding candidates to table
1547800249.483 * [misc]progress:  [Phase 3 of 3] Extracting.
1547800249.483 * * [misc]regime:  Finding splitpoints for: (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.485 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1547800249.486 * * * * [misc]regimes:  Trying to branch on a from (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.556 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.638 * * * * [misc]regimes:  Trying to branch on c from (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.758 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.818 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (* (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 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) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1547800249.896 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1547800249.896 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1547800249.896 * * [misc]simplify:  iters left: 6 (12 enodes)
1547800249.897 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800249.898 * [exit]simplify:  Simplified to (exp (* (cbrt (* (* (cbrt (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)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547800249.898 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547800257.884 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800257.891 * * * * [misc]points:  Sampling 4956 additional inputs, on iter 1 have 3044 / 8000
1547800263.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800263.393 * * * * [misc]points:  Sampling 3026 additional inputs, on iter 2 have 4974 / 8000
1547800266.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800266.688 * * * * [misc]points:  Sampling 1841 additional inputs, on iter 3 have 6159 / 8000
1547800268.567 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800268.568 * * * * [misc]points:  Sampling 1148 additional inputs, on iter 4 have 6852 / 8000
1547800269.741 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800269.742 * * * * [misc]points:  Sampling 683 additional inputs, on iter 5 have 7317 / 8000
1547800270.822 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800270.822 * * * * [misc]points:  Sampling 422 additional inputs, on iter 6 have 7578 / 8000
1547800271.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.274 * * * * [misc]points:  Sampling 266 additional inputs, on iter 7 have 7734 / 8000
1547800271.543 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.543 * * * * [misc]points:  Sampling 166 additional inputs, on iter 8 have 7834 / 8000
1547800271.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.747 * * * * [misc]points:  Sampling 107 additional inputs, on iter 9 have 7893 / 8000
1547800271.810 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.810 * * * * [misc]points:  Sampling 65 additional inputs, on iter 10 have 7935 / 8000
1547800271.848 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.848 * * * * [misc]points:  Sampling 36 additional inputs, on iter 11 have 7964 / 8000
1547800271.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.874 * * * * [misc]points:  Sampling 17 additional inputs, on iter 12 have 7983 / 8000
1547800271.883 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.883 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 7990 / 8000
1547800271.894 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.894 * * * * [misc]points:  Sampling 8 additional inputs, on iter 14 have 7992 / 8000
1547800271.900 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.900 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1547800271.905 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.905 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1547800271.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.909 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7996 / 8000
1547800271.910 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.910 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7997 / 8000
1547800271.915 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800271.915 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547800273.594 * [misc]regime-testing:  Baseline error score: 34.36879302697469
1547800273.595 * [misc]regime-testing:  Oracle error score: 34.34685074428991
1547800273.597 * [misc]regime-testing:  End program error score: 34.36879302697469