1547630956.101 * [misc]progress:  [Phase 1 of 3] Setting up.
1547630956.101 * * * [misc]progress:  [1/2] Preparing points
1547630956.101 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547630956.348 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.348 * * * * [misc]points:  Sampling 177 additional inputs, on iter 1 have 79 / 256
1547630956.542 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.542 * * * * [misc]points:  Sampling 105 additional inputs, on iter 2 have 151 / 256
1547630956.612 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.612 * * * * [misc]points:  Sampling 63 additional inputs, on iter 3 have 193 / 256
1547630956.667 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.667 * * * * [misc]points:  Sampling 38 additional inputs, on iter 4 have 218 / 256
1547630956.688 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.688 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1547630956.706 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.706 * * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
1547630956.712 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.712 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1547630956.718 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.718 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 252 / 256
1547630956.743 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.743 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1547630956.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.744 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 255 / 256
1547630956.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630956.748 * * * * [exit]points:  Sampled 256 points with exact outputs
1547630956.748 * * * [misc]progress:  [2/2] Setting up program.
1547630956.753 * [misc]progress:  [Phase 2 of 3] Improving.
1547630956.754 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630956.755 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630956.756 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630956.762 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630956.767 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630956.767 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630956.776 * * [misc]progress:  iteration 1 / 4
1547630956.776 * * * [misc]progress:  picking best candidate
1547630956.782 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630956.782 * * * [misc]progress:  localizing error
1547630956.806 * * * [misc]progress:  generating rewritten candidates
1547630956.807 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1547630956.810 * * * [misc]progress:  generating series expansions
1547630956.811 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1547630956.815 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.815 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630956.816 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630956.818 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.819 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630956.819 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.819 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630956.819 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.819 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630956.819 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.819 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.820 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.820 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630956.823 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.823 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630956.823 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630956.823 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.823 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630956.823 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.823 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630956.824 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.824 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630956.824 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.824 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630956.824 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.824 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.824 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.825 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.825 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630956.826 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.826 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630956.826 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630956.826 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.826 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630956.826 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.826 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630956.826 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.826 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630956.826 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.827 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630956.827 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify 0 into 0
1547630956.827 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630956.827 * * * [misc]progress:  simplifying candidates
1547630956.827 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1547630956.827 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1547630956.827 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1547630956.828 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630956.828 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1547630956.828 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1547630956.828 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1547630956.828 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1547630956.828 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1547630956.828 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630956.828 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630956.828 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630956.830 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630956.833 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630956.833 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630956.833 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630956.833 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630956.833 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630956.835 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630956.838 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630956.838 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630956.838 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630956.838 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630956.838 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630956.840 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630956.843 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630956.843 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630956.843 * * * [misc]progress:  adding candidates to table
1547630957.017 * * [misc]progress:  iteration 2 / 4
1547630957.017 * * * [misc]progress:  picking best candidate
1547630957.032 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.032 * * * [misc]progress:  localizing error
1547630957.037 * * * [misc]progress:  generating rewritten candidates
1547630957.037 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1547630957.038 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1547630957.039 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547630957.042 * * * [misc]progress:  generating series expansions
1547630957.042 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630957.042 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.042 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.042 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630957.042 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.043 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.043 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.043 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.043 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.043 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630957.044 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.044 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630957.044 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.044 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.044 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.044 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.044 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.044 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.044 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.044 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.045 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.045 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.045 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630957.045 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1547630957.045 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.045 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547630957.045 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547630957.045 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.045 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.046 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.046 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547630957.046 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.046 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.046 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.046 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547630957.046 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.046 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.046 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.046 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547630957.046 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.046 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.046 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.047 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.049 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547630957.049 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.049 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.049 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.050 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547630957.050 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.052 * [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
1547630957.052 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.052 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.052 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.052 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.054 * [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
1547630957.054 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.057 * [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
1547630957.057 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.057 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.057 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.057 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630957.058 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.058 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547630957.058 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547630957.058 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.058 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.058 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.058 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547630957.058 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.058 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.058 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.058 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547630957.058 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.059 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.059 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.059 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547630957.059 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.059 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.059 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.059 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630957.060 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547630957.060 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.060 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.060 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.061 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547630957.061 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.063 * [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
1547630957.063 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.063 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.063 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.063 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.065 * [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
1547630957.065 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.068 * [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
1547630957.068 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.068 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.068 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.068 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547630957.068 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.068 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547630957.068 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547630957.068 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.068 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.069 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.069 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547630957.069 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.069 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.069 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.069 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547630957.069 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.069 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.069 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.069 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547630957.069 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.070 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.070 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.070 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630957.071 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547630957.071 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.071 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.071 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.072 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547630957.072 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.074 * [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
1547630957.074 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.074 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.074 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.074 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.075 * [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
1547630957.076 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.078 * [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
1547630957.078 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.078 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.078 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.078 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547630957.078 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547630957.079 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630957.079 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.079 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.079 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630957.079 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630957.079 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.079 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.079 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630957.080 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630957.080 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630957.080 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.080 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.080 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.081 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630957.081 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.081 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630957.081 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.081 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.081 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.081 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.081 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630957.081 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.082 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630957.082 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.082 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630957.082 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify 0 into 0
1547630957.082 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630957.082 * * * [misc]progress:  simplifying candidates
1547630957.082 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1547630957.082 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1547630957.082 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1547630957.082 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.082 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1547630957.083 * * * * [misc]progress:  [ 6 / 49 ] 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)))))))>
1547630957.083 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1547630957.083 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1547630957.083 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1547630957.083 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1547630957.083 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1547630957.083 * * * * [misc]progress:  [ 12 / 49 ] 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)))))))>
1547630957.083 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547630957.083 * * [misc]simplify:  iters left: 6 (8 enodes)
1547630957.086 * * [misc]simplify:  iters left: 5 (16 enodes)
1547630957.090 * * [misc]simplify:  iters left: 4 (19 enodes)
1547630957.095 * * [misc]simplify:  iters left: 3 (21 enodes)
1547630957.100 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547630957.100 * [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)))))))
1547630957.100 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547630957.100 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547630957.100 * * [misc]simplify:  iters left: 4 (7 enodes)
1547630957.102 * * [misc]simplify:  iters left: 3 (13 enodes)
1547630957.106 * * [misc]simplify:  iters left: 2 (16 enodes)
1547630957.110 * * [misc]simplify:  iters left: 1 (18 enodes)
1547630957.114 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547630957.114 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1547630957.114 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1547630957.115 * [enter]simplify:  Simplifying (log 1)
1547630957.115 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630957.117 * [exit]simplify:  Simplified to 0
1547630957.117 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1547630957.117 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547630957.117 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1547630957.117 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.117 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.117 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.119 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.122 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.122 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.122 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1547630957.122 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.122 * * * * [misc]progress:  [ 20 / 49 ] 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)))))))>
1547630957.122 * * * * [misc]progress:  [ 21 / 49 ] 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)))))))>
1547630957.122 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1547630957.122 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547630957.122 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.122 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.123 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1547630957.123 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547630957.123 * [enter]simplify:  Simplifying (exp 1)
1547630957.123 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630957.124 * [exit]simplify:  Simplified to E
1547630957.124 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547630957.124 * * * * [misc]progress:  [ 28 / 49 ] 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))))))>
1547630957.124 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547630957.124 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630957.127 * * [misc]simplify:  iters left: 5 (17 enodes)
1547630957.132 * * [misc]simplify:  iters left: 4 (20 enodes)
1547630957.137 * * [misc]simplify:  iters left: 3 (22 enodes)
1547630957.143 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547630957.143 * [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))))))
1547630957.143 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1547630957.143 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547630957.143 * * [misc]simplify:  iters left: 5 (8 enodes)
1547630957.554 * * [misc]simplify:  iters left: 4 (14 enodes)
1547630957.558 * * [misc]simplify:  iters left: 3 (17 enodes)
1547630957.562 * * [misc]simplify:  iters left: 2 (19 enodes)
1547630957.567 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547630957.567 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1547630957.567 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547630957.567 * [enter]simplify:  Simplifying (exp 1)
1547630957.567 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630957.568 * [exit]simplify:  Simplified to E
1547630957.568 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547630957.568 * * * * [misc]progress:  [ 31 / 49 ] 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)))))))>
1547630957.568 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1547630957.568 * * [misc]simplify:  iters left: 6 (9 enodes)
1547630957.571 * * [misc]simplify:  iters left: 5 (17 enodes)
1547630957.576 * * [misc]simplify:  iters left: 4 (22 enodes)
1547630957.581 * * [misc]simplify:  iters left: 3 (24 enodes)
1547630957.587 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1547630957.587 * [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)))))))
1547630957.587 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547630957.587 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1547630957.587 * * [misc]simplify:  iters left: 5 (8 enodes)
1547630957.590 * * [misc]simplify:  iters left: 4 (14 enodes)
1547630957.593 * * [misc]simplify:  iters left: 3 (17 enodes)
1547630957.597 * * [misc]simplify:  iters left: 2 (19 enodes)
1547630957.602 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1547630957.602 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1547630957.602 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1547630957.603 * [enter]simplify:  Simplifying (exp (log 1))
1547630957.603 * * [misc]simplify:  iters left: 2 (3 enodes)
1547630957.604 * * [misc]simplify:  iters left: 1 (5 enodes)
1547630957.605 * [exit]simplify:  Simplified to 1
1547630957.605 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1547630957.605 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630957.605 * [enter]simplify:  Simplifying (cosh c)
1547630957.605 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630957.606 * [exit]simplify:  Simplified to (cosh c)
1547630957.606 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630957.606 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.606 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.606 * * * * [misc]progress:  [ 37 / 49 ] 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)))))))>
1547630957.606 * * * * [misc]progress:  [ 38 / 49 ] 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)))))))>
1547630957.606 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1547630957.606 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1547630957.606 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.607 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.607 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.608 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.611 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.612 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.612 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.612 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.612 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.613 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.616 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.616 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.616 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.617 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.617 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.618 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.621 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.621 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.621 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.621 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630957.622 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630957.623 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630957.627 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630957.629 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630957.629 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.629 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.629 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630957.629 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630957.630 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630957.632 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630957.634 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630957.634 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.634 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547630957.634 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630957.634 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630957.635 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630957.636 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630957.638 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630957.638 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547630957.638 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630957.638 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.638 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.639 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.641 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.641 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630957.641 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630957.641 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.641 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.642 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.643 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.643 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630957.643 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547630957.643 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630957.643 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630957.644 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630957.646 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630957.646 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547630957.646 * * * [misc]progress:  adding candidates to table
1547630958.198 * * [misc]progress:  iteration 3 / 4
1547630958.198 * * * [misc]progress:  picking best candidate
1547630958.249 * * * * [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)))))))>
1547630958.249 * * * [misc]progress:  localizing error
1547630958.260 * * * [misc]progress:  generating rewritten candidates
1547630958.260 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1547630958.260 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1547630958.260 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1547630958.261 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1547630958.262 * * * [misc]progress:  generating series expansions
1547630958.262 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630958.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.262 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630958.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630958.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.263 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630958.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630958.264 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.264 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.264 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630958.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.265 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630958.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.266 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630958.267 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630958.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.267 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630958.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.268 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.269 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.269 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630958.269 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1547630958.269 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.269 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547630958.269 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547630958.269 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.269 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.269 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547630958.269 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.269 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.269 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547630958.269 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630958.269 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.269 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.270 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547630958.270 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630958.270 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630958.270 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.270 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.270 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547630958.271 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.271 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.271 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.271 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547630958.271 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.272 * [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
1547630958.272 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.272 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.272 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.272 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.273 * [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
1547630958.273 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.275 * [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
1547630958.275 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.275 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.275 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.275 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547630958.275 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.275 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547630958.275 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547630958.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.275 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.275 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547630958.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.276 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.276 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547630958.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630958.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.276 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.276 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547630958.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630958.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630958.276 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.276 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547630958.277 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547630958.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.277 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.277 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.278 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547630958.278 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.279 * [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
1547630958.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.279 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.279 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.279 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.280 * [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
1547630958.280 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.281 * [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
1547630958.282 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.282 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.282 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547630958.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.282 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547630958.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547630958.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547630958.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547630958.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630958.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547630958.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630958.283 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630958.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547630958.283 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547630958.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.283 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.283 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.284 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547630958.284 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.285 * [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
1547630958.285 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.285 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.285 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.285 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.286 * [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
1547630958.286 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.288 * [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
1547630958.288 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630958.288 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.288 * [misc]backup-simplify:  Simplify 0 into 0
1547630958.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547630958.288 * * * [misc]progress:  simplifying candidates
1547630958.288 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1547630958.288 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1547630958.288 * * * * [misc]progress:  [ 3 / 53 ] 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))))))>
1547630958.288 * * * * [misc]progress:  [ 4 / 53 ] 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)))))))))>
1547630958.288 * * * * [misc]progress:  [ 5 / 53 ] 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)))))))))>
1547630958.288 * * * * [misc]progress:  [ 6 / 53 ] 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)))))))))>
1547630958.288 * * * * [misc]progress:  [ 7 / 53 ] 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)))))))))>
1547630958.288 * * * * [misc]progress:  [ 8 / 53 ] 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)))))))))>
1547630958.288 * * * * [misc]progress:  [ 9 / 53 ] 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))))))))>
1547630958.288 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547630958.288 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547630958.288 * * * * [misc]progress:  [ 12 / 53 ] 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)))))))>
1547630958.288 * * * * [misc]progress:  [ 13 / 53 ] 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)))))))>
1547630958.288 * * * * [misc]progress:  [ 14 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 15 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 16 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 17 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 18 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547630958.289 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547630958.289 * * * * [misc]progress:  [ 21 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 22 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 23 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 24 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 25 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 26 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 27 / 53 ] 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)))))))>
1547630958.289 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1547630958.289 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1547630958.289 * * * * [misc]progress:  [ 30 / 53 ] 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)))))))))>
1547630958.289 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547630958.289 * * [misc]simplify:  iters left: 6 (8 enodes)
1547630958.290 * * [misc]simplify:  iters left: 5 (16 enodes)
1547630958.293 * * [misc]simplify:  iters left: 4 (19 enodes)
1547630958.295 * * [misc]simplify:  iters left: 3 (21 enodes)
1547630958.298 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547630958.298 * [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)))))))))
1547630958.298 * * * * [misc]progress:  [ 31 / 53 ] 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)))))))))>
1547630958.298 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547630958.298 * * [misc]simplify:  iters left: 4 (7 enodes)
1547630958.299 * * [misc]simplify:  iters left: 3 (13 enodes)
1547630958.301 * * [misc]simplify:  iters left: 2 (16 enodes)
1547630958.305 * * [misc]simplify:  iters left: 1 (18 enodes)
1547630958.307 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547630958.307 * [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)))))))))
1547630958.307 * * * * [misc]progress:  [ 32 / 53 ] 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))))))))>
1547630958.308 * [enter]simplify:  Simplifying (log 1)
1547630958.308 * * [misc]simplify:  iters left: 1 (2 enodes)
1547630958.309 * [exit]simplify:  Simplified to 0
1547630958.309 * [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))))))))
1547630958.309 * * * * [misc]progress:  [ 33 / 53 ] 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))))))))>
1547630958.309 * * * * [misc]progress:  [ 34 / 53 ] 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)))))>
1547630958.309 * * * * [misc]progress:  [ 35 / 53 ] 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)))))))>
1547630958.309 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.309 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.310 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.311 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.311 * [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)))))))
1547630958.311 * * * * [misc]progress:  [ 36 / 53 ] 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)))))))))>
1547630958.311 * * * * [misc]progress:  [ 37 / 53 ] 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)))))))))>
1547630958.311 * * * * [misc]progress:  [ 38 / 53 ] 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)))))))))>
1547630958.311 * * * * [misc]progress:  [ 39 / 53 ] 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)))))))))>
1547630958.311 * * * * [misc]progress:  [ 40 / 53 ] 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)))))))))>
1547630958.311 * * * * [misc]progress:  [ 41 / 53 ] 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))))))))>
1547630958.311 * * * * [misc]progress:  [ 42 / 53 ] 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)))))))>
1547630958.312 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.312 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.312 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.314 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.314 * [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)))))))
1547630958.314 * * * * [misc]progress:  [ 43 / 53 ] 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)))))))>
1547630958.314 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.314 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.315 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.316 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.316 * [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)))))))
1547630958.316 * * * * [misc]progress:  [ 44 / 53 ] 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)))))))>
1547630958.317 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.317 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.317 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.319 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.319 * [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)))))))
1547630958.319 * * * * [misc]progress:  [ 45 / 53 ] 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)))))))>
1547630958.319 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.319 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.320 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.321 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.321 * [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)))))))
1547630958.321 * * * * [misc]progress:  [ 46 / 53 ] 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)))))))>
1547630958.322 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.322 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.322 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.324 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.324 * [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)))))))
1547630958.324 * * * * [misc]progress:  [ 47 / 53 ] 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)))))))>
1547630958.324 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.324 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.325 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.326 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.327 * [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)))))))
1547630958.327 * * * * [misc]progress:  [ 48 / 53 ] 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)))))))>
1547630958.327 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.327 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.328 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.329 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.329 * [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)))))))
1547630958.329 * * * * [misc]progress:  [ 49 / 53 ] 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)))))))>
1547630958.329 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.329 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.330 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.332 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.332 * [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)))))))
1547630958.332 * * * * [misc]progress:  [ 50 / 53 ] 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)))))))>
1547630958.332 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630958.332 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630958.333 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630958.334 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630958.335 * [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)))))))
1547630958.335 * * * * [misc]progress:  [ 51 / 53 ] 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)))))))>
1547630958.335 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630958.335 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630958.336 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630958.338 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630958.340 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630958.340 * [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)))))))
1547630958.340 * * * * [misc]progress:  [ 52 / 53 ] 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)))))))>
1547630958.340 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630958.340 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630958.341 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630958.343 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630958.345 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630958.345 * [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)))))))
1547630958.345 * * * * [misc]progress:  [ 53 / 53 ] 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)))))))>
1547630958.345 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547630958.345 * * [misc]simplify:  iters left: 3 (6 enodes)
1547630958.347 * * [misc]simplify:  iters left: 2 (12 enodes)
1547630958.348 * * [misc]simplify:  iters left: 1 (15 enodes)
1547630958.350 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547630958.350 * [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)))))))
1547630958.350 * * * [misc]progress:  adding candidates to table
1547630959.123 * * [misc]progress:  iteration 4 / 4
1547630959.123 * * * [misc]progress:  picking best candidate
1547630959.223 * * * * [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)))))))))>
1547630959.223 * * * [misc]progress:  localizing error
1547630959.244 * * * [misc]progress:  generating rewritten candidates
1547630959.244 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1547630959.245 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1547630959.245 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1547630959.245 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1547630959.246 * * * [misc]progress:  generating series expansions
1547630959.246 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1547630959.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.246 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630959.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.246 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.247 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.247 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.247 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.247 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.247 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630959.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.248 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.249 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.249 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.249 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630959.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630959.250 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1547630959.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.250 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630959.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.251 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630959.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.252 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630959.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.253 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630959.254 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1547630959.254 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.254 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630959.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.254 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.254 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.254 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.255 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630959.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.255 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.256 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630959.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.257 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.258 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.258 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.258 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630959.258 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547630959.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.258 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.258 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.259 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547630959.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.259 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547630959.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547630959.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547630959.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547630959.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547630959.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.260 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547630959.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547630959.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547630959.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547630959.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.261 * [misc]backup-simplify:  Simplify 0 into 0
1547630959.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547630959.262 * * * [misc]progress:  simplifying candidates
1547630959.262 * * * * [misc]progress:  [ 1 / 48 ] 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 (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 2 / 48 ] 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 (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 3 / 48 ] 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))))))))>
1547630959.262 * * * * [misc]progress:  [ 4 / 48 ] 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)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 5 / 48 ] 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)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 6 / 48 ] 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)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 7 / 48 ] 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)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 8 / 48 ] 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)))))))))))>
1547630959.262 * * * * [misc]progress:  [ 9 / 48 ] 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))))))))))>
1547630959.262 * * * * [misc]progress:  [ 10 / 48 ] 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 (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547630959.262 * * * * [misc]progress:  [ 11 / 48 ] 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 (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547630959.262 * * * * [misc]progress:  [ 12 / 48 ] 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)))))))))>
1547630959.262 * * * * [misc]progress:  [ 13 / 48 ] 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)))))))))>
1547630959.262 * * * * [misc]progress:  [ 14 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 15 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 16 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 17 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 18 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547630959.263 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547630959.263 * * * * [misc]progress:  [ 21 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 22 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 23 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 24 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 25 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 26 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 27 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 30 / 48 ] 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)))))))))>
1547630959.263 * * * * [misc]progress:  [ 31 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 32 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 33 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 34 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 35 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 36 / 48 ] 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)))))))))>
1547630959.264 * * * * [misc]progress:  [ 37 / 48 ] 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)))))))))>
1547630959.264 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.264 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.266 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.269 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.269 * [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)))))))))
1547630959.269 * * * * [misc]progress:  [ 38 / 48 ] 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)))))))))>
1547630959.269 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.269 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.270 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.273 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.273 * [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)))))))))
1547630959.273 * * * * [misc]progress:  [ 39 / 48 ] 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)))))))))>
1547630959.274 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.274 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.275 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.278 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.278 * [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)))))))))
1547630959.278 * * * * [misc]progress:  [ 40 / 48 ] 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)))))))))>
1547630959.278 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.278 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.280 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.282 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.282 * [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)))))))))
1547630959.283 * * * * [misc]progress:  [ 41 / 48 ] 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)))))))))>
1547630959.283 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.283 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.284 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.287 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.287 * [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)))))))))
1547630959.287 * * * * [misc]progress:  [ 42 / 48 ] 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)))))))))>
1547630959.287 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.287 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.289 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.291 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.291 * [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)))))))))
1547630959.291 * * * * [misc]progress:  [ 43 / 48 ] 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)))))))))>
1547630959.292 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.292 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.293 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.296 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.296 * [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)))))))))
1547630959.296 * * * * [misc]progress:  [ 44 / 48 ] 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)))))))))>
1547630959.296 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.296 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.297 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.300 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.300 * [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)))))))))
1547630959.300 * * * * [misc]progress:  [ 45 / 48 ] 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)))))))))>
1547630959.300 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.300 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.301 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.303 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.303 * [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)))))))))
1547630959.303 * * * * [misc]progress:  [ 46 / 48 ] 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)))))))))>
1547630959.303 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.303 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.304 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.305 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.305 * [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)))))))))
1547630959.305 * * * * [misc]progress:  [ 47 / 48 ] 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)))))))))>
1547630959.305 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.305 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.308 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.310 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.310 * [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)))))))))
1547630959.310 * * * * [misc]progress:  [ 48 / 48 ] 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)))))))))>
1547630959.310 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547630959.310 * * [misc]simplify:  iters left: 2 (5 enodes)
1547630959.311 * * [misc]simplify:  iters left: 1 (11 enodes)
1547630959.312 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547630959.312 * [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)))))))))
1547630959.312 * * * [misc]progress:  adding candidates to table
1547630960.092 * [misc]progress:  [Phase 3 of 3] Extracting.
1547630960.093 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.097 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1547630960.098 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.254 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.406 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.589 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.733 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (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) (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)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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) (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 (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<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)))))))> #<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) (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)))))>)
1547630960.901 * * * [misc]regime:  Found split indices: #<option (#s(si 12 256))>
1547630960.902 * [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))))))))
1547630960.902 * * [misc]simplify:  iters left: 6 (12 enodes)
1547630960.902 * * [misc]simplify:  iters left: 5 (14 enodes)
1547630960.903 * [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)))))))
1547630960.903 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547630969.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630969.466 * * * * [misc]points:  Sampling 4987 additional inputs, on iter 1 have 3013 / 8000
1547630974.845 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630974.846 * * * * [misc]points:  Sampling 3093 additional inputs, on iter 2 have 4907 / 8000
1547630978.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630978.311 * * * * [misc]points:  Sampling 1944 additional inputs, on iter 3 have 6056 / 8000
1547630980.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630980.459 * * * * [misc]points:  Sampling 1188 additional inputs, on iter 4 have 6812 / 8000
1547630981.658 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630981.659 * * * * [misc]points:  Sampling 755 additional inputs, on iter 5 have 7245 / 8000
1547630982.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630982.391 * * * * [misc]points:  Sampling 478 additional inputs, on iter 6 have 7522 / 8000
1547630982.940 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630982.941 * * * * [misc]points:  Sampling 291 additional inputs, on iter 7 have 7709 / 8000
1547630983.667 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630983.667 * * * * [misc]points:  Sampling 169 additional inputs, on iter 8 have 7831 / 8000
1547630983.831 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630983.832 * * * * [misc]points:  Sampling 111 additional inputs, on iter 9 have 7889 / 8000
1547630983.952 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630983.952 * * * * [misc]points:  Sampling 70 additional inputs, on iter 10 have 7930 / 8000
1547630984.019 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.019 * * * * [misc]points:  Sampling 51 additional inputs, on iter 11 have 7949 / 8000
1547630984.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.069 * * * * [misc]points:  Sampling 34 additional inputs, on iter 12 have 7966 / 8000
1547630984.088 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.089 * * * * [misc]points:  Sampling 19 additional inputs, on iter 13 have 7981 / 8000
1547630984.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.103 * * * * [misc]points:  Sampling 12 additional inputs, on iter 14 have 7988 / 8000
1547630984.119 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.119 * * * * [misc]points:  Sampling 9 additional inputs, on iter 15 have 7991 / 8000
1547630984.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.129 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1547630984.135 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.135 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1547630984.142 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.142 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1547630984.149 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.149 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7999 / 8000
1547630984.153 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547630984.153 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547630986.572 * [misc]regime-testing:  Baseline error score: 34.06054532077625
1547630986.574 * [misc]regime-testing:  Oracle error score: 34.01259512472609
1547630986.578 * [misc]regime-testing:  End program error score: 34.06054532077625