1545818523.361 * [misc]progress:  [Phase 1 of 3] Setting up.
1545818523.361 * * * [misc]progress:  [1/2] Preparing points
1545818523.361 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545818523.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818523.689 * * * * [misc]points:  Sampling 159 additional inputs, on iter 1 have 97 / 256
1545818523.897 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818523.897 * * * * [misc]points:  Sampling 91 additional inputs, on iter 2 have 165 / 256
1545818524.000 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.000 * * * * [misc]points:  Sampling 58 additional inputs, on iter 3 have 198 / 256
1545818524.046 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.046 * * * * [misc]points:  Sampling 42 additional inputs, on iter 4 have 214 / 256
1545818524.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.073 * * * * [misc]points:  Sampling 31 additional inputs, on iter 5 have 225 / 256
1545818524.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.120 * * * * [misc]points:  Sampling 16 additional inputs, on iter 6 have 240 / 256
1545818524.138 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.138 * * * * [misc]points:  Sampling 7 additional inputs, on iter 7 have 249 / 256
1545818524.167 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.167 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1545818524.176 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.176 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
1545818524.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.179 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1545818524.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.184 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1545818524.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818524.191 * * * * [exit]points:  Sampled 256 points with exact outputs
1545818524.192 * * * [misc]progress:  [2/2] Setting up program.
1545818524.200 * [misc]progress:  [Phase 2 of 3] Improving.
1545818524.201 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.202 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.209 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.214 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.231 * * [misc]progress:  iteration 1 / 4
1545818524.231 * * * [misc]progress:  picking best candidate
1545818524.237 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.237 * * * [misc]progress:  localizing error
1545818524.263 * * * [misc]progress:  generating rewritten candidates
1545818524.264 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545818524.268 * * * [misc]progress:  generating series expansions
1545818524.269 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545818524.272 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.272 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818524.274 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.280 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818524.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818524.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.282 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818524.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.283 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.283 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.283 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.283 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.283 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.284 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818524.284 * * * [misc]progress:  simplifying candidates
1545818524.284 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545818524.284 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545818524.284 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545818524.284 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.284 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545818524.284 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545818524.284 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545818524.285 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545818524.285 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545818524.285 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.285 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.285 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.286 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.290 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.290 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.290 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.290 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.290 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.291 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.295 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.295 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.295 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.295 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.295 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.297 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.300 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.300 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.300 * * * [misc]progress:  adding candidates to table
1545818524.485 * * [misc]progress:  iteration 2 / 4
1545818524.485 * * * [misc]progress:  picking best candidate
1545818524.516 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.516 * * * [misc]progress:  localizing error
1545818524.527 * * * [misc]progress:  generating rewritten candidates
1545818524.527 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545818524.527 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545818524.530 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545818524.535 * * * [misc]progress:  generating series expansions
1545818524.535 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545818524.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.535 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818524.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.536 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.536 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.536 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818524.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.537 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.537 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.538 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818524.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.539 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.539 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818524.539 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545818524.539 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.539 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545818524.539 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545818524.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.540 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.540 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545818524.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.540 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.540 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545818524.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.540 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.540 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545818524.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.540 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.541 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.543 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545818524.543 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.543 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.543 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.544 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545818524.544 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.546 * [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
1545818524.546 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.546 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.546 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.547 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.548 * [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
1545818524.548 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.552 * [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
1545818524.552 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.552 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.552 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.552 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818524.552 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.553 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545818524.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545818524.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545818524.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.553 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.553 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545818524.553 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.553 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.554 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545818524.554 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.554 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818524.555 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545818524.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.556 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.556 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.557 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545818524.557 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.558 * [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
1545818524.559 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.559 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.559 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.559 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.561 * [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
1545818524.561 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.564 * [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
1545818524.564 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.564 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.564 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.564 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545818524.564 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.564 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545818524.565 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545818524.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.565 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.565 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545818524.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.565 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.565 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545818524.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.566 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.566 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545818524.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.566 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.566 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818524.567 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545818524.567 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.567 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.567 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.568 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545818524.569 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.570 * [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
1545818524.570 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.570 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.570 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.571 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.572 * [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
1545818524.572 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [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
1545818524.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545818524.574 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545818524.574 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818524.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.574 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.574 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818524.574 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818524.574 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.574 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.574 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818524.575 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818524.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818524.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.575 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818524.576 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818524.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818524.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify 0 into 0
1545818524.576 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818524.576 * * * [misc]progress:  simplifying candidates
1545818524.576 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545818524.577 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545818524.577 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545818524.577 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545818524.578 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545818524.578 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818524.579 * * [misc]simplify:  iters left: 5 (16 enodes)
1545818524.582 * * [misc]simplify:  iters left: 4 (19 enodes)
1545818524.585 * * [misc]simplify:  iters left: 3 (21 enodes)
1545818524.588 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545818524.588 * [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)))))))
1545818524.588 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545818524.588 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545818524.588 * * [misc]simplify:  iters left: 4 (7 enodes)
1545818524.589 * * [misc]simplify:  iters left: 3 (13 enodes)
1545818524.591 * * [misc]simplify:  iters left: 2 (16 enodes)
1545818524.596 * * [misc]simplify:  iters left: 1 (18 enodes)
1545818524.598 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545818524.598 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545818524.598 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545818524.599 * [enter]simplify:  Simplifying (log 1)
1545818524.599 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818524.600 * [exit]simplify:  Simplified to 0
1545818524.600 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545818524.600 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545818524.600 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545818524.600 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.600 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.600 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.601 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.603 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.603 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.603 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545818524.603 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.603 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545818524.603 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545818524.603 * [enter]simplify:  Simplifying (exp 1)
1545818524.603 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818524.604 * [exit]simplify:  Simplified to E
1545818524.604 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545818524.604 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818524.604 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818524.604 * * [misc]simplify:  iters left: 6 (9 enodes)
1545818524.605 * * [misc]simplify:  iters left: 5 (17 enodes)
1545818524.607 * * [misc]simplify:  iters left: 4 (20 enodes)
1545818524.610 * * [misc]simplify:  iters left: 3 (22 enodes)
1545818524.616 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818524.616 * [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))))))
1545818524.616 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545818524.616 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545818524.616 * * [misc]simplify:  iters left: 5 (8 enodes)
1545818524.619 * * [misc]simplify:  iters left: 4 (14 enodes)
1545818524.623 * * [misc]simplify:  iters left: 3 (17 enodes)
1545818524.627 * * [misc]simplify:  iters left: 2 (19 enodes)
1545818524.632 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545818524.633 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545818524.633 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545818524.633 * [enter]simplify:  Simplifying (exp 1)
1545818524.633 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818524.634 * [exit]simplify:  Simplified to E
1545818524.634 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545818524.634 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545818524.634 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545818524.634 * * [misc]simplify:  iters left: 6 (9 enodes)
1545818524.637 * * [misc]simplify:  iters left: 5 (17 enodes)
1545818524.642 * * [misc]simplify:  iters left: 4 (22 enodes)
1545818524.649 * * [misc]simplify:  iters left: 3 (24 enodes)
1545818524.655 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545818524.655 * [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)))))))
1545818524.655 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545818524.655 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545818524.655 * * [misc]simplify:  iters left: 5 (8 enodes)
1545818524.658 * * [misc]simplify:  iters left: 4 (14 enodes)
1545818524.662 * * [misc]simplify:  iters left: 3 (17 enodes)
1545818524.667 * * [misc]simplify:  iters left: 2 (19 enodes)
1545818524.672 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545818524.672 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545818524.672 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545818524.672 * [enter]simplify:  Simplifying (exp (log 1))
1545818524.672 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818524.674 * * [misc]simplify:  iters left: 1 (5 enodes)
1545818524.675 * [exit]simplify:  Simplified to 1
1545818524.675 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545818524.675 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.675 * [enter]simplify:  Simplifying (cosh c)
1545818524.675 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818524.676 * [exit]simplify:  Simplified to (cosh c)
1545818524.676 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.676 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.676 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.676 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.676 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.676 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545818524.676 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545818524.676 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.676 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.676 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.678 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.680 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.680 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.680 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.680 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.680 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.681 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.683 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.683 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.683 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.683 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.683 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.684 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.685 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.685 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.685 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.685 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818524.685 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818524.686 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818524.688 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818524.690 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818524.690 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.691 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.691 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818524.691 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818524.692 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818524.693 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818524.695 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818524.695 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.696 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545818524.696 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818524.696 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818524.697 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818524.698 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818524.700 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818524.700 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545818524.700 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.700 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.701 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.701 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.703 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.703 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.703 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.703 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.703 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.704 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.705 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.705 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.705 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545818524.706 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818524.706 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818524.706 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818524.708 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818524.708 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545818524.708 * * * [misc]progress:  adding candidates to table
1545818525.213 * * [misc]progress:  iteration 3 / 4
1545818525.213 * * * [misc]progress:  picking best candidate
1545818525.261 * * * * [misc]pick:  Picked  #<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))))))>
1545818525.261 * * * [misc]progress:  localizing error
1545818525.273 * * * [misc]progress:  generating rewritten candidates
1545818525.273 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 1)
1545818525.274 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1545818525.274 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545818525.274 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1545818525.275 * * * [misc]progress:  generating series expansions
1545818525.275 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 1)
1545818525.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.275 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818525.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818525.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.276 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818525.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.277 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818525.278 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818525.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.278 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818525.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.279 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818525.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818525.280 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.280 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.280 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818525.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818525.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.282 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.282 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.283 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818525.283 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.283 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545818525.283 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545818525.283 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.283 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.283 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545818525.283 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.283 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.283 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545818525.283 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818525.283 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.283 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545818525.283 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818525.283 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.283 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.285 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545818525.285 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.285 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.285 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.285 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545818525.286 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.287 * [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
1545818525.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.287 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.287 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.287 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.289 * [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
1545818525.289 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.292 * [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
1545818525.292 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.292 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.292 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.292 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545818525.292 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.292 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545818525.292 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545818525.292 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.292 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.292 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.292 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545818525.292 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.292 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.293 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.293 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545818525.293 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818525.293 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.293 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.293 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545818525.293 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818525.293 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818525.293 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.293 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545818525.294 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545818525.294 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.295 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.295 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.295 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545818525.295 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.297 * [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
1545818525.297 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.297 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.297 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.297 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.299 * [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
1545818525.299 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.302 * [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
1545818525.302 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.302 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.302 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.302 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545818525.302 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.302 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545818525.302 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545818525.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.303 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.303 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545818525.303 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.303 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.303 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545818525.303 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818525.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.306 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.306 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545818525.306 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818525.306 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818525.306 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.307 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545818525.308 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545818525.308 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.308 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.308 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.309 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545818525.309 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.310 * [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
1545818525.311 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.311 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.311 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.311 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.312 * [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
1545818525.312 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.315 * [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
1545818525.315 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818525.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818525.315 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545818525.316 * * * [misc]progress:  simplifying candidates
1545818525.316 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))>
1545818525.316 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))>
1545818525.316 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))>
1545818525.316 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
1545818525.316 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))>
1545818525.316 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.316 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.316 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.316 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))>
1545818525.316 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.316 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.316 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.316 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.316 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))>
1545818525.317 * * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))>
1545818525.317 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))>
1545818525.317 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545818525.317 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a))))))))>
1545818525.317 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a))))))))>
1545818525.317 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.318 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545818525.318 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818525.320 * * [misc]simplify:  iters left: 5 (16 enodes)
1545818525.324 * * [misc]simplify:  iters left: 4 (19 enodes)
1545818525.327 * * [misc]simplify:  iters left: 3 (21 enodes)
1545818525.330 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545818525.330 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a c) (pow (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))))))))
1545818525.330 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.330 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545818525.330 * * [misc]simplify:  iters left: 4 (7 enodes)
1545818525.331 * * [misc]simplify:  iters left: 3 (13 enodes)
1545818525.333 * * [misc]simplify:  iters left: 2 (16 enodes)
1545818525.335 * * [misc]simplify:  iters left: 1 (18 enodes)
1545818525.337 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545818525.337 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a c) (pow (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))))))))
1545818525.337 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a)))))))>
1545818525.338 * [enter]simplify:  Simplifying (log 1)
1545818525.338 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818525.339 * [exit]simplify:  Simplified to 0
1545818525.339 * [misc]simplify:  Simplified (2 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a)))))))
1545818525.339 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
1545818525.339 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1))))>
1545818525.339 * * * * [misc]progress:  [ 35 / 53 ] 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))))))>
1545818525.339 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.339 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.340 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.341 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.341 * [misc]simplify:  Simplified (2 2 1 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))))))
1545818525.341 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a))))))))>
1545818525.341 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))>
1545818525.341 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818525.341 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))>
1545818525.342 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (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))))))))>
1545818525.342 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a)))))))>
1545818525.342 * * * * [misc]progress:  [ 42 / 53 ] 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))))))>
1545818525.342 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.342 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.342 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.344 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.344 * [misc]simplify:  Simplified (2 2 1 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))))))
1545818525.344 * * * * [misc]progress:  [ 43 / 53 ] 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))))))>
1545818525.344 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.344 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.345 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.347 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.347 * [misc]simplify:  Simplified (2 2 1 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))))))
1545818525.347 * * * * [misc]progress:  [ 44 / 53 ] 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))))))>
1545818525.347 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.347 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.348 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.349 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.349 * [misc]simplify:  Simplified (2 2 1 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))))))
1545818525.349 * * * * [misc]progress:  [ 45 / 53 ] 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))))))>
1545818525.350 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.350 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.350 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.352 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.352 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.352 * * * * [misc]progress:  [ 46 / 53 ] 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))))))>
1545818525.352 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.352 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.353 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.355 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.355 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.355 * * * * [misc]progress:  [ 47 / 53 ] 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))))))>
1545818525.355 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.355 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.356 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.357 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.357 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.357 * * * * [misc]progress:  [ 48 / 53 ] 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))))))>
1545818525.358 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.358 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.358 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.360 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.360 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.360 * * * * [misc]progress:  [ 49 / 53 ] 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))))))>
1545818525.361 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.361 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.361 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.363 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.363 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.363 * * * * [misc]progress:  [ 50 / 53 ] 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))))))>
1545818525.363 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818525.363 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818525.364 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818525.366 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818525.366 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545818525.366 * * * * [misc]progress:  [ 51 / 53 ] 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))))))>
1545818525.366 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818525.366 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818525.367 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818525.369 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818525.371 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818525.371 * [misc]simplify:  Simplified (2 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))))))
1545818525.371 * * * * [misc]progress:  [ 52 / 53 ] 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))))))>
1545818525.371 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818525.371 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818525.372 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818525.374 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818525.376 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818525.376 * [misc]simplify:  Simplified (2 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))))))
1545818525.376 * * * * [misc]progress:  [ 53 / 53 ] 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))))))>
1545818525.376 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545818525.377 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818525.377 * * [misc]simplify:  iters left: 2 (12 enodes)
1545818525.379 * * [misc]simplify:  iters left: 1 (15 enodes)
1545818525.381 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545818525.381 * [misc]simplify:  Simplified (2 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))))))
1545818525.381 * * * [misc]progress:  adding candidates to table
1545818526.173 * * [misc]progress:  iteration 4 / 4
1545818526.173 * * * [misc]progress:  picking best candidate
1545818526.300 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.300 * * * [misc]progress:  localizing error
1545818526.313 * * * [misc]progress:  generating rewritten candidates
1545818526.313 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
1545818526.313 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1)
1545818526.313 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
1545818526.313 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1545818526.314 * * * [misc]progress:  generating series expansions
1545818526.314 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1 1)
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818526.314 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.314 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.314 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818526.314 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.315 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.315 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818526.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.315 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.315 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818526.316 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 1 2 1 1)
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.316 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.316 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.316 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818526.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.317 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818526.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.318 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.318 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818526.319 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818526.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.319 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818526.319 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.319 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.320 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.320 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.320 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818526.321 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.321 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545818526.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.321 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545818526.321 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.322 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545818526.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545818526.322 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.322 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545818526.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545818526.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]taylor:  Taking taylor expansion of 0 in a
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.323 * [misc]backup-simplify:  Simplify 0 into 0
1545818526.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545818526.324 * * * [misc]progress:  simplifying candidates
1545818526.324 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))))))>
1545818526.324 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))))>
1545818526.324 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))))))>
1545818526.324 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))))))>
1545818526.324 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))))))>
1545818526.324 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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))))))))))>
1545818526.324 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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))))))))))>
1545818526.324 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))))))>
1545818526.324 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))))))>
1545818526.324 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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))))))))>
1545818526.324 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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))))))))>
1545818526.324 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.324 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (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))))))))>
1545818526.325 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (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))))))))>
1545818526.325 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.325 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.325 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.326 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.328 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.328 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.328 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.328 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.328 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.329 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.330 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.330 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.330 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.330 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.331 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.331 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.333 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.333 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.333 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.333 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.333 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.334 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.336 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.336 * [misc]simplify:  Simplified (2 2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.336 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.336 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.336 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.337 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.338 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.339 * [misc]simplify:  Simplified (2 2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.339 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.339 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.339 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.340 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.341 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.341 * [misc]simplify:  Simplified (2 2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.341 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.341 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.341 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.342 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.344 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.344 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.344 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.344 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.344 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.345 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.347 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.347 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.347 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.347 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.347 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.348 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.352 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.352 * [misc]simplify:  Simplified (2 2 1 1 1 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.352 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.353 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.353 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.354 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.358 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.358 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.358 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.358 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.358 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.360 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.363 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.363 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.363 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1545818526.363 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545818526.363 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818526.365 * * [misc]simplify:  iters left: 1 (11 enodes)
1545818526.368 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545818526.368 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545818526.369 * * * [misc]progress:  adding candidates to table
1545818527.350 * [misc]progress:  [Phase 3 of 3] Extracting.
1545818527.351 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818527.357 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545818527.358 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818527.496 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818527.643 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818527.770 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818527.919 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (log (exp (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 (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (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 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (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) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>)
1545818528.093 * * * [misc]regime:  Found split indices: #<option (#s(si 18 256))>
1545818528.094 * [enter]simplify:  Simplifying (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545818528.094 * * [misc]simplify:  iters left: 6 (10 enodes)
1545818528.095 * [exit]simplify:  Simplified to (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1545818528.095 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545818538.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818538.830 * * * * [misc]points:  Sampling 4951 additional inputs, on iter 1 have 3049 / 8000
1545818545.232 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818545.234 * * * * [misc]points:  Sampling 3022 additional inputs, on iter 2 have 4978 / 8000
1545818549.376 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818549.377 * * * * [misc]points:  Sampling 1847 additional inputs, on iter 3 have 6153 / 8000
1545818551.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818551.983 * * * * [misc]points:  Sampling 1122 additional inputs, on iter 4 have 6878 / 8000
1545818553.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818553.426 * * * * [misc]points:  Sampling 709 additional inputs, on iter 5 have 7291 / 8000
1545818554.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818554.723 * * * * [misc]points:  Sampling 404 additional inputs, on iter 6 have 7596 / 8000
1545818555.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818555.253 * * * * [misc]points:  Sampling 253 additional inputs, on iter 7 have 7747 / 8000
1545818555.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818555.582 * * * * [misc]points:  Sampling 157 additional inputs, on iter 8 have 7843 / 8000
1545818555.809 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818555.809 * * * * [misc]points:  Sampling 101 additional inputs, on iter 9 have 7899 / 8000
1545818555.916 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818555.916 * * * * [misc]points:  Sampling 52 additional inputs, on iter 10 have 7948 / 8000
1545818555.983 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818555.983 * * * * [misc]points:  Sampling 26 additional inputs, on iter 11 have 7974 / 8000
1545818556.005 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.005 * * * * [misc]points:  Sampling 16 additional inputs, on iter 12 have 7984 / 8000
1545818556.028 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.028 * * * * [misc]points:  Sampling 11 additional inputs, on iter 13 have 7989 / 8000
1545818556.045 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.046 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 7993 / 8000
1545818556.056 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.056 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7998 / 8000
1545818556.064 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.064 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7999 / 8000
1545818556.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.069 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7999 / 8000
1545818556.079 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818556.079 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545818558.752 * [misc]regime-testing:  Baseline error score: 34.39484725278076
1545818558.754 * [misc]regime-testing:  Oracle error score: 34.34618273809821
1545818558.758 * [misc]regime-testing:  End program error score: 34.39484725278076