1545985849.256 * [misc]progress:  [Phase 1 of 3] Setting up.
1545985849.256 * * * [misc]progress:  [1/2] Preparing points
1545985849.256 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545985849.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.536 * * * * [misc]points:  Sampling 141 additional inputs, on iter 1 have 115 / 256
1545985849.668 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.668 * * * * [misc]points:  Sampling 85 additional inputs, on iter 2 have 171 / 256
1545985849.817 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.817 * * * * [misc]points:  Sampling 53 additional inputs, on iter 3 have 203 / 256
1545985849.853 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.853 * * * * [misc]points:  Sampling 37 additional inputs, on iter 4 have 219 / 256
1545985849.887 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.888 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1545985849.928 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.928 * * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
1545985849.936 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.936 * * * * [misc]points:  Sampling 8 additional inputs, on iter 7 have 248 / 256
1545985849.942 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.942 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545985849.945 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.946 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1545985849.950 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985849.950 * * * * [exit]points:  Sampled 257 points with exact outputs
1545985849.950 * * * [misc]progress:  [2/2] Setting up program.
1545985849.954 * [misc]progress:  [Phase 2 of 3] Improving.
1545985849.955 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985849.956 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985849.959 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.368 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.388 * * [misc]progress:  iteration 1 / 4
1545985850.388 * * * [misc]progress:  picking best candidate
1545985850.394 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.394 * * * [misc]progress:  localizing error
1545985850.419 * * * [misc]progress:  generating rewritten candidates
1545985850.419 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545985850.423 * * * [misc]progress:  generating series expansions
1545985850.423 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545985850.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.427 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985850.428 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.430 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.430 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.430 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.431 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.431 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.431 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.432 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.434 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985850.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.435 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.436 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985850.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.437 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985850.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.437 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.437 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.438 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.438 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.438 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.439 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985850.439 * * * [misc]progress:  simplifying candidates
1545985850.439 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545985850.439 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.439 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545985850.439 * * * * [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)))))>
1545985850.440 * * * * [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)))))>
1545985850.440 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545985850.440 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545985850.440 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.440 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.440 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.442 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.445 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.445 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.445 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.445 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.445 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.446 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.449 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.449 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.449 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.450 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.450 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.451 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.454 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.454 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.454 * * * [misc]progress:  adding candidates to table
1545985850.573 * * [misc]progress:  iteration 2 / 4
1545985850.573 * * * [misc]progress:  picking best candidate
1545985850.602 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.602 * * * [misc]progress:  localizing error
1545985850.613 * * * [misc]progress:  generating rewritten candidates
1545985850.613 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545985850.616 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545985850.619 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545985850.624 * * * [misc]progress:  generating series expansions
1545985850.624 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545985850.624 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.624 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985850.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.624 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.624 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.624 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.624 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.624 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.625 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.625 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.625 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.625 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.625 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985850.625 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.625 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.626 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.626 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.626 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.626 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.626 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.626 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.626 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.626 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.626 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.626 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.627 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.627 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.627 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.627 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985850.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.627 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985850.627 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.627 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.627 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.627 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.628 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.628 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.628 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.628 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.629 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985850.629 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545985850.629 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.629 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545985850.629 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545985850.629 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.629 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.629 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.629 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545985850.629 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.629 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.629 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.629 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545985850.629 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.630 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.630 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545985850.630 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.630 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.630 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.632 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545985850.632 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.632 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.632 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.633 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545985850.633 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.634 * [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
1545985850.634 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.634 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.634 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.634 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.635 * [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
1545985850.635 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.637 * [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
1545985850.637 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.637 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.637 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.638 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545985850.638 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545985850.638 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.638 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.638 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545985850.638 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.638 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.638 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545985850.638 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.638 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.638 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545985850.638 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.638 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.638 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.639 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985850.639 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545985850.639 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.639 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.639 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.640 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545985850.640 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.641 * [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
1545985850.641 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.641 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.641 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.641 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.642 * [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
1545985850.642 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.644 * [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
1545985850.644 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.644 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.644 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.644 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545985850.644 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.644 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545985850.644 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545985850.644 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.644 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.644 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.644 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545985850.644 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.644 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.644 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.644 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545985850.645 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.645 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.645 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.645 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545985850.645 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.645 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.645 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.645 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985850.646 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545985850.646 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.646 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.646 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.646 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545985850.646 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.647 * [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
1545985850.647 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.647 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.647 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.647 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.648 * [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
1545985850.648 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.650 * [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
1545985850.650 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.650 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.650 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.650 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545985850.650 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545985850.651 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985850.651 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.651 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.651 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.651 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985850.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985850.652 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.652 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985850.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.652 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.652 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985850.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.653 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985850.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985850.653 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify 0 into 0
1545985850.653 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985850.653 * * * [misc]progress:  simplifying candidates
1545985850.653 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545985850.653 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545985850.653 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545985850.653 * * * * [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)))))))>
1545985850.653 * * * * [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)))))))>
1545985850.653 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545985850.653 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545985850.653 * * * * [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)))))))>
1545985850.654 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545985850.654 * * [misc]simplify:  iters left: 6 (8 enodes)
1545985850.655 * * [misc]simplify:  iters left: 5 (16 enodes)
1545985850.657 * * [misc]simplify:  iters left: 4 (19 enodes)
1545985850.660 * * [misc]simplify:  iters left: 3 (21 enodes)
1545985850.665 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545985850.665 * [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)))))))
1545985850.665 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545985850.666 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545985850.666 * * [misc]simplify:  iters left: 4 (7 enodes)
1545985850.668 * * [misc]simplify:  iters left: 3 (13 enodes)
1545985850.671 * * [misc]simplify:  iters left: 2 (16 enodes)
1545985850.675 * * [misc]simplify:  iters left: 1 (18 enodes)
1545985850.680 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545985850.680 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545985850.680 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545985850.680 * [enter]simplify:  Simplifying (log 1)
1545985850.681 * * [misc]simplify:  iters left: 1 (2 enodes)
1545985850.683 * [exit]simplify:  Simplified to 0
1545985850.683 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545985850.683 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545985850.683 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545985850.683 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.683 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.683 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.685 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.688 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.688 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.688 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545985850.688 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545985850.688 * * * * [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)))))))>
1545985850.688 * * * * [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)))))))>
1545985850.688 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545985850.689 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545985850.689 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545985850.689 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545985850.689 * [enter]simplify:  Simplifying (exp 1)
1545985850.689 * * [misc]simplify:  iters left: 1 (2 enodes)
1545985850.690 * [exit]simplify:  Simplified to E
1545985850.690 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545985850.690 * * * * [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))))))>
1545985850.690 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545985850.690 * * [misc]simplify:  iters left: 6 (9 enodes)
1545985850.693 * * [misc]simplify:  iters left: 5 (17 enodes)
1545985850.698 * * [misc]simplify:  iters left: 4 (20 enodes)
1545985850.703 * * [misc]simplify:  iters left: 3 (22 enodes)
1545985850.709 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545985850.710 * [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))))))
1545985850.710 * * * * [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))))))>
1545985850.710 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545985850.710 * * [misc]simplify:  iters left: 5 (8 enodes)
1545985850.712 * * [misc]simplify:  iters left: 4 (14 enodes)
1545985850.716 * * [misc]simplify:  iters left: 3 (17 enodes)
1545985850.720 * * [misc]simplify:  iters left: 2 (19 enodes)
1545985850.725 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545985850.725 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545985850.725 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545985850.726 * [enter]simplify:  Simplifying (exp 1)
1545985850.726 * * [misc]simplify:  iters left: 1 (2 enodes)
1545985850.726 * [exit]simplify:  Simplified to E
1545985850.726 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545985850.726 * * * * [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)))))))>
1545985850.727 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545985850.727 * * [misc]simplify:  iters left: 6 (9 enodes)
1545985850.729 * * [misc]simplify:  iters left: 5 (17 enodes)
1545985850.735 * * [misc]simplify:  iters left: 4 (22 enodes)
1545985850.740 * * [misc]simplify:  iters left: 3 (24 enodes)
1545985850.746 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545985850.746 * [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)))))))
1545985850.746 * * * * [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)))))))>
1545985850.746 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545985850.747 * * [misc]simplify:  iters left: 5 (8 enodes)
1545985850.749 * * [misc]simplify:  iters left: 4 (14 enodes)
1545985850.752 * * [misc]simplify:  iters left: 3 (17 enodes)
1545985850.757 * * [misc]simplify:  iters left: 2 (19 enodes)
1545985850.762 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545985850.762 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545985850.762 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545985850.762 * [enter]simplify:  Simplifying (exp (log 1))
1545985850.762 * * [misc]simplify:  iters left: 2 (3 enodes)
1545985850.768 * * [misc]simplify:  iters left: 1 (5 enodes)
1545985850.768 * [exit]simplify:  Simplified to 1
1545985850.768 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545985850.768 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.769 * [enter]simplify:  Simplifying (cosh c)
1545985850.769 * * [misc]simplify:  iters left: 1 (2 enodes)
1545985850.770 * [exit]simplify:  Simplified to (cosh c)
1545985850.770 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.770 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545985850.770 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545985850.770 * * * * [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)))))))>
1545985850.770 * * * * [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)))))))>
1545985850.770 * * * * [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)))))))>
1545985850.770 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545985850.770 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.770 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.771 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.772 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.776 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.776 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.776 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.776 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.776 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.777 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.781 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.781 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.781 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.781 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.781 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.783 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.786 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.786 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.786 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.786 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985850.786 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985850.788 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985850.791 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985850.795 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985850.795 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.795 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.796 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985850.796 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985850.798 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985850.801 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985850.805 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985850.805 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.805 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545985850.805 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985850.805 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985850.807 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985850.810 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985850.814 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985850.814 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545985850.814 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.815 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.815 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.816 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.819 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.819 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.819 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.820 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.820 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.821 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.824 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.824 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.824 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545985850.825 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985850.825 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985850.826 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985850.829 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985850.829 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545985850.829 * * * [misc]progress:  adding candidates to table
1545985851.442 * * [misc]progress:  iteration 3 / 4
1545985851.442 * * * [misc]progress:  picking best candidate
1545985851.531 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.531 * * * [misc]progress:  localizing error
1545985851.556 * * * [misc]progress:  generating rewritten candidates
1545985851.557 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1545985851.557 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1545985851.557 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545985851.558 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545985851.560 * * * [misc]progress:  generating series expansions
1545985851.560 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.560 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985851.560 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.560 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.560 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.560 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.560 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.561 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.561 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.561 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985851.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.562 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.562 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.562 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.563 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.563 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.563 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985851.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.563 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985851.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.564 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.564 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.564 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985851.565 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985851.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.565 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.565 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.565 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.566 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.566 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985851.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.567 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.567 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.567 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.567 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.567 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.567 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985851.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.568 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985851.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.568 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.568 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.569 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985851.569 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985851.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.570 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.570 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.570 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.570 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.571 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.571 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.571 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985851.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.571 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.571 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.572 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.572 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.572 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.573 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985851.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.573 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.573 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.574 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985851.574 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545985851.574 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.574 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545985851.575 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545985851.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.575 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.575 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545985851.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.575 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.575 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545985851.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985851.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.575 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.575 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545985851.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985851.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985851.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.576 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.577 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545985851.577 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.577 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.577 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.578 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545985851.578 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.579 * [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
1545985851.580 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.580 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.580 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.580 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.581 * [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
1545985851.581 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.584 * [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
1545985851.584 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.584 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.584 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.584 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545985851.585 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.585 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545985851.585 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545985851.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.585 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.585 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545985851.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.585 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.585 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.585 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545985851.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985851.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.586 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.586 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545985851.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985851.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985851.586 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.586 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545985851.587 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545985851.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.587 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.587 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.588 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545985851.588 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.590 * [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
1545985851.590 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.590 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.590 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.590 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.592 * [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
1545985851.592 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.593 * [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
1545985851.593 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.593 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.593 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545985851.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.594 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545985851.594 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545985851.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.594 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545985851.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.594 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545985851.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985851.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.594 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545985851.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985851.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985851.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545985851.595 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545985851.595 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.595 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.595 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.596 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545985851.596 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.597 * [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
1545985851.597 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.597 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.597 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.597 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.598 * [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
1545985851.598 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.600 * [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
1545985851.600 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985851.600 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.600 * [misc]backup-simplify:  Simplify 0 into 0
1545985851.600 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545985851.600 * * * [misc]progress:  simplifying candidates
1545985851.600 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545985851.600 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545985851.600 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545985851.600 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545985851.600 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545985851.600 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545985851.600 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545985851.600 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.600 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.601 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545985851.601 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545985851.601 * * [misc]simplify:  iters left: 6 (8 enodes)
1545985851.602 * * [misc]simplify:  iters left: 5 (16 enodes)
1545985851.604 * * [misc]simplify:  iters left: 4 (19 enodes)
1545985851.606 * * [misc]simplify:  iters left: 3 (21 enodes)
1545985851.609 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545985851.609 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545985851.609 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545985851.609 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545985851.610 * * [misc]simplify:  iters left: 4 (7 enodes)
1545985851.610 * * [misc]simplify:  iters left: 3 (13 enodes)
1545985851.612 * * [misc]simplify:  iters left: 2 (16 enodes)
1545985851.614 * * [misc]simplify:  iters left: 1 (18 enodes)
1545985851.616 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545985851.616 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545985851.616 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545985851.617 * [enter]simplify:  Simplifying (log 1)
1545985851.617 * * [misc]simplify:  iters left: 1 (2 enodes)
1545985851.617 * [exit]simplify:  Simplified to 0
1545985851.617 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545985851.618 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545985851.618 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545985851.618 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.618 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.618 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.618 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.621 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.621 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.621 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545985851.621 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545985851.621 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985851.621 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545985851.621 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545985851.621 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545985851.621 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.622 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.622 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.623 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.626 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.626 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.626 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.627 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.627 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.628 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.635 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.635 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.635 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.636 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.636 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.637 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.640 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.640 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.640 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.641 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.641 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.642 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.645 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.645 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.645 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.645 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.645 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.647 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.650 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.650 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.650 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.650 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.650 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.652 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.655 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.655 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.655 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.655 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.655 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.657 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.660 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.660 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.660 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.660 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.660 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.662 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.665 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.665 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.665 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.665 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985851.665 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985851.667 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985851.670 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985851.670 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.670 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.670 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985851.670 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985851.672 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985851.675 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985851.679 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985851.679 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.679 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.679 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985851.679 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985851.681 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985851.684 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985851.688 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985851.688 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.688 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545985851.689 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545985851.689 * * [misc]simplify:  iters left: 3 (6 enodes)
1545985851.690 * * [misc]simplify:  iters left: 2 (12 enodes)
1545985851.694 * * [misc]simplify:  iters left: 1 (15 enodes)
1545985851.698 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545985851.699 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545985851.699 * * * [misc]progress:  adding candidates to table
1545985852.371 * * [misc]progress:  iteration 4 / 4
1545985852.371 * * * [misc]progress:  picking best candidate
1545985852.441 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.441 * * * [misc]progress:  localizing error
1545985852.453 * * * [misc]progress:  generating rewritten candidates
1545985852.453 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1545985852.453 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1545985852.453 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1545985852.454 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545985852.454 * * * [misc]progress:  generating series expansions
1545985852.454 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985852.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.454 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.454 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.454 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985852.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.455 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985852.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.456 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.456 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985852.457 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985852.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.457 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.457 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985852.457 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.458 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985852.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.458 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.458 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.459 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.459 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.460 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.460 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985852.461 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985852.461 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.461 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.461 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985852.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.462 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.462 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985852.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.463 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985852.464 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545985852.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.464 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545985852.464 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.464 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545985852.465 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.465 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545985852.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.465 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.465 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.466 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545985852.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.466 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545985852.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545985852.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]taylor:  Taking taylor expansion of 0 in a
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify 0 into 0
1545985852.466 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545985852.466 * * * [misc]progress:  simplifying candidates
1545985852.466 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545985852.466 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545985852.466 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545985852.466 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545985852.466 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545985852.466 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545985852.467 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1545985852.467 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.467 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.468 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.468 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.468 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.470 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.470 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.470 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.470 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.470 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.471 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.472 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.472 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.472 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.472 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.472 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.473 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.475 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.475 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.475 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.475 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.475 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.476 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.477 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.477 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.477 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.477 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.477 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.478 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.479 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.479 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.479 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.480 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.480 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.481 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.484 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.484 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.484 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.484 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.484 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.485 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.488 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.488 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.488 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.489 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.489 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.490 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.493 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.493 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.493 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.494 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.494 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.495 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.498 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.498 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.498 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.499 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.499 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.500 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.503 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.503 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.503 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.503 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.504 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.505 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.508 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.508 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.508 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545985852.508 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545985852.508 * * [misc]simplify:  iters left: 2 (5 enodes)
1545985852.510 * * [misc]simplify:  iters left: 1 (11 enodes)
1545985852.513 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545985852.513 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545985852.513 * * * [misc]progress:  adding candidates to table
1545985853.186 * [misc]progress:  [Phase 3 of 3] Extracting.
1545985853.187 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (log (exp (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.191 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545985853.192 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (log (exp (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.301 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (log (exp (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.398 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (log (exp (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.493 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (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) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (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) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.610 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (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 (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (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) (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) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545985853.719 * * * [misc]regime:  Found split indices: #<option (#s(si 12 256))>
1545985853.720 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545985853.720 * * [misc]simplify:  iters left: 6 (10 enodes)
1545985853.721 * * [misc]simplify:  iters left: 5 (11 enodes)
1545985853.722 * [exit]simplify:  Simplified to (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545985853.722 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545985864.403 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985864.405 * * * * [misc]points:  Sampling 4951 additional inputs, on iter 1 have 3049 / 8000
1545985871.100 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985871.102 * * * * [misc]points:  Sampling 3062 additional inputs, on iter 2 have 4938 / 8000
1545985875.443 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985875.444 * * * * [misc]points:  Sampling 1863 additional inputs, on iter 3 have 6137 / 8000
1545985878.143 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985878.144 * * * * [misc]points:  Sampling 1137 additional inputs, on iter 4 have 6863 / 8000
1545985879.644 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985879.645 * * * * [misc]points:  Sampling 718 additional inputs, on iter 5 have 7282 / 8000
1545985880.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985880.487 * * * * [misc]points:  Sampling 417 additional inputs, on iter 6 have 7583 / 8000
1545985880.998 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985880.998 * * * * [misc]points:  Sampling 258 additional inputs, on iter 7 have 7742 / 8000
1545985881.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985881.708 * * * * [misc]points:  Sampling 164 additional inputs, on iter 8 have 7836 / 8000
1545985881.901 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985881.901 * * * * [misc]points:  Sampling 99 additional inputs, on iter 9 have 7901 / 8000
1545985881.983 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985881.985 * * * * [misc]points:  Sampling 56 additional inputs, on iter 10 have 7944 / 8000
1545985882.062 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.062 * * * * [misc]points:  Sampling 34 additional inputs, on iter 11 have 7966 / 8000
1545985882.100 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.101 * * * * [misc]points:  Sampling 21 additional inputs, on iter 12 have 7979 / 8000
1545985882.175 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.175 * * * * [misc]points:  Sampling 12 additional inputs, on iter 13 have 7988 / 8000
1545985882.187 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.187 * * * * [misc]points:  Sampling 8 additional inputs, on iter 14 have 7992 / 8000
1545985882.197 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.197 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 7995 / 8000
1545985882.203 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.203 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545985882.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.205 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7998 / 8000
1545985882.207 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545985882.207 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545985884.139 * [misc]regime-testing:  Baseline error score: 34.67280233399511
1545985884.141 * [misc]regime-testing:  Oracle error score: 34.63375280101282
1545985884.144 * [misc]regime-testing:  End program error score: 34.67280233399511