1546939507.264 * [misc]progress:  [Phase 1 of 3] Setting up.
1546939507.264 * * * [misc]progress:  [1/2] Preparing points
1546939507.264 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546939507.500 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.500 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1546939507.750 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.750 * * * * [misc]points:  Sampling 108 additional inputs, on iter 2 have 148 / 256
1546939507.845 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.845 * * * * [misc]points:  Sampling 67 additional inputs, on iter 3 have 189 / 256
1546939507.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.891 * * * * [misc]points:  Sampling 44 additional inputs, on iter 4 have 212 / 256
1546939507.967 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.967 * * * * [misc]points:  Sampling 25 additional inputs, on iter 5 have 231 / 256
1546939507.997 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939507.997 * * * * [misc]points:  Sampling 18 additional inputs, on iter 6 have 238 / 256
1546939508.014 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.014 * * * * [misc]points:  Sampling 11 additional inputs, on iter 7 have 245 / 256
1546939508.024 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.024 * * * * [misc]points:  Sampling 8 additional inputs, on iter 8 have 248 / 256
1546939508.033 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.033 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1546939508.044 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.044 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 252 / 256
1546939508.050 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.050 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 252 / 256
1546939508.055 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.055 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 255 / 256
1546939508.063 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939508.063 * * * * [exit]points:  Sampled 256 points with exact outputs
1546939508.064 * * * [misc]progress:  [2/2] Setting up program.
1546939508.071 * [misc]progress:  [Phase 2 of 3] Improving.
1546939508.072 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.073 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.075 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.081 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.086 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.086 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.094 * * [misc]progress:  iteration 1 / 4
1546939508.094 * * * [misc]progress:  picking best candidate
1546939508.100 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.100 * * * [misc]progress:  localizing error
1546939508.124 * * * [misc]progress:  generating rewritten candidates
1546939508.124 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546939508.128 * * * [misc]progress:  generating series expansions
1546939508.128 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546939508.132 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.132 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939508.134 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.159 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.159 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.159 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.159 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.159 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.159 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.159 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.159 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.159 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.160 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.160 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.161 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939508.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.162 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.162 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.162 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.162 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.162 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939508.163 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.163 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939508.164 * * * [misc]progress:  simplifying candidates
1546939508.164 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1546939508.164 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1546939508.164 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1546939508.164 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.164 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1546939508.164 * * * * [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)))))>
1546939508.164 * * * * [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)))))>
1546939508.164 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1546939508.164 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1546939508.164 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.164 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.164 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.165 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.167 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.167 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.167 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.167 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.167 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.168 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.170 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.170 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.170 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.170 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.170 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.171 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.173 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.173 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.173 * * * [misc]progress:  adding candidates to table
1546939508.481 * * [misc]progress:  iteration 2 / 4
1546939508.481 * * * [misc]progress:  picking best candidate
1546939508.497 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.497 * * * [misc]progress:  localizing error
1546939508.509 * * * [misc]progress:  generating rewritten candidates
1546939508.510 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1546939508.510 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546939508.513 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1546939508.518 * * * [misc]progress:  generating series expansions
1546939508.518 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1546939508.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.518 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939508.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.519 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.519 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.519 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939508.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.520 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.520 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.520 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.520 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.520 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.520 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.520 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939508.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.521 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939508.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.521 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.521 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.522 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.522 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939508.522 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546939508.523 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.523 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546939508.523 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546939508.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.523 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.523 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.523 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546939508.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.523 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.523 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.523 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546939508.523 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.523 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.523 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.523 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546939508.524 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.524 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.524 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.524 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.526 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546939508.526 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.526 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.526 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.527 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546939508.527 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.529 * [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
1546939508.529 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.529 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.529 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.529 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.531 * [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
1546939508.531 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.534 * [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
1546939508.534 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.534 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.534 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.535 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939508.535 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.535 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546939508.535 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546939508.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.535 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.535 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546939508.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.535 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.535 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.535 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546939508.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.536 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.536 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546939508.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.536 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.536 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939508.537 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546939508.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.537 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.537 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.538 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546939508.538 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.540 * [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
1546939508.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.540 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.540 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.540 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.542 * [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
1546939508.542 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.545 * [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
1546939508.545 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.545 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.545 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.545 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546939508.545 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.545 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546939508.545 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546939508.545 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.546 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.546 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546939508.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.546 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.546 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546939508.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.546 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.546 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546939508.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.547 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939508.548 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546939508.548 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.548 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.548 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.549 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546939508.549 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.551 * [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
1546939508.551 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.551 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.551 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.551 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.553 * [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
1546939508.553 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.555 * [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
1546939508.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.556 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.556 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.556 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546939508.556 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1546939508.556 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1546939508.556 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939508.556 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.556 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.556 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.556 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.556 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939508.556 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.557 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939508.557 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.557 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.557 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.557 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939508.557 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.557 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939508.557 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.557 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.558 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939508.558 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.558 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939508.558 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.558 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939508.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.558 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.559 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.559 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.559 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.559 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939508.559 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.559 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939508.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.559 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939508.559 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.560 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939508.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939508.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify 0 into 0
1546939508.560 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939508.560 * * * [misc]progress:  simplifying candidates
1546939508.561 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1546939508.561 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [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)))))))>
1546939508.561 * * * * [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)))))))>
1546939508.561 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1546939508.561 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1546939508.561 * * * * [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)))))))>
1546939508.566 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546939508.566 * * [misc]simplify:  iters left: 6 (8 enodes)
1546939508.569 * * [misc]simplify:  iters left: 5 (16 enodes)
1546939508.573 * * [misc]simplify:  iters left: 4 (19 enodes)
1546939508.578 * * [misc]simplify:  iters left: 3 (21 enodes)
1546939508.584 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546939508.584 * [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)))))))
1546939508.584 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546939508.584 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546939508.584 * * [misc]simplify:  iters left: 4 (7 enodes)
1546939508.586 * * [misc]simplify:  iters left: 3 (13 enodes)
1546939508.590 * * [misc]simplify:  iters left: 2 (16 enodes)
1546939508.594 * * [misc]simplify:  iters left: 1 (18 enodes)
1546939508.598 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546939508.598 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1546939508.598 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1546939508.599 * [enter]simplify:  Simplifying (log 1)
1546939508.599 * * [misc]simplify:  iters left: 1 (2 enodes)
1546939508.601 * [exit]simplify:  Simplified to 0
1546939508.601 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1546939508.601 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546939508.601 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1546939508.601 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.601 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.601 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.603 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.606 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.606 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.606 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1546939508.606 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.606 * * * * [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)))))))>
1546939508.606 * * * * [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)))))))>
1546939508.606 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1546939508.606 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546939508.606 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.606 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.606 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1546939508.606 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546939508.607 * [enter]simplify:  Simplifying (exp 1)
1546939508.607 * * [misc]simplify:  iters left: 1 (2 enodes)
1546939508.607 * [exit]simplify:  Simplified to E
1546939508.608 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546939508.608 * * * * [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))))))>
1546939508.608 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546939508.608 * * [misc]simplify:  iters left: 6 (9 enodes)
1546939508.611 * * [misc]simplify:  iters left: 5 (17 enodes)
1546939508.615 * * [misc]simplify:  iters left: 4 (20 enodes)
1546939508.620 * * [misc]simplify:  iters left: 3 (22 enodes)
1546939508.626 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546939508.626 * [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))))))
1546939508.626 * * * * [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))))))>
1546939508.626 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546939508.627 * * [misc]simplify:  iters left: 5 (8 enodes)
1546939508.629 * * [misc]simplify:  iters left: 4 (14 enodes)
1546939508.632 * * [misc]simplify:  iters left: 3 (17 enodes)
1546939508.637 * * [misc]simplify:  iters left: 2 (19 enodes)
1546939508.642 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546939508.642 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1546939508.642 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546939508.642 * [enter]simplify:  Simplifying (exp 1)
1546939508.642 * * [misc]simplify:  iters left: 1 (2 enodes)
1546939508.643 * [exit]simplify:  Simplified to E
1546939508.643 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546939508.643 * * * * [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)))))))>
1546939508.643 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1546939508.643 * * [misc]simplify:  iters left: 6 (9 enodes)
1546939508.646 * * [misc]simplify:  iters left: 5 (17 enodes)
1546939508.650 * * [misc]simplify:  iters left: 4 (22 enodes)
1546939508.656 * * [misc]simplify:  iters left: 3 (24 enodes)
1546939508.661 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1546939508.661 * [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)))))))
1546939508.661 * * * * [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)))))))>
1546939508.662 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1546939508.662 * * [misc]simplify:  iters left: 5 (8 enodes)
1546939508.664 * * [misc]simplify:  iters left: 4 (14 enodes)
1546939508.667 * * [misc]simplify:  iters left: 3 (17 enodes)
1546939508.671 * * [misc]simplify:  iters left: 2 (19 enodes)
1546939508.676 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1546939508.676 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1546939508.676 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1546939508.676 * [enter]simplify:  Simplifying (exp (log 1))
1546939508.676 * * [misc]simplify:  iters left: 2 (3 enodes)
1546939508.678 * * [misc]simplify:  iters left: 1 (5 enodes)
1546939508.679 * [exit]simplify:  Simplified to 1
1546939508.679 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1546939508.679 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.679 * [enter]simplify:  Simplifying (cosh c)
1546939508.679 * * [misc]simplify:  iters left: 1 (2 enodes)
1546939508.680 * [exit]simplify:  Simplified to (cosh c)
1546939508.680 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.680 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.680 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1546939508.680 * * * * [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)))))))>
1546939508.680 * * * * [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)))))))>
1546939508.680 * * * * [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)))))))>
1546939508.680 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1546939508.680 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.680 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.680 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.681 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.684 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.684 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.684 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.684 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.684 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.685 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.688 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.688 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.688 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.688 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.688 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.689 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.692 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.692 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.692 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.692 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939508.692 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939508.694 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939508.697 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939508.700 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939508.700 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.700 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.700 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939508.700 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939508.702 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939508.705 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939508.709 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939508.709 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.709 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546939508.709 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939508.709 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939508.713 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939508.716 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939508.720 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939508.720 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546939508.720 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.720 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.720 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.721 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.724 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.724 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.724 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.724 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.724 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.726 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.728 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.728 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.728 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546939508.729 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939508.729 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939508.730 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939508.732 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939508.732 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546939508.732 * * * [misc]progress:  adding candidates to table
1546939509.270 * * [misc]progress:  iteration 3 / 4
1546939509.270 * * * [misc]progress:  picking best candidate
1546939509.313 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.313 * * * [misc]progress:  localizing error
1546939509.324 * * * [misc]progress:  generating rewritten candidates
1546939509.324 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1546939509.324 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1546939509.325 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1546939509.325 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1546939509.326 * * * [misc]progress:  generating series expansions
1546939509.326 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.326 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939509.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.326 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939509.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939509.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.328 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939509.329 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939509.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.329 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939509.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.330 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939509.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.330 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939509.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939509.331 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.331 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939509.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.331 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.332 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.333 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.333 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939509.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.333 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.334 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.334 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.334 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.334 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.334 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.334 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939509.334 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1546939509.334 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.334 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546939509.334 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546939509.334 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.334 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.335 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.335 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546939509.335 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.335 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.335 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.335 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546939509.335 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939509.335 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.335 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.335 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546939509.335 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939509.335 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939509.335 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.335 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.336 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546939509.336 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.336 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.336 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.337 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546939509.337 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.338 * [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
1546939509.338 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.338 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.338 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.338 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.339 * [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
1546939509.339 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.341 * [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
1546939509.341 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.341 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.341 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.341 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546939509.341 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.341 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546939509.341 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546939509.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.341 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.341 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546939509.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.342 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.342 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546939509.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939509.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.342 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.342 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546939509.342 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939509.342 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939509.342 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.342 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546939509.343 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546939509.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.343 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.343 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.343 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546939509.343 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.345 * [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
1546939509.345 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.345 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.345 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.345 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.346 * [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
1546939509.346 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.347 * [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
1546939509.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.348 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.348 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.348 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546939509.348 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.348 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546939509.348 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546939509.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.348 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.348 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546939509.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.348 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.348 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546939509.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939509.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.348 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.348 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546939509.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939509.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939509.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.349 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546939509.349 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546939509.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.349 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.349 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.350 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546939509.350 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.351 * [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
1546939509.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.351 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.351 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.351 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.352 * [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
1546939509.352 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.356 * [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
1546939509.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939509.356 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.356 * [misc]backup-simplify:  Simplify 0 into 0
1546939509.356 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546939509.356 * * * [misc]progress:  simplifying candidates
1546939509.356 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1546939509.356 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1546939509.356 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1546939509.356 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546939509.356 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1546939509.356 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939509.356 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1546939509.357 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1546939509.357 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1546939509.357 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546939509.357 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1546939509.357 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1546939509.357 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939509.357 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546939509.358 * * [misc]simplify:  iters left: 6 (8 enodes)
1546939509.359 * * [misc]simplify:  iters left: 5 (16 enodes)
1546939509.361 * * [misc]simplify:  iters left: 4 (19 enodes)
1546939509.363 * * [misc]simplify:  iters left: 3 (21 enodes)
1546939509.366 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546939509.366 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939509.366 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1546939509.366 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546939509.366 * * [misc]simplify:  iters left: 4 (7 enodes)
1546939509.367 * * [misc]simplify:  iters left: 3 (13 enodes)
1546939509.370 * * [misc]simplify:  iters left: 2 (16 enodes)
1546939509.374 * * [misc]simplify:  iters left: 1 (18 enodes)
1546939509.379 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546939509.379 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1546939509.379 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1546939509.379 * [enter]simplify:  Simplifying (log 1)
1546939509.379 * * [misc]simplify:  iters left: 1 (2 enodes)
1546939509.380 * [exit]simplify:  Simplified to 0
1546939509.381 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1546939509.381 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546939509.381 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1546939509.381 * * * * [misc]progress:  [ 35 / 53 ] 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)))))))>
1546939509.381 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.381 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.382 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.385 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.386 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.386 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1546939509.386 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546939509.386 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1546939509.386 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546939509.386 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1546939509.386 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546939509.386 * * * * [misc]progress:  [ 42 / 53 ] 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)))))))>
1546939509.386 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.386 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.388 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.391 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.391 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.391 * * * * [misc]progress:  [ 43 / 53 ] 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)))))))>
1546939509.391 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.391 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.393 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.396 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.396 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.396 * * * * [misc]progress:  [ 44 / 53 ] 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)))))))>
1546939509.396 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.396 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.398 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.401 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.401 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.401 * * * * [misc]progress:  [ 45 / 53 ] 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)))))))>
1546939509.401 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.401 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.402 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.405 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.406 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.406 * * * * [misc]progress:  [ 46 / 53 ] 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)))))))>
1546939509.406 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.406 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.407 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.411 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.411 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.411 * * * * [misc]progress:  [ 47 / 53 ] 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)))))))>
1546939509.411 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.411 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.413 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.415 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.415 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.416 * * * * [misc]progress:  [ 48 / 53 ] 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)))))))>
1546939509.416 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.416 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.416 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.418 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.418 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.418 * * * * [misc]progress:  [ 49 / 53 ] 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)))))))>
1546939509.418 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.418 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.419 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.420 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.420 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.420 * * * * [misc]progress:  [ 50 / 53 ] 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)))))))>
1546939509.420 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939509.420 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939509.421 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939509.423 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939509.423 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.423 * * * * [misc]progress:  [ 51 / 53 ] 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)))))))>
1546939509.423 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939509.423 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939509.424 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939509.425 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939509.427 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939509.427 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.427 * * * * [misc]progress:  [ 52 / 53 ] 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)))))))>
1546939509.427 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939509.427 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939509.428 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939509.430 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939509.431 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939509.432 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.432 * * * * [misc]progress:  [ 53 / 53 ] 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)))))))>
1546939509.432 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546939509.432 * * [misc]simplify:  iters left: 3 (6 enodes)
1546939509.433 * * [misc]simplify:  iters left: 2 (12 enodes)
1546939509.434 * * [misc]simplify:  iters left: 1 (15 enodes)
1546939509.436 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546939509.436 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546939509.436 * * * [misc]progress:  adding candidates to table
1546939510.201 * * [misc]progress:  iteration 4 / 4
1546939510.201 * * * [misc]progress:  picking best candidate
1546939510.264 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.264 * * * [misc]progress:  localizing error
1546939510.313 * * * [misc]progress:  generating rewritten candidates
1546939510.313 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
1546939510.313 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1546939510.314 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1546939510.314 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1546939510.315 * * * [misc]progress:  generating series expansions
1546939510.315 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
1546939510.315 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.315 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939510.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.315 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.315 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.315 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.315 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.316 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939510.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939510.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.318 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.319 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939510.319 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1546939510.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.319 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939510.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.320 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.320 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.320 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.320 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.320 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939510.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.321 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.322 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.322 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939510.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939510.323 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1546939510.323 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.323 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939510.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.323 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.324 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939510.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.325 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.325 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.325 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.326 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939510.326 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.326 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939510.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.326 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.327 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939510.328 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546939510.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.328 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.328 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.329 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546939510.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.329 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546939510.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546939510.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546939510.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546939510.330 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.330 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.331 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546939510.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.331 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546939510.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546939510.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546939510.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546939510.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]taylor:  Taking taylor expansion of 0 in a
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify 0 into 0
1546939510.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546939510.332 * * * [misc]progress:  simplifying candidates
1546939510.332 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (pow (fmod (cosh c) (log1p a)) 1))))))))>
1546939510.333 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (exp (log (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (log (exp (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1546939510.333 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (* 1 (fmod (cosh c) (log1p a))))))))))>
1546939510.333 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log1p (expm1 (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (pow (fmod (cosh c) (log1p a)) 1)))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (log (exp (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.333 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (* 1 (fmod (cosh c) (log1p a)))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (log1p (expm1 (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (pow (fmod (cosh c) (log1p a)) 1)) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (log (exp (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (* 1 (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.334 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.335 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.335 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.336 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.339 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.339 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.339 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.340 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.340 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.341 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.344 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.344 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.344 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.344 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.345 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.346 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.349 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.349 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.349 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.349 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.349 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.351 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.354 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.354 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.354 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.354 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.354 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.355 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.358 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.358 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.358 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.359 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.359 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.360 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.363 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.363 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.363 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.363 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.364 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.365 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.368 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.368 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.368 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.368 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.368 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.370 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.373 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.373 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.373 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.373 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.374 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.375 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.378 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.378 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.378 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.379 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.379 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.380 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.383 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.383 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.383 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.383 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.384 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.385 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.388 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.388 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.389 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546939510.389 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546939510.389 * * [misc]simplify:  iters left: 2 (5 enodes)
1546939510.390 * * [misc]simplify:  iters left: 1 (11 enodes)
1546939510.394 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546939510.394 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546939510.394 * * * [misc]progress:  adding candidates to table
1546939511.180 * [misc]progress:  [Phase 3 of 3] Extracting.
1546939511.181 * * [misc]regime:  Finding splitpoints for: (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.183 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1546939511.184 * * * * [misc]regimes:  Trying to branch on a from (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.267 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.426 * * * * [misc]regimes:  Trying to branch on c from (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.530 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.601 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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 (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>)
1546939511.742 * * * [misc]regime:  Found split indices: #<option (#s(si 13 256))>
1546939511.743 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))
1546939511.743 * * [misc]simplify:  iters left: 6 (15 enodes)
1546939511.744 * * [misc]simplify:  iters left: 5 (17 enodes)
1546939511.744 * [exit]simplify:  Simplified to (exp (cbrt (* (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1546939511.744 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546939520.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939520.446 * * * * [misc]points:  Sampling 4987 additional inputs, on iter 1 have 3013 / 8000
1546939525.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939525.910 * * * * [misc]points:  Sampling 3020 additional inputs, on iter 2 have 4980 / 8000
1546939529.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939529.319 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 3 have 6130 / 8000
1546939531.388 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939531.388 * * * * [misc]points:  Sampling 1139 additional inputs, on iter 4 have 6861 / 8000
1546939532.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939532.683 * * * * [misc]points:  Sampling 722 additional inputs, on iter 5 have 7278 / 8000
1546939533.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939533.491 * * * * [misc]points:  Sampling 471 additional inputs, on iter 6 have 7529 / 8000
1546939534.300 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939534.300 * * * * [misc]points:  Sampling 279 additional inputs, on iter 7 have 7721 / 8000
1546939534.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939534.599 * * * * [misc]points:  Sampling 184 additional inputs, on iter 8 have 7816 / 8000
1546939534.779 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939534.780 * * * * [misc]points:  Sampling 125 additional inputs, on iter 9 have 7875 / 8000
1546939534.962 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939534.962 * * * * [misc]points:  Sampling 76 additional inputs, on iter 10 have 7924 / 8000
1546939535.035 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.035 * * * * [misc]points:  Sampling 55 additional inputs, on iter 11 have 7945 / 8000
1546939535.070 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.070 * * * * [misc]points:  Sampling 29 additional inputs, on iter 12 have 7971 / 8000
1546939535.086 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.086 * * * * [misc]points:  Sampling 15 additional inputs, on iter 13 have 7985 / 8000
1546939535.100 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.100 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1546939535.109 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.109 * * * * [misc]points:  Sampling 7 additional inputs, on iter 15 have 7993 / 8000
1546939535.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.115 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1546939535.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.120 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1546939535.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.122 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1546939535.124 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.124 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7999 / 8000
1546939535.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.130 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7999 / 8000
1546939535.152 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.152 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 7999 / 8000
1546939535.156 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546939535.156 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546939537.404 * [misc]regime-testing:  Baseline error score: 34.33224791900446
1546939537.406 * [misc]regime-testing:  Oracle error score: 34.291931242995844
1546939537.409 * [misc]regime-testing:  End program error score: 34.33224791900446