1547627447.469 * [misc]progress:  [Phase 1 of 3] Setting up.
1547627447.470 * * * [misc]progress:  [1/2] Preparing points
1547627447.470 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547627447.766 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627447.766 * * * * [misc]points:  Sampling 177 additional inputs, on iter 1 have 79 / 256
1547627447.967 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627447.967 * * * * [misc]points:  Sampling 105 additional inputs, on iter 2 have 151 / 256
1547627448.060 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.060 * * * * [misc]points:  Sampling 63 additional inputs, on iter 3 have 193 / 256
1547627448.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.126 * * * * [misc]points:  Sampling 38 additional inputs, on iter 4 have 218 / 256
1547627448.165 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.165 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1547627448.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.191 * * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
1547627448.218 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.218 * * * * [misc]points:  Sampling 9 additional inputs, on iter 7 have 247 / 256
1547627448.232 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.232 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 252 / 256
1547627448.239 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.239 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 254 / 256
1547627448.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.242 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 255 / 256
1547627448.248 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627448.248 * * * * [exit]points:  Sampled 256 points with exact outputs
1547627448.249 * * * [misc]progress:  [2/2] Setting up program.
1547627448.256 * [misc]progress:  [Phase 2 of 3] Improving.
1547627448.256 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.257 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.258 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.261 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.264 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.264 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.268 * * [misc]progress:  iteration 1 / 4
1547627448.268 * * * [misc]progress:  picking best candidate
1547627448.271 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.271 * * * [misc]progress:  localizing error
1547627448.283 * * * [misc]progress:  generating rewritten candidates
1547627448.284 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1547627448.287 * * * [misc]progress:  generating series expansions
1547627448.288 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1547627448.291 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.291 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627448.293 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.295 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.295 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.295 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.295 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.295 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.296 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.296 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.296 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.296 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.296 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.296 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.297 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.297 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.297 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.297 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.297 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.299 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.299 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627448.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.299 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.300 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.300 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.300 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.300 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.301 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627448.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.302 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627448.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627448.303 * * * [misc]progress:  simplifying candidates
1547627448.303 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1547627448.303 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.303 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1547627448.303 * * * * [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)))))>
1547627448.304 * * * * [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)))))>
1547627448.304 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1547627448.304 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1547627448.304 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.304 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.304 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.305 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.309 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.309 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.309 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.309 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.309 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.310 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.314 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.314 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.314 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.314 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.314 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.315 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.318 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.319 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.319 * * * [misc]progress:  adding candidates to table
1547627448.462 * * [misc]progress:  iteration 2 / 4
1547627448.462 * * * [misc]progress:  picking best candidate
1547627448.493 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.493 * * * [misc]progress:  localizing error
1547627448.505 * * * [misc]progress:  generating rewritten candidates
1547627448.505 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1547627448.505 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1547627448.508 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547627448.513 * * * [misc]progress:  generating series expansions
1547627448.513 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1547627448.513 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.513 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627448.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.513 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.513 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.513 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.513 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.514 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.514 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.514 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627448.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.514 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.514 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.515 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.515 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.515 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.515 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.516 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.516 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.516 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.516 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627448.516 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.516 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627448.516 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.516 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.516 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.516 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.516 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.516 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.517 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.517 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.517 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.517 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.517 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627448.517 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1547627448.518 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.518 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547627448.518 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547627448.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.518 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.518 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547627448.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.518 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.518 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547627448.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.518 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.518 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.518 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547627448.518 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.519 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.519 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.519 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.521 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547627448.521 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.521 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.521 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.522 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547627448.522 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.524 * [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
1547627448.524 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.524 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.525 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.525 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.526 * [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
1547627448.526 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.530 * [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
1547627448.530 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.530 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.530 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.530 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627448.530 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.530 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547627448.530 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547627448.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.530 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.530 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.530 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547627448.530 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.531 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.531 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547627448.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.531 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.531 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547627448.531 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.531 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.531 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.532 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627448.533 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547627448.533 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.533 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.533 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.534 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547627448.534 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.535 * [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
1547627448.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.535 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.536 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.536 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.537 * [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
1547627448.537 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.540 * [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
1547627448.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.540 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.540 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.541 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547627448.541 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.541 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547627448.541 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547627448.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.541 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.541 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547627448.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.541 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.542 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547627448.542 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.542 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.542 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.542 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547627448.542 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.542 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.542 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.542 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627448.544 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547627448.544 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.544 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.544 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.545 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547627448.545 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.546 * [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
1547627448.546 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.547 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.547 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.547 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.548 * [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
1547627448.548 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.551 * [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
1547627448.551 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.551 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.551 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.551 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547627448.552 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547627448.552 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627448.552 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.552 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.552 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627448.552 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627448.552 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.552 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.552 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.552 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.552 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.553 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627448.553 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.553 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627448.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627448.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.554 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627448.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627448.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627448.555 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.555 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627448.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627448.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627448.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627448.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify 0 into 0
1547627448.556 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627448.556 * * * [misc]progress:  simplifying candidates
1547627448.556 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1547627448.556 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.556 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1547627448.556 * * * * [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)))))))>
1547627448.556 * * * * [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)))))))>
1547627448.557 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1547627448.557 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1547627448.557 * * * * [misc]progress:  [ 8 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1547627448.557 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547627448.557 * * [misc]simplify:  iters left: 6 (8 enodes)
1547627448.560 * * [misc]simplify:  iters left: 5 (16 enodes)
1547627448.564 * * [misc]simplify:  iters left: 4 (19 enodes)
1547627448.569 * * [misc]simplify:  iters left: 3 (21 enodes)
1547627448.575 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547627448.575 * [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)))))))
1547627448.575 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547627448.575 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547627448.575 * * [misc]simplify:  iters left: 4 (7 enodes)
1547627448.577 * * [misc]simplify:  iters left: 3 (13 enodes)
1547627448.580 * * [misc]simplify:  iters left: 2 (16 enodes)
1547627448.584 * * [misc]simplify:  iters left: 1 (18 enodes)
1547627448.589 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547627448.589 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1547627448.589 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1547627448.589 * [enter]simplify:  Simplifying (log 1)
1547627448.589 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627448.591 * [exit]simplify:  Simplified to 0
1547627448.591 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1547627448.591 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547627448.591 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1547627448.591 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.591 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.592 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.593 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.596 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.596 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.596 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1547627448.596 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.596 * * * * [misc]progress:  [ 16 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627448.596 * * * * [misc]progress:  [ 17 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1547627448.596 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1547627448.596 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1547627448.596 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1547627448.596 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547627448.597 * [enter]simplify:  Simplifying (exp 1)
1547627448.597 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627448.597 * [exit]simplify:  Simplified to E
1547627448.597 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547627448.597 * * * * [misc]progress:  [ 22 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1547627448.598 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547627448.598 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627448.600 * * [misc]simplify:  iters left: 5 (17 enodes)
1547627448.605 * * [misc]simplify:  iters left: 4 (20 enodes)
1547627448.609 * * [misc]simplify:  iters left: 3 (22 enodes)
1547627448.615 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1547627448.615 * [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))))))
1547627448.615 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1547627448.615 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547627448.615 * * [misc]simplify:  iters left: 5 (8 enodes)
1547627448.618 * * [misc]simplify:  iters left: 4 (14 enodes)
1547627448.621 * * [misc]simplify:  iters left: 3 (17 enodes)
1547627448.625 * * [misc]simplify:  iters left: 2 (19 enodes)
1547627448.630 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1547627448.630 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1547627448.630 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1547627448.630 * [enter]simplify:  Simplifying (exp 1)
1547627448.631 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627448.631 * [exit]simplify:  Simplified to E
1547627448.631 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1547627448.631 * * * * [misc]progress:  [ 25 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1547627448.632 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1547627448.632 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627448.634 * * [misc]simplify:  iters left: 5 (17 enodes)
1547627448.643 * * [misc]simplify:  iters left: 4 (22 enodes)
1547627448.649 * * [misc]simplify:  iters left: 3 (24 enodes)
1547627448.654 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1547627448.654 * [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)))))))
1547627448.654 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1547627448.655 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1547627448.655 * * [misc]simplify:  iters left: 5 (8 enodes)
1547627448.657 * * [misc]simplify:  iters left: 4 (14 enodes)
1547627448.660 * * [misc]simplify:  iters left: 3 (17 enodes)
1547627448.664 * * [misc]simplify:  iters left: 2 (19 enodes)
1547627448.670 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1547627448.670 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1547627448.670 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1547627448.670 * [enter]simplify:  Simplifying (exp (log 1))
1547627448.671 * * [misc]simplify:  iters left: 2 (3 enodes)
1547627448.672 * * [misc]simplify:  iters left: 1 (5 enodes)
1547627448.673 * [exit]simplify:  Simplified to 1
1547627448.673 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1547627448.673 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.673 * [enter]simplify:  Simplifying (cosh c)
1547627448.673 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627448.674 * [exit]simplify:  Simplified to (cosh c)
1547627448.674 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.674 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.674 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.674 * * * * [misc]progress:  [ 31 / 43 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.674 * * * * [misc]progress:  [ 32 / 43 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.674 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1547627448.674 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1547627448.674 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.674 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.674 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.676 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.679 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.679 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.679 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.680 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.680 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.681 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.684 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.684 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.684 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.684 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.684 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.686 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.689 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.689 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.689 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.689 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627448.689 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627448.691 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627448.694 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627448.698 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627448.698 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.698 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.698 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627448.698 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627448.700 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627448.703 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627448.707 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627448.707 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.707 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1547627448.707 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627448.707 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627448.709 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627448.712 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627448.716 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627448.716 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1547627448.716 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.716 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.716 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.717 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.718 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.718 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.718 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.718 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.718 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.719 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.721 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.721 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.721 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1547627448.721 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627448.721 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627448.721 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627448.723 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627448.723 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1547627448.723 * * * [misc]progress:  adding candidates to table
1547627449.163 * * [misc]progress:  iteration 3 / 4
1547627449.163 * * * [misc]progress:  picking best candidate
1547627449.223 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.223 * * * [misc]progress:  localizing error
1547627449.235 * * * [misc]progress:  generating rewritten candidates
1547627449.235 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 1)
1547627449.235 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1547627449.235 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1547627449.236 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1547627449.237 * * * [misc]progress:  generating series expansions
1547627449.237 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 1)
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627449.237 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.237 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.237 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.238 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.238 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.238 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.238 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.239 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.239 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.239 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627449.239 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.239 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627449.239 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.239 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.239 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.239 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.240 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627449.240 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.240 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627449.241 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627449.242 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627449.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.242 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627449.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.243 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627449.244 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1547627449.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.244 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1547627449.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547627449.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547627449.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.244 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1547627449.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627449.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.245 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.245 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1547627449.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627449.245 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627449.245 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.245 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.246 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547627449.246 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.246 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1547627449.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.247 * [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
1547627449.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.248 * [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
1547627449.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.250 * [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
1547627449.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.250 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.250 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.250 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1547627449.250 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.250 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1547627449.250 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547627449.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.250 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.250 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547627449.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.251 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.251 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1547627449.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627449.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.251 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.251 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1547627449.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627449.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627449.251 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.251 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1547627449.252 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547627449.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.252 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.252 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.252 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1547627449.252 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.254 * [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
1547627449.254 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.254 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.254 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.254 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.255 * [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
1547627449.255 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.256 * [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
1547627449.257 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.257 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.257 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.257 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1547627449.257 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.257 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1547627449.257 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547627449.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.257 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.257 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547627449.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.257 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.257 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1547627449.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627449.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.257 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.257 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1547627449.257 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627449.257 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627449.258 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.258 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1547627449.258 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547627449.258 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.258 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.258 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.259 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1547627449.259 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.260 * [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
1547627449.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.260 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.260 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.260 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.261 * [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
1547627449.261 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.263 * [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
1547627449.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627449.263 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.263 * [misc]backup-simplify:  Simplify 0 into 0
1547627449.263 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1547627449.263 * * * [misc]progress:  simplifying candidates
1547627449.263 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1547627449.263 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1547627449.263 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1547627449.263 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1547627449.263 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1547627449.263 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1547627449.263 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1547627449.263 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.263 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.264 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1547627449.264 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1547627449.264 * * [misc]simplify:  iters left: 6 (8 enodes)
1547627449.265 * * [misc]simplify:  iters left: 5 (16 enodes)
1547627449.267 * * [misc]simplify:  iters left: 4 (19 enodes)
1547627449.269 * * [misc]simplify:  iters left: 3 (21 enodes)
1547627449.273 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1547627449.273 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1547627449.273 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1547627449.273 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1547627449.273 * * [misc]simplify:  iters left: 4 (7 enodes)
1547627449.275 * * [misc]simplify:  iters left: 3 (13 enodes)
1547627449.278 * * [misc]simplify:  iters left: 2 (16 enodes)
1547627449.282 * * [misc]simplify:  iters left: 1 (18 enodes)
1547627449.289 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1547627449.290 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1547627449.290 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1547627449.290 * [enter]simplify:  Simplifying (log 1)
1547627449.290 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627449.291 * [exit]simplify:  Simplified to 0
1547627449.291 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1547627449.291 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547627449.291 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1547627449.291 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.292 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.292 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.292 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.294 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.294 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.294 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1547627449.294 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1547627449.294 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627449.294 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1547627449.294 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1547627449.294 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1547627449.294 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.294 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.294 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.295 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.297 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.297 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.297 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.297 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.297 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.297 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.299 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.299 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.299 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.299 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.299 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.300 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.301 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.301 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.301 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.302 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.302 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.302 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.304 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.304 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.304 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.304 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.304 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.305 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.306 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.306 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.306 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.307 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.307 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.307 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.309 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.309 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.309 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.309 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.309 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.310 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.311 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.311 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.312 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.312 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.312 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.312 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.314 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.314 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.314 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.314 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627449.314 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627449.315 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627449.316 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627449.316 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.316 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.316 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627449.317 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627449.317 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627449.319 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627449.321 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627449.321 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.321 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.321 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627449.321 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627449.322 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627449.323 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627449.325 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627449.325 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.325 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1547627449.326 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1547627449.326 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627449.326 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627449.328 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627449.330 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1547627449.330 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627449.330 * * * [misc]progress:  adding candidates to table
1547627450.126 * * [misc]progress:  iteration 4 / 4
1547627450.126 * * * [misc]progress:  picking best candidate
1547627450.191 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.191 * * * [misc]progress:  localizing error
1547627450.204 * * * [misc]progress:  generating rewritten candidates
1547627450.204 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 1 2 1 1)
1547627450.204 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
1547627450.204 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1547627450.205 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1547627450.205 * * * [misc]progress:  generating series expansions
1547627450.205 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 1 2 1 1)
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.205 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627450.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.205 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.205 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627450.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.206 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627450.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.207 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627450.208 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1)
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.208 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.209 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.209 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627450.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.210 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627450.210 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627450.210 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.210 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627450.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.211 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627450.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627450.213 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.213 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1547627450.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.214 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1547627450.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1547627450.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1547627450.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1547627450.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify 0 into 0
1547627450.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1547627450.215 * * * [misc]progress:  simplifying candidates
1547627450.215 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1547627450.215 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1547627450.215 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1547627450.215 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1547627450.215 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1547627450.215 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1547627450.215 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1547627450.215 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.215 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.215 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.215 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.216 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.216 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.217 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.219 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.219 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.219 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.219 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.219 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.220 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.221 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.221 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.221 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.222 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.222 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.222 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.224 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.224 * [misc]simplify:  Simplified (2 1 2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.224 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.224 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.224 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.225 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.226 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.226 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.226 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.226 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.226 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.227 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.228 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.229 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.229 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.229 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.229 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.229 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.231 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.231 * [misc]simplify:  Simplified (2 1 2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.231 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.231 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.231 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.232 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.233 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.234 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.234 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.234 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.234 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.234 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.236 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.237 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.237 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.237 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.237 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.238 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.241 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.241 * [misc]simplify:  Simplified (2 1 2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.241 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.241 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.241 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.243 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.245 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.245 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.245 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.246 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.246 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.247 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.250 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.250 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.250 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1547627450.250 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1547627450.251 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627450.252 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627450.255 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1547627450.255 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1547627450.255 * * * [misc]progress:  adding candidates to table
1547627450.880 * [misc]progress:  [Phase 3 of 3] Extracting.
1547627450.880 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627450.887 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1547627450.888 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627451.035 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627451.193 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627451.369 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627451.528 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1547627451.710 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1547627451.710 * [enter]simplify:  Simplifying (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1547627451.710 * * [misc]simplify:  iters left: 6 (12 enodes)
1547627451.711 * * [misc]simplify:  iters left: 5 (14 enodes)
1547627451.711 * [exit]simplify:  Simplified to (exp (* (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1547627451.711 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547627460.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627460.745 * * * * [misc]points:  Sampling 4987 additional inputs, on iter 1 have 3013 / 8000
1547627466.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627466.182 * * * * [misc]points:  Sampling 3093 additional inputs, on iter 2 have 4907 / 8000
1547627469.321 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627469.322 * * * * [misc]points:  Sampling 1944 additional inputs, on iter 3 have 6056 / 8000
1547627471.802 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627471.802 * * * * [misc]points:  Sampling 1188 additional inputs, on iter 4 have 6812 / 8000
1547627473.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627473.110 * * * * [misc]points:  Sampling 755 additional inputs, on iter 5 have 7245 / 8000
1547627473.861 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627473.862 * * * * [misc]points:  Sampling 478 additional inputs, on iter 6 have 7522 / 8000
1547627474.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627474.467 * * * * [misc]points:  Sampling 291 additional inputs, on iter 7 have 7709 / 8000
1547627474.737 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627474.738 * * * * [misc]points:  Sampling 169 additional inputs, on iter 8 have 7831 / 8000
1547627474.869 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627474.870 * * * * [misc]points:  Sampling 111 additional inputs, on iter 9 have 7889 / 8000
1547627474.995 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627474.995 * * * * [misc]points:  Sampling 70 additional inputs, on iter 10 have 7930 / 8000
1547627475.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.108 * * * * [misc]points:  Sampling 51 additional inputs, on iter 11 have 7949 / 8000
1547627475.160 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.160 * * * * [misc]points:  Sampling 34 additional inputs, on iter 12 have 7966 / 8000
1547627475.196 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.196 * * * * [misc]points:  Sampling 19 additional inputs, on iter 13 have 7981 / 8000
1547627475.211 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.211 * * * * [misc]points:  Sampling 12 additional inputs, on iter 14 have 7988 / 8000
1547627475.220 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.220 * * * * [misc]points:  Sampling 9 additional inputs, on iter 15 have 7991 / 8000
1547627475.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.226 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 7995 / 8000
1547627475.229 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.229 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1547627475.232 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.232 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1547627475.237 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.237 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7999 / 8000
1547627475.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627475.241 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547627477.863 * [misc]regime-testing:  Baseline error score: 34.06054532077625
1547627477.864 * [misc]regime-testing:  Oracle error score: 34.025209424281634
1547627477.867 * [misc]regime-testing:  End program error score: 34.06054532077625