1545553852.248 * [misc]progress:  [Phase 1 of 3] Setting up.
1545553852.248 * * * [misc]progress:  [1/2] Preparing points
1545553852.248 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545553852.610 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553852.610 * * * * [misc]points:  Sampling 163 additional inputs, on iter 1 have 93 / 256
1545553852.831 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553852.831 * * * * [misc]points:  Sampling 112 additional inputs, on iter 2 have 144 / 256
1545553853.010 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.011 * * * * [misc]points:  Sampling 74 additional inputs, on iter 3 have 182 / 256
1545553853.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.129 * * * * [misc]points:  Sampling 48 additional inputs, on iter 4 have 208 / 256
1545553853.224 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.224 * * * * [misc]points:  Sampling 30 additional inputs, on iter 5 have 226 / 256
1545553853.267 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.267 * * * * [misc]points:  Sampling 14 additional inputs, on iter 6 have 242 / 256
1545553853.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.294 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1545553853.309 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.310 * * * * [misc]points:  Sampling 6 additional inputs, on iter 8 have 250 / 256
1545553853.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.324 * * * * [misc]points:  Sampling 5 additional inputs, on iter 9 have 251 / 256
1545553853.330 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.330 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 254 / 256
1545553853.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553853.334 * * * * [exit]points:  Sampled 256 points with exact outputs
1545553853.335 * * * [misc]progress:  [2/2] Setting up program.
1545553853.340 * [misc]progress:  [Phase 2 of 3] Improving.
1545553853.341 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.342 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.345 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.348 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.356 * * [misc]progress:  iteration 1 / 4
1545553853.356 * * * [misc]progress:  picking best candidate
1545553853.359 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.359 * * * [misc]progress:  localizing error
1545553853.412 * * * [misc]progress:  generating rewritten candidates
1545553853.412 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545553853.416 * * * [misc]progress:  generating series expansions
1545553853.416 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545553853.420 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.420 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553853.423 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.425 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.425 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.425 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.425 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.425 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.426 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.426 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.426 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.426 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.427 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.429 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553853.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.430 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.430 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.431 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553853.432 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.432 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553853.432 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.433 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.433 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.433 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.433 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.433 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.433 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.433 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.433 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.434 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.434 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553853.434 * * * [misc]progress:  simplifying candidates
1545553853.434 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545553853.435 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.435 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545553853.435 * * * * [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)))))>
1545553853.435 * * * * [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)))))>
1545553853.435 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545553853.435 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545553853.435 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.435 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.435 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.437 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.440 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.440 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.440 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.440 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.441 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.442 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.445 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.445 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.445 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.445 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.445 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.447 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.450 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.450 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.450 * * * [misc]progress:  adding candidates to table
1545553853.554 * * [misc]progress:  iteration 2 / 4
1545553853.554 * * * [misc]progress:  picking best candidate
1545553853.569 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.569 * * * [misc]progress:  localizing error
1545553853.577 * * * [misc]progress:  generating rewritten candidates
1545553853.577 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545553853.578 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1545553853.583 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1545553853.585 * * * [misc]progress:  generating series expansions
1545553853.585 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545553853.585 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.585 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553853.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.585 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.585 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.585 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.585 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.586 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.586 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.586 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.586 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.586 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.586 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553853.586 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.587 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.587 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.587 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.587 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.587 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.587 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.587 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.587 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.588 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.588 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.588 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.588 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.588 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553853.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.588 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553853.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.588 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.588 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.589 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.589 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.589 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553853.590 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1545553853.590 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545553853.590 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553853.590 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.590 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.590 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.590 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.590 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.591 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.591 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.591 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.591 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553853.591 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.591 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.591 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.592 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.592 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.592 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.592 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.592 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.593 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.593 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553853.593 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.593 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553853.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553853.594 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1545553853.594 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.594 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545553853.595 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545553853.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.595 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.595 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545553853.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.595 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.595 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545553853.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553853.595 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.595 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545553853.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553853.595 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553853.595 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.596 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.598 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545553853.598 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.598 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.598 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.599 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545553853.599 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.601 * [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
1545553853.601 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.601 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.601 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.601 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.603 * [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
1545553853.603 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.606 * [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
1545553853.606 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.606 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.606 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.606 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545553853.607 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.607 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545553853.607 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545553853.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.607 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.607 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.607 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545553853.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.607 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.607 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.607 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545553853.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553853.607 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.607 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.607 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545553853.607 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553853.608 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553853.608 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.608 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545553853.608 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545553853.608 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.608 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.609 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545553853.609 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.610 * [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
1545553853.610 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.610 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.611 * [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
1545553853.611 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.613 * [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
1545553853.613 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.613 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.613 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.613 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545553853.613 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.613 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545553853.613 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545553853.613 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.613 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.613 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.613 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545553853.613 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.613 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.613 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.614 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545553853.614 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553853.614 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.614 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.614 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545553853.614 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553853.614 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553853.614 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.614 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545553853.615 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545553853.615 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.615 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.615 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.615 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545553853.615 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.616 * [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
1545553853.616 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.616 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.616 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.616 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.617 * [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
1545553853.617 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.619 * [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
1545553853.619 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553853.619 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.619 * [misc]backup-simplify:  Simplify 0 into 0
1545553853.619 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545553853.619 * * * [misc]progress:  simplifying candidates
1545553853.619 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545553853.619 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545553853.619 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545553853.619 * * * * [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)))))))>
1545553853.619 * * * * [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)))))))>
1545553853.619 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545553853.620 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545553853.620 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545553853.620 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545553853.620 * [enter]simplify:  Simplifying (exp 1)
1545553853.620 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553853.621 * [exit]simplify:  Simplified to E
1545553853.621 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545553853.621 * * * * [misc]progress:  [ 10 / 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))))))>
1545553853.621 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545553853.621 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553853.622 * * [misc]simplify:  iters left: 5 (17 enodes)
1545553853.624 * * [misc]simplify:  iters left: 4 (20 enodes)
1545553853.627 * * [misc]simplify:  iters left: 3 (22 enodes)
1545553853.629 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545553853.629 * [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))))))
1545553853.629 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545553853.629 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545553853.630 * * [misc]simplify:  iters left: 5 (8 enodes)
1545553853.634 * * [misc]simplify:  iters left: 4 (14 enodes)
1545553853.635 * * [misc]simplify:  iters left: 3 (17 enodes)
1545553853.640 * * [misc]simplify:  iters left: 2 (19 enodes)
1545553853.645 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545553853.645 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545553853.645 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545553853.645 * [enter]simplify:  Simplifying (exp 1)
1545553853.645 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553853.646 * [exit]simplify:  Simplified to E
1545553853.646 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545553853.646 * * * * [misc]progress:  [ 13 / 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)))))))>
1545553853.646 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545553853.646 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553853.649 * * [misc]simplify:  iters left: 5 (17 enodes)
1545553853.654 * * [misc]simplify:  iters left: 4 (22 enodes)
1545553853.660 * * [misc]simplify:  iters left: 3 (24 enodes)
1545553853.666 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545553853.666 * [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)))))))
1545553853.666 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545553853.666 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545553853.666 * * [misc]simplify:  iters left: 5 (8 enodes)
1545553853.669 * * [misc]simplify:  iters left: 4 (14 enodes)
1545553853.672 * * [misc]simplify:  iters left: 3 (17 enodes)
1545553853.676 * * [misc]simplify:  iters left: 2 (19 enodes)
1545553853.681 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545553853.681 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545553853.681 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545553853.682 * [enter]simplify:  Simplifying (exp (log 1))
1545553853.682 * * [misc]simplify:  iters left: 2 (3 enodes)
1545553853.684 * * [misc]simplify:  iters left: 1 (5 enodes)
1545553853.685 * [exit]simplify:  Simplified to 1
1545553853.685 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545553853.685 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.685 * [enter]simplify:  Simplifying (cosh c)
1545553853.685 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553853.686 * [exit]simplify:  Simplified to (cosh c)
1545553853.686 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.686 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545553853.686 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545553853.686 * * * * [misc]progress:  [ 19 / 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)))))))>
1545553853.686 * * * * [misc]progress:  [ 20 / 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)))))))>
1545553853.687 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545553853.687 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545553853.687 * * * * [misc]progress:  [ 23 / 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)))))))>
1545553853.687 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545553853.687 * * [misc]simplify:  iters left: 6 (8 enodes)
1545553853.689 * * [misc]simplify:  iters left: 5 (16 enodes)
1545553853.694 * * [misc]simplify:  iters left: 4 (19 enodes)
1545553853.697 * * [misc]simplify:  iters left: 3 (21 enodes)
1545553853.699 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545553853.699 * [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)))))))
1545553853.699 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545553853.700 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545553853.700 * * [misc]simplify:  iters left: 4 (7 enodes)
1545553853.701 * * [misc]simplify:  iters left: 3 (13 enodes)
1545553853.702 * * [misc]simplify:  iters left: 2 (16 enodes)
1545553853.704 * * [misc]simplify:  iters left: 1 (18 enodes)
1545553853.706 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545553853.706 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545553853.706 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545553853.706 * [enter]simplify:  Simplifying (log 1)
1545553853.706 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553853.707 * [exit]simplify:  Simplified to 0
1545553853.707 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545553853.707 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545553853.707 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545553853.707 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.707 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.707 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.708 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.709 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.709 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.709 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545553853.710 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545553853.710 * * * * [misc]progress:  [ 31 / 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)))))))>
1545553853.710 * * * * [misc]progress:  [ 32 / 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)))))))>
1545553853.710 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545553853.710 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545553853.710 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.710 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.710 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.710 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.712 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.712 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.712 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.712 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.712 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.713 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.714 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.714 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.714 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.714 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.714 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.715 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.716 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.716 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.716 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.717 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.717 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.717 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.719 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.719 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.719 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.719 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.719 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.720 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.721 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.721 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.721 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553853.721 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553853.721 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553853.722 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553853.723 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553853.723 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553853.723 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.724 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545553853.724 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553853.725 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553853.728 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553853.732 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545553853.732 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.732 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.732 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545553853.733 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553853.734 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553853.738 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553853.741 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545553853.742 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.742 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545553853.742 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545553853.742 * * [misc]simplify:  iters left: 3 (6 enodes)
1545553853.744 * * [misc]simplify:  iters left: 2 (12 enodes)
1545553853.747 * * [misc]simplify:  iters left: 1 (15 enodes)
1545553853.751 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545553853.751 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553853.751 * * * [misc]progress:  adding candidates to table
1545553854.233 * * [misc]progress:  iteration 3 / 4
1545553854.233 * * * [misc]progress:  picking best candidate
1545553854.308 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.308 * * * [misc]progress:  localizing error
1545553854.329 * * * [misc]progress:  generating rewritten candidates
1545553854.329 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545553854.329 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545553854.330 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545553854.330 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1545553854.342 * * * [misc]progress:  generating series expansions
1545553854.342 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545553854.342 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.342 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553854.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.343 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.343 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.343 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.343 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.344 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.344 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553854.344 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.344 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.344 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.344 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.344 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.345 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.345 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553854.345 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.345 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553854.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.345 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.345 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.345 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.346 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.346 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.346 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.346 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553854.347 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553854.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.347 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.347 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.347 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.347 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.348 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.348 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553854.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.348 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.348 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553854.349 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.349 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553854.349 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.350 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.350 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.350 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.350 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.351 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.351 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.351 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553854.351 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.351 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553854.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.351 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.351 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.352 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.352 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553854.352 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.352 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.352 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.352 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.353 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.353 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553854.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.354 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553854.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.354 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.354 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.355 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553854.355 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1545553854.356 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553854.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.356 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.356 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553854.356 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553854.356 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.356 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.356 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.356 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.356 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.356 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.356 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.357 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.357 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.357 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.357 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.357 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.357 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553854.357 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.357 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553854.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.357 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.357 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.357 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553854.358 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.358 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553854.358 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.358 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553854.358 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.358 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553854.359 * [misc]backup-simplify:  Simplify (exp (cbrt (* (* (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.359 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553854.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.359 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.359 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553854.359 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.359 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553854.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553854.360 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify 0 into 0
1545553854.360 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553854.360 * * * [misc]progress:  simplifying candidates
1545553854.360 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545553854.360 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545553854.360 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545553854.360 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545553854.361 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545553854.361 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545553854.361 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545553854.361 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.361 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (pow (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) 1))>
1545553854.361 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545553854.362 * [enter]simplify:  Simplifying (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
1545553854.362 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553854.364 * * [misc]simplify:  iters left: 5 (15 enodes)
1545553854.366 * * [misc]simplify:  iters left: 4 (18 enodes)
1545553854.368 * * [misc]simplify:  iters left: 3 (20 enodes)
1545553854.371 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
1545553854.371 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545553854.371 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553854.371 * [enter]simplify:  Simplifying (exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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))))))))
1545553854.371 * * [misc]simplify:  iters left: 6 (12 enodes)
1545553854.373 * * [misc]simplify:  iters left: 5 (21 enodes)
1545553854.376 * * [misc]simplify:  iters left: 4 (26 enodes)
1545553854.380 * * [misc]simplify:  iters left: 3 (32 enodes)
1545553854.384 * * [misc]simplify:  iters left: 2 (39 enodes)
1545553854.388 * * [misc]simplify:  iters left: 1 (44 enodes)
1545553854.393 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545553854.393 * [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 (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545553854.393 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553854.393 * [enter]simplify:  Simplifying (exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.393 * * [misc]simplify:  iters left: 6 (11 enodes)
1545553854.394 * * [misc]simplify:  iters left: 5 (18 enodes)
1545553854.398 * * [misc]simplify:  iters left: 4 (23 enodes)
1545553854.405 * * [misc]simplify:  iters left: 3 (29 enodes)
1545553854.412 * * [misc]simplify:  iters left: 2 (36 enodes)
1545553854.421 * * [misc]simplify:  iters left: 1 (41 enodes)
1545553854.429 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545553854.429 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1545553854.429 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545553854.430 * [enter]simplify:  Simplifying (exp 1)
1545553854.430 * * [misc]simplify:  iters left: 1 (2 enodes)
1545553854.430 * [exit]simplify:  Simplified to E
1545553854.431 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.431 * * * * [misc]progress:  [ 27 / 45 ] 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)))))))>
1545553854.431 * [enter]simplify:  Simplifying (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
1545553854.431 * * [misc]simplify:  iters left: 6 (9 enodes)
1545553854.434 * * [misc]simplify:  iters left: 5 (16 enodes)
1545553854.438 * * [misc]simplify:  iters left: 4 (21 enodes)
1545553854.444 * * [misc]simplify:  iters left: 3 (27 enodes)
1545553854.452 * * [misc]simplify:  iters left: 2 (34 enodes)
1545553854.458 * * [misc]simplify:  iters left: 1 (39 enodes)
1545553854.462 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545553854.462 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545553854.462 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545553854.462 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545553854.462 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545553854.462 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545553854.462 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545553854.462 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553854.462 * * * * [misc]progress:  [ 34 / 45 ] 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)))))))>
1545553854.462 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.462 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.463 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.464 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.464 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.464 * * * * [misc]progress:  [ 35 / 45 ] 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)))))))>
1545553854.464 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.464 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.465 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.466 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.466 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.467 * * * * [misc]progress:  [ 36 / 45 ] 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)))))))>
1545553854.467 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.467 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.467 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.469 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.469 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.469 * * * * [misc]progress:  [ 37 / 45 ] 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)))))))>
1545553854.469 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.469 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.470 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.471 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.471 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.471 * * * * [misc]progress:  [ 38 / 45 ] 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)))))))>
1545553854.471 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.471 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.472 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.473 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.473 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.473 * * * * [misc]progress:  [ 39 / 45 ] 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)))))))>
1545553854.474 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.474 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.474 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.476 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.476 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.476 * * * * [misc]progress:  [ 40 / 45 ] 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)))))))>
1545553854.476 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.476 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.477 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.478 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.478 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.478 * * * * [misc]progress:  [ 41 / 45 ] 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)))))))>
1545553854.478 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.478 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.479 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.480 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.480 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.480 * * * * [misc]progress:  [ 42 / 45 ] 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)))))))>
1545553854.481 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.481 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.481 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.483 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.483 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545553854.483 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553854.483 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.483 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.484 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.486 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.486 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553854.486 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553854.486 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.486 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.486 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.488 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.488 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553854.488 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545553854.488 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553854.488 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553854.489 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553854.492 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553854.492 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545553854.492 * * * [misc]progress:  adding candidates to table
1545553855.100 * * [misc]progress:  iteration 4 / 4
1545553855.100 * * * [misc]progress:  picking best candidate
1545553855.213 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow (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))))))))>
1545553855.213 * * * [misc]progress:  localizing error
1545553855.249 * * * [misc]progress:  generating rewritten candidates
1545553855.249 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
1545553855.249 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1)
1545553855.249 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
1545553855.250 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545553855.250 * * * [misc]progress:  generating series expansions
1545553855.250 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 1 2 1)
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553855.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.251 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.251 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.251 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.252 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.252 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553855.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553855.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.253 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553855.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.254 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.254 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.254 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.254 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.255 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553855.255 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 1 1 2 1)
1545553855.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.255 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553855.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.255 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.255 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.256 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.256 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.257 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553855.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553855.258 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.258 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553855.258 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.259 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.259 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.259 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.259 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.259 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.259 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.260 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553855.260 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
1545553855.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.260 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553855.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.261 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.261 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.261 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.261 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.261 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553855.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.262 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.262 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.262 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.262 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.262 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.263 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.263 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.263 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.263 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553855.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.263 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553855.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.264 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553855.265 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545553855.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.265 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.265 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.265 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.265 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.266 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545553855.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.266 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545553855.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.266 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545553855.266 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.267 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545553855.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545553855.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.267 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545553855.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545553855.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.268 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.268 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]taylor:  Taking taylor expansion of 0 in a
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify 0 into 0
1545553855.269 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545553855.269 * * * [misc]progress:  simplifying candidates
1545553855.269 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (pow (fmod (cosh c) (log1p a)) 1)))))))>
1545553855.269 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (exp (log (fmod (cosh c) (log1p a))))))))))>
1545553855.269 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (log (exp (fmod (cosh c) (log1p a))))))))))>
1545553855.269 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))>
1545553855.269 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))))))>
1545553855.269 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))))>
1545553855.270 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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 (* 1 (fmod (cosh c) (log1p a)))))))))>
1545553855.270 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.270 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545553855.271 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (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))))))))>
1545553855.271 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.271 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.271 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.272 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.274 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.274 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.274 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.274 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.274 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.275 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.277 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.277 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.277 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.277 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.277 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.278 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.279 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.279 * [misc]simplify:  Simplified (2 2 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.279 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.279 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.279 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.280 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.281 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.281 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.281 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.281 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.281 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.282 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.283 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.284 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.284 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.284 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.284 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.284 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.286 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.286 * [misc]simplify:  Simplified (2 2 1 1 1 2 1) to (λ (a c) (pow (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))))))))
1545553855.286 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.286 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.286 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.287 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.288 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.288 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (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))))))))
1545553855.288 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.288 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.288 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.289 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.290 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.290 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (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))))))))
1545553855.290 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.291 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.291 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.291 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.293 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.293 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (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))))))))
1545553855.293 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.293 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.293 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.294 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.295 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.295 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (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))))))))
1545553855.295 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.295 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.295 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.296 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.297 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.297 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (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))))))))
1545553855.297 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545553855.298 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545553855.298 * * [misc]simplify:  iters left: 2 (5 enodes)
1545553855.298 * * [misc]simplify:  iters left: 1 (11 enodes)
1545553855.300 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545553855.300 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (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))))))))
1545553855.300 * * * [misc]progress:  adding candidates to table
1545553855.918 * [misc]progress:  [Phase 3 of 3] Extracting.
1545553855.918 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553855.922 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545553855.923 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553856.134 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553856.302 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553856.452 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553856.563 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (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 (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (cbrt (* (* (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (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) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))) (cbrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))) (sqrt (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545553856.694 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545553856.694 * [enter]simplify:  Simplifying (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545553856.694 * * [misc]simplify:  iters left: 6 (10 enodes)
1545553856.695 * [exit]simplify:  Simplified to (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545553856.695 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545553868.362 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553868.364 * * * * [misc]points:  Sampling 4970 additional inputs, on iter 1 have 3030 / 8000
1545553875.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553875.537 * * * * [misc]points:  Sampling 3038 additional inputs, on iter 2 have 4962 / 8000
1545553879.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553879.799 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 3 have 6130 / 8000
1545553882.173 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553882.174 * * * * [misc]points:  Sampling 1159 additional inputs, on iter 4 have 6841 / 8000
1545553884.070 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553884.071 * * * * [misc]points:  Sampling 709 additional inputs, on iter 5 have 7291 / 8000
1545553884.984 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553884.985 * * * * [misc]points:  Sampling 428 additional inputs, on iter 6 have 7572 / 8000
1545553885.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553885.450 * * * * [misc]points:  Sampling 256 additional inputs, on iter 7 have 7744 / 8000
1545553885.772 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553885.772 * * * * [misc]points:  Sampling 145 additional inputs, on iter 8 have 7855 / 8000
1545553885.924 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553885.924 * * * * [misc]points:  Sampling 89 additional inputs, on iter 9 have 7911 / 8000
1545553886.065 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.065 * * * * [misc]points:  Sampling 60 additional inputs, on iter 10 have 7940 / 8000
1545553886.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.120 * * * * [misc]points:  Sampling 43 additional inputs, on iter 11 have 7957 / 8000
1545553886.159 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.159 * * * * [misc]points:  Sampling 24 additional inputs, on iter 12 have 7976 / 8000
1545553886.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.172 * * * * [misc]points:  Sampling 16 additional inputs, on iter 13 have 7984 / 8000
1545553886.190 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.190 * * * * [misc]points:  Sampling 12 additional inputs, on iter 14 have 7988 / 8000
1545553886.207 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.207 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 7995 / 8000
1545553886.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.215 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1545553886.218 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.218 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1545553886.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.222 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7997 / 8000
1545553886.228 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.228 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7997 / 8000
1545553886.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.628 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7999 / 8000
1545553886.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545553886.632 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545553889.446 * [misc]regime-testing:  Baseline error score: 34.31287766906767
1545553889.448 * [misc]regime-testing:  Oracle error score: 34.27643787444898