1545294652.076 * [misc]progress:  [Phase 1 of 3] Setting up.
1545294652.076 * * * [misc]progress:  [1/2] Preparing points
1545294652.076 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545294652.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294652.391 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1545294652.910 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294652.911 * * * * [misc]points:  Sampling 91 additional inputs, on iter 2 have 165 / 256
1545294653.006 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.006 * * * * [misc]points:  Sampling 55 additional inputs, on iter 3 have 201 / 256
1545294653.070 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.070 * * * * [misc]points:  Sampling 35 additional inputs, on iter 4 have 221 / 256
1545294653.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.108 * * * * [misc]points:  Sampling 21 additional inputs, on iter 5 have 235 / 256
1545294653.132 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.132 * * * * [misc]points:  Sampling 11 additional inputs, on iter 6 have 245 / 256
1545294653.145 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.145 * * * * [misc]points:  Sampling 6 additional inputs, on iter 7 have 250 / 256
1545294653.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.154 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1545294653.204 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.204 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
1545294653.212 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.212 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 255 / 256
1545294653.220 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.220 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1545294653.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294653.225 * * * * [exit]points:  Sampled 257 points with exact outputs
1545294653.226 * * * [misc]progress:  [2/2] Setting up program.
1545294653.234 * [misc]progress:  [Phase 2 of 3] Improving.
1545294653.236 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.238 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.244 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.248 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.262 * * [misc]progress:  iteration 1 / 4
1545294653.262 * * * [misc]progress:  picking best candidate
1545294653.267 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.267 * * * [misc]progress:  localizing error
1545294653.279 * * * [misc]progress:  generating rewritten candidates
1545294653.280 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545294653.281 * * * [misc]progress:  generating series expansions
1545294653.281 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545294653.283 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.283 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294653.284 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.285 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.286 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.286 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.286 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.286 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.286 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.286 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.287 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294653.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.290 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.290 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294653.290 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.290 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294653.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.290 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.290 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.291 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.291 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.291 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.291 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.291 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294653.291 * * * [misc]progress:  simplifying candidates
1545294653.291 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545294653.292 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.292 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545294653.292 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545294653.292 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545294653.292 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545294653.292 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545294653.292 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.292 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.292 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.293 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.295 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.295 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.295 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.295 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.295 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.296 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.297 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.297 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.297 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.298 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.298 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.298 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.300 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.300 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.300 * * * [misc]progress:  adding candidates to table
1545294653.407 * * [misc]progress:  iteration 2 / 4
1545294653.407 * * * [misc]progress:  picking best candidate
1545294653.434 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.434 * * * [misc]progress:  localizing error
1545294653.445 * * * [misc]progress:  generating rewritten candidates
1545294653.445 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545294653.445 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545294653.448 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545294653.452 * * * [misc]progress:  generating series expansions
1545294653.452 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545294653.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.452 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294653.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.452 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.452 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.453 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.453 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.453 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.453 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294653.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.453 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.453 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.454 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.454 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.455 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294653.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294653.456 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545294653.456 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.456 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545294653.456 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294653.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.456 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.457 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.457 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294653.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.457 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.457 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294653.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.457 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.457 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294653.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.457 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.457 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.461 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294653.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.461 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.461 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.462 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294653.462 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.464 * [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
1545294653.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.464 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.464 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.464 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.465 * [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
1545294653.465 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.468 * [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
1545294653.468 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.468 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.468 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.468 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294653.468 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.468 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545294653.468 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294653.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.468 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.468 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294653.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.468 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.468 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294653.468 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.468 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.468 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.469 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294653.469 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.469 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.469 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.469 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294653.470 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294653.470 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.470 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.470 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.470 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294653.470 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.471 * [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
1545294653.471 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.471 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.471 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.471 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.472 * [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
1545294653.472 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.474 * [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
1545294653.474 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.474 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.474 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.474 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545294653.474 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.474 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545294653.474 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294653.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.474 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.475 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.475 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294653.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.475 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.475 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294653.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.475 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.475 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294653.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.475 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.475 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294653.476 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294653.476 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.476 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.476 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.477 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294653.477 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.478 * [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
1545294653.478 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.478 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.478 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.478 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.479 * [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
1545294653.480 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.481 * [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
1545294653.481 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.481 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.481 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.482 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545294653.482 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545294653.482 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545294653.482 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294653.482 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.482 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294653.483 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.483 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294653.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.483 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.483 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.484 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.484 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294653.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294653.484 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.484 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294653.484 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.484 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.484 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.484 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294653.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294653.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294653.485 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify 0 into 0
1545294653.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294653.485 * * * [misc]progress:  simplifying candidates
1545294653.485 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545294653.485 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.485 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545294653.485 * * * * [misc]progress:  [ 4 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545294653.485 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545294653.485 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545294653.485 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545294653.485 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545294653.486 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545294653.486 * * [misc]simplify:  iters left: 6 (8 enodes)
1545294653.487 * * [misc]simplify:  iters left: 5 (16 enodes)
1545294653.490 * * [misc]simplify:  iters left: 4 (19 enodes)
1545294653.493 * * [misc]simplify:  iters left: 3 (21 enodes)
1545294653.496 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545294653.496 * [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)))))))
1545294653.496 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545294653.496 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545294653.496 * * [misc]simplify:  iters left: 4 (7 enodes)
1545294653.497 * * [misc]simplify:  iters left: 3 (13 enodes)
1545294653.499 * * [misc]simplify:  iters left: 2 (16 enodes)
1545294653.501 * * [misc]simplify:  iters left: 1 (18 enodes)
1545294653.503 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545294653.503 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545294653.503 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545294653.504 * [enter]simplify:  Simplifying (log 1)
1545294653.504 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294653.505 * [exit]simplify:  Simplified to 0
1545294653.505 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545294653.505 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545294653.505 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545294653.505 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.505 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.505 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.506 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.508 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.508 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.508 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545294653.508 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.508 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294653.508 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545294653.508 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545294653.508 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545294653.508 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545294653.508 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545294653.508 * [enter]simplify:  Simplifying (exp 1)
1545294653.508 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294653.508 * [exit]simplify:  Simplified to E
1545294653.509 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294653.509 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545294653.509 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545294653.509 * * [misc]simplify:  iters left: 6 (9 enodes)
1545294653.510 * * [misc]simplify:  iters left: 5 (17 enodes)
1545294653.514 * * [misc]simplify:  iters left: 4 (20 enodes)
1545294653.520 * * [misc]simplify:  iters left: 3 (22 enodes)
1545294653.526 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545294653.526 * [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))))))
1545294653.526 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545294653.527 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545294653.527 * * [misc]simplify:  iters left: 5 (8 enodes)
1545294653.529 * * [misc]simplify:  iters left: 4 (14 enodes)
1545294653.532 * * [misc]simplify:  iters left: 3 (17 enodes)
1545294653.535 * * [misc]simplify:  iters left: 2 (19 enodes)
1545294653.537 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545294653.537 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545294653.537 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545294653.537 * [enter]simplify:  Simplifying (exp 1)
1545294653.537 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294653.538 * [exit]simplify:  Simplified to E
1545294653.538 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294653.538 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545294653.538 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545294653.538 * * [misc]simplify:  iters left: 6 (9 enodes)
1545294653.539 * * [misc]simplify:  iters left: 5 (17 enodes)
1545294653.546 * * [misc]simplify:  iters left: 4 (22 enodes)
1545294653.550 * * [misc]simplify:  iters left: 3 (24 enodes)
1545294653.553 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545294653.553 * [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)))))))
1545294653.553 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545294653.554 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545294653.554 * * [misc]simplify:  iters left: 5 (8 enodes)
1545294653.555 * * [misc]simplify:  iters left: 4 (14 enodes)
1545294653.557 * * [misc]simplify:  iters left: 3 (17 enodes)
1545294653.560 * * [misc]simplify:  iters left: 2 (19 enodes)
1545294653.562 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545294653.562 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545294653.562 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545294653.563 * [enter]simplify:  Simplifying (exp (log 1))
1545294653.563 * * [misc]simplify:  iters left: 2 (3 enodes)
1545294653.564 * * [misc]simplify:  iters left: 1 (5 enodes)
1545294653.564 * [exit]simplify:  Simplified to 1
1545294653.564 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545294653.564 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.564 * [enter]simplify:  Simplifying (cosh c)
1545294653.564 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294653.565 * [exit]simplify:  Simplified to (cosh c)
1545294653.565 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.565 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.565 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.565 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.565 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.565 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545294653.565 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545294653.565 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.565 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.565 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.566 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.567 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.568 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.568 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.568 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.568 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.568 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.570 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.570 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.570 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.570 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.570 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.571 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.573 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.573 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.573 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.573 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294653.573 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294653.574 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294653.576 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294653.578 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294653.578 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.578 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.578 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294653.578 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294653.579 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294653.582 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294653.586 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294653.586 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.586 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545294653.586 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294653.586 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294653.588 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294653.591 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294653.595 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294653.596 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545294653.596 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.596 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.596 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.597 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.600 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.601 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.601 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.601 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.601 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.602 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.605 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.606 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.606 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294653.606 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294653.606 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294653.607 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294653.611 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294653.611 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294653.611 * * * [misc]progress:  adding candidates to table
1545294654.193 * * [misc]progress:  iteration 3 / 4
1545294654.194 * * * [misc]progress:  picking best candidate
1545294654.272 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.272 * * * [misc]progress:  localizing error
1545294654.280 * * * [misc]progress:  generating rewritten candidates
1545294654.280 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 1)
1545294654.280 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1545294654.282 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545294654.284 * * * [misc]progress:  generating series expansions
1545294654.284 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 1)
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294654.285 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.285 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.285 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.285 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.286 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.286 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.286 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.286 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.286 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294654.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.286 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.286 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.286 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.286 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.287 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.287 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.287 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294654.287 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.287 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294654.287 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.288 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.288 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.288 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.288 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.288 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.288 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.288 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.289 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294654.289 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1545294654.289 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.289 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545294654.289 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294654.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.289 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.289 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.289 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294654.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.289 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.290 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294654.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.290 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.290 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294654.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.290 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.291 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294654.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.291 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.292 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294654.292 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.294 * [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
1545294654.294 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.294 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.294 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.294 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.296 * [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
1545294654.296 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.298 * [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
1545294654.298 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.298 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.298 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.298 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.299 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.299 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545294654.299 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294654.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.299 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.299 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.299 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294654.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.299 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.299 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.299 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294654.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.300 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.300 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294654.300 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.300 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.300 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.301 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294654.301 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.301 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.301 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.302 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294654.302 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.304 * [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
1545294654.304 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.304 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.304 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.304 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.306 * [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
1545294654.306 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.308 * [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
1545294654.309 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.309 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.309 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.309 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545294654.309 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.309 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545294654.309 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294654.309 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.309 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.309 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.309 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294654.310 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.310 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.310 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.310 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294654.310 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.310 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.310 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.310 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294654.310 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.310 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.311 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.311 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.312 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294654.312 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.312 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.312 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.313 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294654.313 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.315 * [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
1545294654.315 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.315 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.315 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.315 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.316 * [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
1545294654.316 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.319 * [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
1545294654.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.319 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.319 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.319 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545294654.320 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545294654.320 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
1545294654.320 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1545294654.320 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1545294654.320 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1545294654.320 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1545294654.320 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294654.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.320 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.320 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.320 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545294654.320 * [misc]taylor:  Taking taylor expansion of E in a
1545294654.320 * [misc]backup-simplify:  Simplify E into E
1545294654.320 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.321 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545294654.321 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545294654.321 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1545294654.321 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1545294654.321 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1545294654.321 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294654.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.321 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.321 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.321 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.321 * [misc]backup-simplify:  Simplify E into E
1545294654.321 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.321 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545294654.322 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545294654.322 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1545294654.322 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1545294654.322 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1545294654.322 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294654.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294654.322 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.322 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294654.322 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.322 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.322 * [misc]backup-simplify:  Simplify E into E
1545294654.322 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.322 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545294654.322 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545294654.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294654.322 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.322 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.325 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545294654.325 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294654.325 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
1545294654.326 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1545294654.326 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.326 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.326 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.326 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.328 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545294654.329 * [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
1545294654.330 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
1545294654.331 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545294654.331 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.331 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.331 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.331 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.331 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.335 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545294654.337 * [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
1545294654.337 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545294654.339 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545294654.339 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.339 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.340 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.340 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294654.340 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1545294654.340 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1545294654.340 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1545294654.340 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1545294654.340 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1545294654.340 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294654.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.340 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.340 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545294654.340 * [misc]taylor:  Taking taylor expansion of E in a
1545294654.340 * [misc]backup-simplify:  Simplify E into E
1545294654.340 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.340 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.340 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.340 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1545294654.340 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1545294654.340 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1545294654.340 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294654.340 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.340 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.340 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.340 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.341 * [misc]backup-simplify:  Simplify E into E
1545294654.341 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.341 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.341 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.341 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294654.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.341 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.341 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.341 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.341 * [misc]backup-simplify:  Simplify E into E
1545294654.341 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.341 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294654.341 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.341 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294654.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.341 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294654.343 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545294654.344 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294654.344 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
1545294654.344 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545294654.344 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.344 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.345 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.345 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.347 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545294654.348 * [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
1545294654.348 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1545294654.349 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545294654.350 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.350 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.350 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.350 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.350 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.354 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545294654.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
1545294654.356 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545294654.358 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545294654.358 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.358 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.358 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.358 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294654.358 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1545294654.358 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1545294654.358 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1545294654.358 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1545294654.358 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1545294654.358 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294654.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.359 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.359 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.359 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545294654.359 * [misc]taylor:  Taking taylor expansion of E in a
1545294654.359 * [misc]backup-simplify:  Simplify E into E
1545294654.359 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.359 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.359 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.359 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.359 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.359 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.359 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.359 * [misc]backup-simplify:  Simplify E into E
1545294654.359 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.359 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.359 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.359 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1545294654.359 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1545294654.360 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294654.360 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294654.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.360 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.360 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545294654.360 * [misc]taylor:  Taking taylor expansion of E in c
1545294654.360 * [misc]backup-simplify:  Simplify E into E
1545294654.360 * [misc]backup-simplify:  Simplify (log E) into 1
1545294654.360 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294654.360 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.360 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294654.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294654.362 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545294654.364 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294654.364 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
1545294654.365 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545294654.365 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.365 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.365 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.365 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.368 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545294654.369 * [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
1545294654.369 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1545294654.370 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545294654.370 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.370 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.370 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.370 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.370 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.376 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545294654.379 * [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
1545294654.380 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545294654.383 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545294654.383 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294654.383 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.383 * [misc]backup-simplify:  Simplify 0 into 0
1545294654.384 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294654.384 * * * [misc]progress:  simplifying candidates
1545294654.384 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545294654.384 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545294654.384 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545294654.384 * * * * [misc]progress:  [ 4 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545294654.384 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545294654.384 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545294654.384 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
1545294654.384 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545294654.384 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545294654.385 * * [misc]simplify:  iters left: 6 (8 enodes)
1545294654.387 * * [misc]simplify:  iters left: 5 (16 enodes)
1545294654.390 * * [misc]simplify:  iters left: 4 (19 enodes)
1545294654.392 * * [misc]simplify:  iters left: 3 (21 enodes)
1545294654.395 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545294654.395 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1545294654.395 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545294654.396 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545294654.396 * * [misc]simplify:  iters left: 4 (7 enodes)
1545294654.397 * * [misc]simplify:  iters left: 3 (13 enodes)
1545294654.399 * * [misc]simplify:  iters left: 2 (16 enodes)
1545294654.401 * * [misc]simplify:  iters left: 1 (18 enodes)
1545294654.403 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545294654.403 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545294654.403 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545294654.403 * [enter]simplify:  Simplifying (log 1)
1545294654.403 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294654.404 * [exit]simplify:  Simplified to 0
1545294654.405 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ 0 (log (fmod (cosh c) (log1p a))))))
1545294654.405 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1545294654.405 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545294654.405 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.405 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.405 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.406 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.408 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.408 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.408 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545294654.408 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545294654.408 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294654.408 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545294654.408 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545294654.408 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1545294654.408 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
1545294654.408 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1545294654.408 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294654.408 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294654.409 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294654.411 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294654.413 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294654.413 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1545294654.413 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545294654.413 * [enter]simplify:  Simplifying (cbrt (log (fmod (cosh c) (log1p a))))
1545294654.413 * * [misc]simplify:  iters left: 4 (7 enodes)
1545294654.415 * * [misc]simplify:  iters left: 3 (13 enodes)
1545294654.417 * * [misc]simplify:  iters left: 2 (16 enodes)
1545294654.419 * * [misc]simplify:  iters left: 1 (18 enodes)
1545294654.421 * [exit]simplify:  Simplified to (cbrt (log (fmod (cosh c) (log1p a))))
1545294654.421 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545294654.422 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545294654.422 * [enter]simplify:  Simplifying (sqrt (log (fmod (cosh c) (log1p a))))
1545294654.422 * * [misc]simplify:  iters left: 4 (7 enodes)
1545294654.423 * * [misc]simplify:  iters left: 3 (13 enodes)
1545294654.425 * * [misc]simplify:  iters left: 2 (16 enodes)
1545294654.427 * * [misc]simplify:  iters left: 1 (18 enodes)
1545294654.429 * [exit]simplify:  Simplified to (sqrt (log (fmod (cosh c) (log1p a))))
1545294654.429 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545294654.429 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1545294654.429 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294654.430 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294654.430 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294654.433 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294654.437 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294654.437 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1545294654.437 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545294654.438 * [enter]simplify:  Simplifying (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1545294654.438 * * [misc]simplify:  iters left: 5 (9 enodes)
1545294654.440 * * [misc]simplify:  iters left: 4 (17 enodes)
1545294654.445 * * [misc]simplify:  iters left: 3 (21 enodes)
1545294654.451 * [exit]simplify:  Simplified to (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1545294654.451 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))
1545294654.451 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545294654.451 * [enter]simplify:  Simplifying (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1545294654.451 * * [misc]simplify:  iters left: 5 (9 enodes)
1545294654.452 * * [misc]simplify:  iters left: 4 (17 enodes)
1545294654.455 * * [misc]simplify:  iters left: 3 (21 enodes)
1545294654.458 * [exit]simplify:  Simplified to (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1545294654.458 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))
1545294654.458 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
1545294654.458 * [enter]simplify:  Simplifying (pow E (log (fmod (cosh c) (log1p a))))
1545294654.458 * * [misc]simplify:  iters left: 4 (8 enodes)
1545294654.459 * * [misc]simplify:  iters left: 3 (16 enodes)
1545294654.461 * * [misc]simplify:  iters left: 2 (20 enodes)
1545294654.464 * [exit]simplify:  Simplified to (pow E (log (fmod (cosh c) (log1p a))))
1545294654.464 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))
1545294654.464 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
1545294654.464 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
1545294654.464 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
1545294654.464 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1545294654.464 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
1545294654.464 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1545294654.464 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
1545294654.464 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.464 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.464 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.465 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.467 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.467 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.467 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.468 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.468 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.468 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.470 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.470 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.470 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.470 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.470 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.471 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.473 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.473 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.473 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.473 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294654.473 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294654.474 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294654.475 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294654.477 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294654.477 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.477 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.478 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294654.478 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294654.478 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294654.480 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294654.482 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294654.482 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.482 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545294654.482 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294654.482 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294654.483 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294654.485 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294654.487 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294654.487 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545294654.487 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294654.487 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.487 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.488 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.490 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.490 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294654.490 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294654.490 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.490 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.490 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.492 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.492 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294654.492 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545294654.492 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294654.492 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294654.493 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294654.495 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294654.495 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545294654.495 * * * [misc]progress:  adding candidates to table
1545294654.986 * * [misc]progress:  iteration 4 / 4
1545294654.986 * * * [misc]progress:  picking best candidate
1545294655.107 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.107 * * * [misc]progress:  localizing error
1545294655.132 * * * [misc]progress:  generating rewritten candidates
1545294655.132 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1 1)
1545294655.133 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1545294655.133 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
1545294655.134 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1)
1545294655.135 * * * [misc]progress:  generating series expansions
1545294655.135 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1 1)
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294655.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.136 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.136 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.136 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.136 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.137 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.137 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.137 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294655.137 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.137 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.137 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.137 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.137 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.138 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.138 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.138 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.138 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.138 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.138 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.139 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294655.139 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.139 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.139 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.139 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.140 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.140 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.140 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294655.140 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1545294655.140 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294655.141 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.141 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.141 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.141 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.141 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.141 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.141 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.141 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.142 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.142 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.142 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.142 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.142 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.142 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.142 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294655.142 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.142 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.142 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.142 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.142 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.142 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.142 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.143 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.143 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.143 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.143 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294655.143 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294655.144 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.144 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.144 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.144 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.144 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.144 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.144 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.144 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.145 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294655.145 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 1)
1545294655.145 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.145 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545294655.145 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.145 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.145 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.145 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.145 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.146 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.146 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.146 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.146 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.146 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.146 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.146 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545294655.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.147 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.147 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.147 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.147 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.147 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545294655.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.148 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545294655.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.150 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.150 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.150 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545294655.150 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1)
1545294655.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.150 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545294655.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294655.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294655.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545294655.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545294655.151 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.151 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.151 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545294655.151 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545294655.151 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545294655.151 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.151 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.152 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294655.152 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.152 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.152 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.153 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545294655.153 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.155 * [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
1545294655.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.155 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.155 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.155 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.157 * [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
1545294655.157 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.160 * [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
1545294655.160 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.160 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.160 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545294655.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.160 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545294655.160 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294655.160 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.160 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.161 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294655.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.161 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.161 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545294655.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545294655.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.161 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.161 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545294655.161 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545294655.161 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545294655.162 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.162 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545294655.163 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294655.163 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.163 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.163 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.164 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545294655.164 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.165 * [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
1545294655.166 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.166 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.166 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.166 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.167 * [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
1545294655.167 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.172 * [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
1545294655.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.172 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.172 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.173 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545294655.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294655.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.173 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294655.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.173 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545294655.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545294655.173 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545294655.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545294655.173 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545294655.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.174 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545294655.174 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294655.174 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.174 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.174 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.175 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545294655.175 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.176 * [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
1545294655.176 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.176 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.176 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.176 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.177 * [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
1545294655.177 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.179 * [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
1545294655.179 * [misc]taylor:  Taking taylor expansion of 0 in a
1545294655.179 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.179 * [misc]backup-simplify:  Simplify 0 into 0
1545294655.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545294655.179 * * * [misc]progress:  simplifying candidates
1545294655.179 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545294655.179 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545294655.179 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545294655.179 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545294655.179 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545294655.179 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545294655.179 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545294655.179 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.179 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.179 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.179 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.180 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545294655.180 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545294655.180 * * [misc]simplify:  iters left: 6 (8 enodes)
1545294655.181 * * [misc]simplify:  iters left: 5 (16 enodes)
1545294655.184 * * [misc]simplify:  iters left: 4 (19 enodes)
1545294655.186 * * [misc]simplify:  iters left: 3 (21 enodes)
1545294655.189 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545294655.189 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545294655.189 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545294655.189 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545294655.189 * * [misc]simplify:  iters left: 4 (7 enodes)
1545294655.190 * * [misc]simplify:  iters left: 3 (13 enodes)
1545294655.192 * * [misc]simplify:  iters left: 2 (16 enodes)
1545294655.194 * * [misc]simplify:  iters left: 1 (18 enodes)
1545294655.196 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545294655.197 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545294655.197 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545294655.197 * [enter]simplify:  Simplifying (log 1)
1545294655.197 * * [misc]simplify:  iters left: 1 (2 enodes)
1545294655.198 * [exit]simplify:  Simplified to 0
1545294655.198 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545294655.198 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545294655.198 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545294655.198 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.198 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.198 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.199 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.200 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.200 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.200 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545294655.200 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545294655.200 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545294655.200 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545294655.201 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545294655.201 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545294655.201 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.201 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.201 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.201 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.203 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.203 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.203 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.203 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.203 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.204 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.206 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.206 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.206 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.206 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.206 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.207 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.208 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.208 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.208 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.208 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.208 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.209 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.211 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.211 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.211 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.211 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.211 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.212 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.215 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.215 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.215 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.216 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.216 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.217 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.220 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.220 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.220 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.221 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.221 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.222 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.225 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.225 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.225 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.226 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.226 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.227 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.230 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.230 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.230 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.230 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545294655.231 * * [misc]simplify:  iters left: 2 (5 enodes)
1545294655.232 * * [misc]simplify:  iters left: 1 (11 enodes)
1545294655.235 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545294655.235 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.235 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.236 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294655.236 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294655.237 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294655.240 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294655.244 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294655.244 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.244 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.245 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294655.245 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294655.246 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294655.248 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294655.250 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294655.250 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.251 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545294655.251 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545294655.251 * * [misc]simplify:  iters left: 3 (6 enodes)
1545294655.252 * * [misc]simplify:  iters left: 2 (12 enodes)
1545294655.253 * * [misc]simplify:  iters left: 1 (15 enodes)
1545294655.255 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545294655.255 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545294655.255 * * * [misc]progress:  adding candidates to table
1545294655.880 * [misc]progress:  [Phase 3 of 3] Extracting.
1545294655.881 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294655.884 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545294655.885 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294655.999 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294656.195 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294656.309 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294656.399 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (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) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545294656.600 * * * [misc]regime:  Found split indices: #<option (#s(si 10 256))>
1545294656.600 * [enter]simplify:  Simplifying (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545294656.600 * * [misc]simplify:  iters left: 6 (13 enodes)
1545294656.601 * * [misc]simplify:  iters left: 5 (17 enodes)
1545294656.601 * * [misc]simplify:  iters left: 4 (19 enodes)
1545294656.602 * [exit]simplify:  Simplified to (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545294656.602 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545294668.558 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294668.561 * * * * [misc]points:  Sampling 4993 additional inputs, on iter 1 have 3007 / 8000
1545294675.925 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294675.927 * * * * [misc]points:  Sampling 3132 additional inputs, on iter 2 have 4868 / 8000
1545294680.360 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294680.361 * * * * [misc]points:  Sampling 1960 additional inputs, on iter 3 have 6040 / 8000
1545294682.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294682.909 * * * * [misc]points:  Sampling 1183 additional inputs, on iter 4 have 6817 / 8000
1545294684.747 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294684.748 * * * * [misc]points:  Sampling 716 additional inputs, on iter 5 have 7284 / 8000
1545294685.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294685.687 * * * * [misc]points:  Sampling 431 additional inputs, on iter 6 have 7569 / 8000
1545294686.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294686.215 * * * * [misc]points:  Sampling 267 additional inputs, on iter 7 have 7733 / 8000
1545294686.549 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294686.549 * * * * [misc]points:  Sampling 162 additional inputs, on iter 8 have 7838 / 8000
1545294686.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294686.748 * * * * [misc]points:  Sampling 107 additional inputs, on iter 9 have 7893 / 8000
1545294687.315 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.315 * * * * [misc]points:  Sampling 64 additional inputs, on iter 10 have 7936 / 8000
1545294687.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.363 * * * * [misc]points:  Sampling 40 additional inputs, on iter 11 have 7960 / 8000
1545294687.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.390 * * * * [misc]points:  Sampling 19 additional inputs, on iter 12 have 7981 / 8000
1545294687.415 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.415 * * * * [misc]points:  Sampling 13 additional inputs, on iter 13 have 7987 / 8000
1545294687.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.470 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 7994 / 8000
1545294687.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.474 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1545294687.479 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.480 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7998 / 8000
1545294687.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545294687.484 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545294690.053 * [misc]regime-testing:  Baseline error score: 34.01699009325096
1545294690.053 * [misc]regime-testing:  End program error score: 34.01699009325096
1545294690.055 * [misc]regime-testing:  Oracle error score: 33.99022442660908